CZE: Téma na tento týden je úvod do rezoluce. Soustředit se budeme zejména na:

• Rezoluce ve výrokové logice
  
• Normální formy v predikátové logice
  

ENG: This week's topic is introduction to resolution. We'll focus namely on:

• Resolution in propositional logic
• Normal forms in predicate logic

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

Vzorová řešení / Sample solutions: