Leerresultaten

introduction to formal logic

Inhoud

Propositional logic, First-order predicate logic, logic of relations, elementary introduction to model theory, completeness theorem in propositionnal logic, structures (Boolean algebra,...)

Inhoudsopgave

given during the lecture

Oefeningen

exercices given during the lecture

Evaluatiemethode

written examination

Bronnen, referenties en ondersteunend materiaal

nothing

Taal van de instructie

French