Logika pre informatikov a Úvod do matematickej logiky

Stránky predmetov:

• Logika pre informatikov (AIN)
• Úvod do matematickej logiky (INF)

Inštrukcie na odovzdávanie riešení praktických úloh.

Úlohy a prezentácie z prednášok

Teoretické úlohy pre AIN riešte v aplikácii Logic Workbook (krátky návod).

Týždeň	Prezentácie z prednášok	Praktické úlohy
1	Úvod. Atomické formuly a štruktúry	SAT solver
2	Výrokovologické spojky

Pravidlá pre úlohy