ÚVOD DO MATEMATICKEJ LOGIKY (CVIČENIA)- Letný semester 2022/23

Prednášajúci: Ján Mazák
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: Št 13:10 M-X
Praktické cvičenia: Št 16:30 I-H6
Adresa: lukotka zavinac dcs.fmph.uniba.sk

INFO:

Projekty:

Projekt 1
Projekt 2
Midterm

Materiály:

Teoretické cvičenia - predmet Logika pre informatikov (LPI)
Teoretické cvičenia - predmet Logika pre informatikov 2022 (LPI22)
Skriptá doc. Tomana (Tom)
Equisatisfiable konverzia do CNF (WIKI1)

StructureExplorer
TableauEditor

Stránka cvičení zo ZS2020/21.
Stránka cvičení zo LS2021/22.

Cvičenia:

16. 2. Konverzia do CNF (Slajdy, WIKI1)
23. 2. Konverzia do CNF (Slajdy, WIKI1), Semantika logiky prveho radu (LPI1,2)
2. 3. Teoretické cviká (LPI1,2,3)
9. 3. Veta o kompaktnosti, Hilbertovský kalkul (TOM)
16. 3. Vety o úplnosti Hilbertovského kalkulu (TOM), Tablá (LPI5)
23. 3. Dôsledky vety o kompaktnosti (TOM), Teoretické cvičenia (LPI4,5,6)
30. 3. Tablá pre výrokovú logiky (LPI5,6,7)
13. 4. Kvantifikátory (LPI8, Tablá z prednášky + tablá z midtermu)
20. 4. Funkčné symboly a rovnosť (LPI22-10, Tablá z prednášky)
27. 4. Funkčné symboly a rovnosť (LPI8,9,10, Tablá z cvičení)