Logika v praxi

Předmět je rozdělen do tří základních tematických okruhů:
a) Jazyk výrokové a predikátové logiky (1. řádu) a formalizace explicitních znalostí
b) Odvozování implicitních znalostí z explicitní báze; aplikace fuzzy logiky
c) Základy formálních metod specifikace programů a logické programování
Těmto okruhům odpovídá rozvrh přednášek a cvičení:

Přednášky:
1. Úvod: Co je předmětem logiky, deduktivně platné usuzování
Tématický okruh (a):
2. Jazyk výrokové logiky a formalizace tvrzení v tomto jazyce
3. Jazyk predikátové logiky a formalizace tvrzení v tomto jazyce
4. Ekvivalentní úpravy a negace
Tématický okruh (b):
5. Dokazování v klasické výrokové logice: metoda důkazu sporem a tabulkově
6. Dokazování v klasické predikátové logice: množinové znázornění modelů
7. Fuzzy množiny a praktické aplikace fuzzy logiky
Tématický okruh (c):
8. Deklarativní vs. imperativní specifikace softwarového procesu.
9. Rezoluční metoda a logické programování, jazyk Prolog
10. Logické programování - pokračování

Cvičení:
1. Deduktivně platné úsudky
2. Formalizace tvrzení ve výrokové logice
3. Formalizace v jazyce predikátové logiky
4. Ekvivalentní úpravy a negace
5. Metody odvozování a dokazování ve výrokové logice
6. Odvozování a dokazování v predikátové logice
7. Klasická teorie množin a její využití v důkazech
8. Fuzzy množiny a praktické aplikace fuzzy logiky
9. Rezoluční metoda a logické programování, jazyk Prolog
10. Logické programování - pokračování