Logika pre informatikov 1-AIN-412
Obsah
Kurz základov matematickej logiky a výpočtovnej logiky.
Novinky
- 30. 1. 2024
- Aktualizujeme podmienky absolvovania. Platné budú od pondelka 19. 2. 2024, 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 úloh odovzdávajte prostredníctvom github-u podľa pokynov v zadaní. Dodržiavajte pravidlá pre úlohy.
Rozvrh výučby a konzultácií
Predmet má teoretické cvičenia (v utorok) aj praktické cvičenia (vo štvrtok). 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:
- 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.
- Počas výučbovej časti semestra získať minimálne 36 bodov z dvoch testov, teoretických domácich úloh, praktických úloh a prémií (bonusov), viď tabuľka Aktivity v súlade s pravidlami pre úlohy.
- Úspešne absolvovať obe časti skúšky, teda získať minimálne po 12 bodov zo skúškového testu aj ústnej skúšky.
- Získať celkovo aspoň 60 bodov.
Známka sa následne určí podľa tabuľky Hodnotenie.
Aktivita | Maximum | Minimum | Poznámka |
---|---|---|---|
1. test (21. 3.) | 15 | Nemožno opraviť, iba nahradiť ospravedlnenú neúčasť | |
2. test (2. 5.) | 25 | ||
Teoretické domáce úlohy | 3 × 4 = 12 | Odovzdávanie nepovinné, ale silno odporúčané | |
Praktické úlohy | 10 × 2 = 20 | ||
Praktické prémie | ~10 | ||
Semester spolu | 60 + ~22 | 36 | |
Skúškový test | 20 | 12 | Neúspech na teste znamená stratu skúškového termínu! |
Ústna skúška | 20 | 12 | Pri neúspechu na ústnej skúške už test opakovať netreba. |
Skúška spolu | 40 | 24 |
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.