ÚVOD DO MATEMATICKEJ LOGIKY (CVIČENIA)- Letný semester 2024/25

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: Ut 14:50 M-VI
Praktické cvičenia: St 14:00 M-VII (konzultácie)
Adresa: lukotka zavinac dcs.fmph.uniba.sk

INFO:

Midterm

Projekty:

Projekt 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.

Cvičenia:

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