1. | | Množiny a zobrazení |
2. | | Množiny stejné mohutnosti |
3. | | Binární relace na množinách. Grafy a stromy |
4. | | Uspořádání, ekvivalence, relace nad množinami |
5. | | Výroková algebra a její ohodnocení. Tautologie a kontradikce |
6. | | Sémantický důsledek |
7. | | Splnitelnost a nesplnitelnost formulí |
8. | | Základní a odvozené výrokové spojky |
9. | | Disjunktivní, resp. konjunktivní normální formy |
10. | | Resoluce ve výrokové logice |
11. | | Dokazatelnost formule z předpokladů. Přirozená dedukce |
12. | | Neformalizovaná predikátová logika |
13. | | Predikátová algebra. Interpretace |
1. | | Množiny a zobrazení |
2. | | Množiny stejné mohutnosti |
3. | | Binární relace na množinách. Grafy a stromy |
4. | | Uspořádání, ekvivalence, relace nad množinami |
5. | | Výroková algebra a její ohodnocení. Tautologie a kontradikce |
6. | | Sémantický důsledek |
7. | | Splnitelnost a nesplnitelnost formulí |
8. | | Základní a odvozené výrokové spojky |
9. | | Disjunktivní, resp. konjunktivní normální formy |
10. | | Resoluce ve výrokové logice |
11. | | Dokazatelnost formule z předpokladů. Přirozená dedukce |
12. | | Neformalizovaná predikátová logika |
13. | | Predikátová algebra. Interpretace |