A N N O U N C E M E N T S
|
---|
| None
|
---|
Ideas for next sessions:
- 3D turtle geometry and programming, incl. semantics
(Also see my article:
"3D Turtle Geometry: Artwork, Theory, Program Equivalence and Symmetry".)
Int. J. of Arts and Technology, 3(2/3):288-319 (2010).
- Lambda Calculus and Combinators
(Also see my article:
"Informatics Everywhere: Information and Computation in Society, Science, and Technology".
Olympiads in Informatics 7:140-152 (2013).)
- UPPAAL,
model checking
- Numeric calculations using floating point arithmetic
(Also see my article with Gyula Horvath
"Numerical Difficulties in Pre-University Informatics Education and Competitions",
Informatics in Education, Vol. 2, Number 1, pp.21-38.)
Summer Session 2015: Doing Everything with the
The Wolfram Language
Summer Session 2012: Model-Driven Software Engineering
Summer Session 2010: Foundations of Informatics
For material, see Honors Class Foundations of Informatics
Summer Session 2008: Software Engineering
N.B. The lectures were partly given interactively on a black/whiteboard;
most of the slides were never projected;
they serve as a reminder/summary of the material covered.
The 1-up versions include hyperlinks to external sources.
Summer Session 2006: Constructive Programming
The lectures were given interactively on a blackboard;
most of the slides were never projected;
they serve as a reminder/summary of the material covered.
A recent book covering this topic is:
Derrick G. Kourie, Bruce W. Watson.
The Correctness-by-Construction Approach to Programming.
Springer, 2012.
©2012, Tom Verhoeff (TUE)
Feedback about this page is welcome