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.

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.

Úlohy a prezentácie z prednášok

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

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

Pravidlá pre úlohy