Deciding logical properties of statements and its complexity (2023/24)

The page of the course in USOSweb is here (in Polish) or here (in English).

Course notes

• lecture 1: introduction with amendment starting from page 8
• lecture 2: semantics
• lecture 3: tiling puzzles
• lecture 4: classical propositional logic
• lecture 5: intuitionistic propositional logic
• lecture 6: finite satisfiability in FOL
• lecture 7: satisfiability in FOL

Grading

To get a grade one has to do homework (30%) and exam (70%). PhD students: research homework 50%, exam 50%.