Learning outcomes

Advanced methods in classical and non-classical propositional logic

Goals

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

Content

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

Table of contents

given during the lecture

Exercices

given during the lecture

Assessment method

Written examination

Sources, references and any support material

no

Language of instruction

Français
Training Study programme Block Credits Mandatory
Standard 0 3
Standard 1 3