Het schriftelijk examen is een gesloten boek examen en omvat per onderdeel (propositielogica, predicaatlogica en lambda calculus) ten minste een theorievraag en een oefening.
The written exam is a closed book exam and includes for each part (propositional logic, predicate logic and lambda calculus) at least a theoretical question and an exercise.
Echter, sommige getypeerde lambda-calculi, zoals de tweede orde lambda calculus, zijn niet Turing-volledig.
The untyped lambda calculus is Turing complete, but many typed lambda calculi, including System F, are not.
Oké, ik zeg nog meer één ding: lambda calculus.
De studenten kennen het verband tussen formele systemen, zoals lambda calculus, en programmeren.
The students know the link between formal systems, such as Lambda Calculus, and programming languages such as Scheme.
Oké, ik zal gewoon nog een ding zeggen Lambda calculus.
Okay, I'll just say one more thing Lambda calculus.
Het materiaal (transparanten) dat tijdens de hoorcolleges gebruikt wordt om de theorie toe te lichten, een beschrijving van Lambda Calculus en een oefeningenbundel zijn verkrijgbaar in dictaatvorm bij de VUB cursusdienst ("Logica en formele systemen").
The course material used during the lectures as well as the excercises and a course text on Lambda Calculus is bundled and available at the VUB course service ("Logoca en formele systemen").
De cursus (behalve het gedeelte over Lambda calculus) is gebaseerd op het volgende boek
The course (except for the part about Lambda Calculus) is based on the following (Dutch) book (chapters 1 to 12)
