Kurs: Propositional and Predicate Logic, Woche: Week 11 (Dec 7-11)

Section outline

- Select activity English lecture Program: Compactness theorem. E...
  
  English lecture
  
  Program: Compactness theorem. Extensions of theories, extension by definition. Skolemization, Skolem's theorem. Herbrand model, Herbrand's theorem and its corollaries.
  
  English tutorial
  
  Program: Definable sets. Tableau method in predicate logic. Theorem on constants, deduction theorem.
  
  České cvičení
  
  Program: Definovatelné množiny. Tablo metoda v predikátové 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 6
  
  English tutorial: Worksheet 6 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording Link/URL
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity České cvičení: Příklady 6
  
  České cvičení: Příklady 6 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
- 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 English tutorial: 3rd homework assignment
  
  English tutorial: 3rd homework assignment Aufgabe
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity České cvičení: 3. domácí úkol
  
  České cvičení: 3. 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í