Kurs: Propositional and Predicate Logic, Woche: Week 6 (Nov 1-5)

Section outline

- Select activity English lecture Program: Soundness and Complete...
  
  English lecture
  
  Program: Soundness and Completeness of Tableau method in propositional logic. Compactness theorem. Resolution in propositional logic. Soundness of resolution. Resolution proof, resolution tree, resolution closure.
  
  English tutorial
  
  Program: Properties of theories. Tableau method in propositional logic.
  
  České cvičení
  
  Program: Kódování problémů do SAT. Vlastnosti výrokových teorií, sémantické pojmy, extenze, důsledky. Lindenbaum-Tarski algebra výroků. Tablo metoda ve výrokové logice.
  
  Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
- Select activity English lecture: Zoom recording
  
  English lecture: Zoom recording Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English lecture
- Select activity English tutorial: Worksheet 4
  
  English tutorial: Worksheet 4 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity České cvičení: Zoom záznam
  
  České cvičení: Zoom záznam Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
- Select activity České cvičení: Příklady 3
  
  České cvičení: Příklady 3 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
- Select activity České cvičení: 1. domácí úkol
  
  České cvičení: 1. domácí úkol Aufgabe
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení

Section outline

English lecture

English tutorial

České cvičení