UDML

ÚVOD DO MATEMATICKEJ LOGIKY (CVIČENIA)- Letný semester 2023/24

Prednášajúci: Ján Kľuka Prednáška: Po 9:50 B Adresa: mazak zavinac dcs.fmph.uniba.sk Prednášky a praktické cvičenia sú spojené s 1-AIN-412 - Matematika (4) – Logika pre informatikov. Stránka: Úvod do matematickej logiky - J. Mazák Matematika (4) – Logika pre informatikov
Cvičiaci: Robert Lukoťka (na stránku) Teoretické cvičenia: Ut 14:50 M-VI Praktické cvičenia: St 14:00 M-VII (konzultácie) Adresa: lukotka zavinac dcs.fmph.uniba.sk

Cvičenia:

20. 2. Konverzia do CNF (Slajdy, WIKI1)
27. 2. Konverzia do CNF (Slajdy, LPI), Sémantika výrokovej logiky (LPI, Kapitola 1, 1.1.3, 1.1.4)
5. 3. Sémantika výrokovej logiky (LPI, Kapitoly 2-4)
12. 3. Sémantika výrokovej logiky, tablový kalkul vo výrokovej logike (LPI, Kapitoly 4 a 5)
19. 3. Sémantika výrokovej logiky, tablový kalkul vo výrokovej logike (LPI, Kapitola 5)
26. 3. Lineárne programovanie, zmiešané lineárne programovanie, branch and bound (Slajdy)
9. 4. Veta o kompaktnosti, Hilbertovský kalkul (TOM)
16. 4. Tablový kalkul v logike prvého rádu (LPI, Kapitola 6)
23. 4. Tablový kalkul v logike prvého rádu (LPI, Kapitola 7)
30. 4. Axiómy rovnosti v tablovom kalkule (LPI, Kapitola 7)
7. 4. Resolvencia (LPI, Kapitola 7)
14. 5. Prvorádová logika v Hilbertovskom kalkule (TOM), vzťah predikátovej logiky bez rovnosti a prvorádovej logiky (pozri normal model, vyjadriteľnosť konečnosti a nekonečnosti v prvorádvej logike

ÚVOD DO MATEMATICKEJ LOGIKY (CVIČENIA)- Letný semester 2023/24

INFO:

Projekty:

Materiály:

Cvičenia: