CZE: Téma na tento týden jsou rezoluce v predikátové logice a základy modální logiky. Soustředit se budeme zejména na:

• Herbrandovo univerzum a unifikace
  
• SLD rezoluce v predikátové logice a logické programování
  
• Základy modální logiky

ENG: This week's topic are resolution in predicate logic and basics of modal logic. We'll focus namely on:

• Herbrand's universe and unification
• SLD resolution in predicate logic and logic programming
• Basics of modal logic

Detaily viz příslušné notebooky / For details see the corresponding notebooks:

Vzorová řešení / Sample solutions: