Logische Technieken

In het college logische technieken komt de nadruk te liggen op technieken, maar dan wel op logische technieken. Eigenlijk zegt de naam dus precies waar het college over gaat. Van \'e\'en belangrijke techniek zullen we gedetailleerd op het bewijs ingaan: de volledigheidsstelling en de compactheidsstelling. Verder wordt een aantal technieken behandeld waarbij we vooral in de toepassingen zijn ge\"interesseerd. Bewijsschetsen worden wel gegeven. Aan het eind van dit college kan de student de volgende technieken met plezier en souplesse toepassen:

*Natuurlijke deductie
-klassiek propositioneel
-klassiek predicatief
-intu\"itionistisch propositioneel

*Volledigheidsstelling(+bewijs)

*Compactheidsstelling

*Vergelijken structuren via Ehrenfeucht Fra\"iss\'e games

*Optioneel
-verzoekjes
-Kripke semantiek intu\"itionistische propositie logica

Joost Joosten

Last modified: Wed Nov 1 18:35:46 MET 2000