Name (underline surname):

Student number:

---

Briefly describe your programming background, and which programming languages you know.






How familiar are you with functional programming and/or LISP?

Unknown				Familiar
1	2	3	4	5

How familiar are you with mathematical logic (eg, predicate calculus, derivation, resolution, ...) and/or PROLOG ?

Unknown				Familiar
1	2	3	4	5

If there is extra time, should we spend (extra) time covering ...
      

	Theoretical foundations (lambda calculus, Herbrand universe, ...)
	Language extensions for practical programming
	Constraint programming
	Bayesian belief networks and other tools for reasoning about uncertain information
	Other (specify):

Any other preliminary questions or comments?