Voortgezette Logica

Let op: vanwege veranderde voorkennis zal het vak in 2004-2005 worden aangepast

Het vak bestaat uit twee delen:

Eerste orde logica: behandeld worden de verhouding tussen syntax en semantiek, volledigheid
van propositie- en predicaatlogica, onvolledigheidsstellingen van Gödel, achtergrond van logisch programmeren.

Lambda calculus: achtergrond van functioneel programmeren, lambda abstractie, beta-reductie, Church-Rosser
eigenschap, berekenbaarheid, typering, propositions-as-types.

Vakcode	211109
Organisatie	hoorcolleges, huiswerk, toetsen
Beoordeling	twee huiswerkseries, twee toetsen huiswerk in groepjs van twee, toetsen inidvidueel, cijfers huiswerk en toetsen tellen even zwaar, voor toetsen minimaal een 4 voor voldoende eindcijfer, huiswerkcijfer geldt t/m eerstvolgende herkansing,
Periode	3e trimester
Literatuur	dictaat en boek boek: Van Benthem et al - Logica voor Informatica (3e druk)
Vist	voor details, zie vist
Bijzonderheden	Het vak kan als wiskundevak in een studieprogramma worden opgenomen