Leerresultaten

Advanced methods in classical and non-classical propositional logic

Doelstellingen

To introduce to different facets of classical and non-classical propositional logic and to show the relations between them.

Inhoud

Logic and formal langages Soundness, decidability, completeness of formal languages Logic and structures: introduction to the language of category theory

Inhoudsopgave

given during the lecture

Oefeningen

given during the lecture

Evaluatiemethode

Written examination

Bronnen, referenties en ondersteunend materiaal

no

Taal van de instructie

French