Logika pre informatikov 1-AIN-412

Kurz základov matematickej logiky a výpočtovnej logiky.

Informačný list predmetu

Novinky

13. 2. 2023

Začíname výučbu v letnom semesteri 2022/23 prvou prednáškou.

Prednášky tento rok vyučujeme spoločne s predmetom Úvod do matematickej logiky (1-INF-210).

7. 2. 2023

Aktualizujeme podmienky absolvovania. Platné budú od utorka 14. 2. 2023, dovtedy sa môžu zmeniť.

Úlohy a ďalšie materiály

Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh (na github.com).

Teoretické úlohy vypracúvame pomocou nástroja Logic Workbook.

Kurz vychádza z nižšie uvedenej literatúry.

Riešenia teoretických úloh odovzdávajte prostredníctvom formulárov uvedených v zadaní. Riešenia praktických úloh odovzdávajte prostredníctvom github-u. Dodržiavajte pravidlá pre úlohy.

Rozvrh výučby a konzultácií

 Rozvrh predmetu v Candle

Predmet má teoretické cvičenia (v stredu, v rozvrhu označené C) aj praktické cvičenia (vo štvrtok, v rozvrhu označené L). Oba typy cvičení sa konajú v počítačových miestnostiach.

Teoretické cvičenia sú povinné. Tento čas je vyhradený na to, aby ste ho venovali predmetu a treba ho preto náležite využiť. Neúčasť je potrebné ospravedlniť, najlepšie vopred, prípadne do 3 pracovných dní.

Druháci chodia na cvičenia naplánované pre svoj krúžok. Tretiaci si termín môžu vybrať (s ohľadom na kapacitu miestnosti), ale od 3. týždňa semestra by ho už nemali meniť.

K predmetu poskytujeme konzultácie. Termín zverejníme v 2. týždni semestra. Ďalšie konzultácie vám môžu poskytnúť doktorandi v akademickom podpornom centre.

Podmienky absolvovania

Na absolvovanie predmetu je potrebné splniť všetky nasledujúce podmienky:

1. Zúčastniť sa aktívne všetkých teoretických cvičení okrem ospravedlnených neúčastí zo závažných dôvodov (viď študijný poriadok) a 1 neospravedlnenej neúčasti.
2. Počas výučbovej časti semestra získať minimálne 30 bodov z dvoch testov, teoretických a praktických úloh a prémiových úloh (bonusov), viď tabuľka Aktivity v súlade s pravidlami pre úlohy.
3. Úspešne absolvovať obe časti skúšky, teda získať minimálne po 10 bodov zo skúškového testu aj ústnej skúšky.
4. Získať celkovo aspoň 60 (!) bodov.

Známka sa následne určí podľa tabuľky Hodnotenie.

Aktivity

Aktivita	Maximum	Minimum	Poznámka
1. test (14. 3.)	15		Nemožno opraviť, iba nahradiť ospravedlnenú neúčasť
2. test (25. 4.)	25
Teoretické úlohy	12 × 0,5 = 6		Odovzdávanie nepovinné, ale silno odporúčané
Teoretické prémie	5 × 1 = 5
Praktické úlohy	10 × 2 = 20
Praktické prémie	10
Semester spolu	60 + ~21	30
Skúškový test	20	10	Neúspech na teste znamená stratu skúškového termínu
Ústna skúška	20	10
Skúška spolu	40	20

Hodnotenie

Bodové hodnotenie	Známka
≥ 92	A
≥ 84	B
≥ 76	C
≥ 68	D
≥ 60	E

Pravidlá pre úlohy

Odovzdávanie úloh

Za účelom odovzdávania úloh získate prístup k súkromnému repozitáru na GitHub-e. Používaním tohoto repozitára (t.j. nahrávaním súborov, napríklad vašich riešení) prejavujte svoj súhlas s nasledovnými podmienkami:

• Do repozitára budete nahrávať iba materiály súvisiace s predmetom.
• Do repozitára budete nahrávať iba materiály, ktoré máte právo zverejniť (vzhľadom na autorské práva, iné zákony a pravidlá).

Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.

Spolupráca

Môžete sa rozprávať o svojich riešeniach so spolužiakmi (poradiť sa, ako niečo riešiť a podobne), ale odovzdaný text, resp. kód (a prípadné pomocné súbory) musí byť vaša samostatná práca (samozrejme s výnimkou častí, ktoré vzorovo spravíme spoločne na cvičeniach).

Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa študijného poriadku.

Kontakty

Spoločný e-mail vyučujúcich

lpi-team{z@vin@@č}lists.dai.fmph.uniba.sk

Nekontaktujte vyučujúcich individuálne

Oficiálna stránka kurzu

https://dai.fmph.uniba.sk/w/Course:Logic_for_CS/sk

Githubová organizácia pre predmet

https://github.com/FMFI-UK-1-AIN-412

Literatúra

• Vítězslav Švejdar. Logika: neúplnost, složitost a nutnost. Praha: Academia, 2002. Vo fakultnej knižnici alebo PDF. Errata.
• Raymond M. Smullyan. Logika prvého rádu. Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. Vo fakultnej knižnici.
• Michael Genesereth and Eric Kao. Introduction to Logic, Second Edition. Morgan & Claypool, 2013. PDF.
• Dave Barker-Plummer, Jon Barwise and John Etchemendy Language, Proof and Logic. The Second Edition. Stanford, CA: CSLI Publications, 2011. PDF.
• Chiara Ghidini and Luciano Serafini. Mathematical Logic Exercises. Trento: University of Trento, 2014. PDF.
• Ján Kľuka, Ján Mazák. Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2020/2021. Poznámky z prednášok. Bratislava: Univerzita Komenského, 2021. PDF, priebežne aktualizované.
  • Staršia úplná verzia: Ján Kľuka, Jozef Šiška. Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2016/2017. Učebný text. Bratislava: Univerzita Komenského, 2017. PDF.