Topics covered in class
- The programming language L. Syntax: variables, labels, instructions.
Definition of a program. Macros and macro expansions.
- Definition of
state and snapshot of a program.
- More on the programming language L: definitions of
computation, computable function and computable predicate.
Relevant sections in the textbook
Chapter 2: sections 1,2,3,4.
Recommended exercises from the book
Ch. 2.2: exercises 1,2,3,4,5,7.
Ch. 2.3: exercises 1,2,3.
Ch. 2.4: exercises 1,2,4,5,6a,8.