Logika pre informatikov a Úvod do matematickej logiky

Stránky predmetov:

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

Dokumenty a návody:

• Poznámky z prednášok
• Zbierka teoretických úloh
• Pravidlá pre úlohy
• Inštrukcie na odovzdávanie riešení praktických úloh
• Návod na otváranie teoretických úloh

Priebežné hodnotenie

Prehľad o vašom priebežnom bodovom hodnotení nájdete v súbore report.md vo vetve report vo vašich repozitároch. Priame URL je (nezabudnite nahradiť ‹LOGIN› za svoje univerzitné prihlasovacie meno):

https://github.com/FMFI-UK-1-AIN-412/lpi23-‹LOGIN›/blob/report/report.md

Ak si toto pozeráte vo svojom repozitári, funguje nasledujúci odkaz: report.md.

Súťaž o najrýchlejší SAT solver

Zapojte sa do súťaže o najrýchlejší SAT solver. Autori najrýchlejších solverov môžu získať až 5 bonusových bodov.

Úlohy a prezentácie z prednášok

Teoretické úlohy pre AIN riešte vo svojom repozitári v aplikácii Logic Workbook.

Týždeň	Prezentácie z prednášok	Praktické úlohy
1	Úvod. Atomické formuly a štruktúry	SAT solver
2	Výrokovologické spojky	Sudoku
3	Výrokovologické vyplývanie	Formula
4	Vlastnosti a vzťahy výrokovologických formúl	NNF a CNF
5	Dôkazy a výrokovologické tablá	Tableau
6	Korektnosť a úplnosť výrokovologických tabiel	TableauBuilder
7	SAT, DPLL, CDCL	Hamiltonovská kružnica
8	Kvantifikátory
9	Tablá pre kvantifikátory. Viackvantifikátorové tvrdenia	watched literals
10	Funkčné symboly. Tablá s rovnosťou	SAT solver
11	Korektnosť prvorádových tabiel. Explicitné definície. Unifikácia	FolFormula
12	Rezolvencia	Vlk, koza, kapusta
		bonus: Agatha
13	Nerozhodnuteľnosť a neúplnosť	Rezolver