Logické usuzování a programování

• Stránky předmětu: Logical reasoning and programming
• Přednášející: Karel Chvalovský, Ondřej Kuželka
• Cvičící: Karel Chvalovský, Radomír Černoch

Části:

1. Týden 1-4: Propositional satisfiability, satisfiability modulo theories
   • Přednášející a cvičící: Karel Chvalovský
2. Týden 5-8: Prolog
   • Přednášející: Ondřej Kuželka
   • Cvičící: Radomír Černoch
3. Týden 9-13: Answer set programming, first-order logic reasoning, proof assistants
   • Přednášející a cvičící: Karel Chvalovský

Winter semester 2021/2022 - PDF

The exam consists of two parts, prolog and FOL. The exam was written, consisted of 14 tasks, totally 50 points. Note for future: prolog was very easy and can give you easy points. So rewise few parts:

• SLD graphs - easy to draw, watch the https://www.dropbox.com/s/lmip7w8z0pi9byo/lecture5_answer_set_programming_part1.mp4?dl=0
• Unification - very easy, very basic, free points, there are good slides here on that https://www.cs.toronto.edu/~sheila/384/w11/Lectures/csc384w11-KR-tutorial.pdf
• Logic programs, lecture https://cw.fel.cvut.cz/wiki/_media/courses/lup/answer_set_programming_2021.pdf - from slide 20