CS Lectures at Summer Sessions

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.)

- The Wolfram Language is the language of Mathematica, a Wolfram product to do (symboic and numeric) mathematics
- Wikipedia article about the Wolfram Language
- An Elementary Introduction to the Wolfram Language
- Directory with all material
The CDF files can be played with the free Wolfram CDF Player.

- Project ideas:
Wolfram Demonstrations Projects
- Brand new: 15th plane-filling pentagon discovered: Pentagon Tilings
- Knot Explorer
- Exploring the Times Table
- Devilish Mazes
- Wolfram Language Documentation

- Lecture Slides
- Lab Session Slides
- Domain-Specific Model for Shot Puzzles
- Combinatorial Choreography
- Write a self-reproducing program for Tom's JavaScript Machine
- Flying Disc Fun

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.

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