ÚVOD DO MATEMATICKEJ LOGIKY (CVIČENIA)- Letný semester 2025/26

Prednášajúci: Ján Kľuka, Ján Mazák
Prednáška: Po 9:50 B
Adresa: mazak@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: Štv 13:10 F1-109
Praktické cvičenia: Konzultácie po teoretických cvičeniach, zadania
Adresa: lukotka@dcs.fmph.uniba.sk

Info midterm:

Projekty:

DU 1

Materiály:

Teoretické cvičenia, Zbierka - predmet Logika pre informatikov (LPI)
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.
Stránka cvičení zo LS2022/23.
Stránka cvičení zo LS2023/24.
Stránka cvičení zo LS2024/25.

Cvičenia:

19. 2. Konverzia do CNF (Slajdy, WIKI1)