Week: Week 11 (Dec 7-11) | Propositional and Predicate Logic

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.
  
  Not available unless: You belong to any group
- Select activity English lecture: Zoom recording
  
  English lecture: Zoom recording File
  
  Not available unless: You belong to English lecture
- Select activity English tutorial: Worksheet 6
  
  English tutorial: Worksheet 6 File
  
  Not available unless: You belong to English tutorial
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording URL
  
  Not available unless: You belong to English tutorial
- Select activity České cvičení: Příklady 6
  
  České cvičení: Příklady 6 File
  
  Not available unless: You belong to české cvičení
- Select activity České cvičení: Zoom záznam
  
  České cvičení: Zoom záznam File
  
  Not available unless: You belong to české cvičení
- Select activity English tutorial: 3rd homework assignment
  
  English tutorial: 3rd homework assignment
  
  Not available unless: You belong to English tutorial
- Select activity České cvičení: 3. domácí úkol
  
  České cvičení: 3. domácí úkol Assignment
  
  Not available unless: You belong to české cvičení

Section outline

English lecture

English tutorial

České cvičení