Logika pre informatikov

Stránka predmetu.

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 prihlasovacie meno):

https://github.com/FMFI-UK-1-AIN-412/lpi21-‹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

Týždeň	Prezentácie z prednášok	Teoretické úlohy	Praktické úlohy
1	Úvod. Atomické formuly a štruktúry	Atomické formuly a štruktúry	SAT solver
2	Výrokovologické spojky	Výrokovologické spojky	Sudoku
3	Výrokovologické vyplývanie	Výrokovologické vyplývanie	Formula
4	Vlastnosti a vzťahy formúl	Vlastnosti a vzťahy formúl	NNF a CNF
5	Dôkazy a výrokovologické tablá	Výrokovologické tablá	Tableau

Pravidlá pre úlohy.