Revision as of 00:09, 18 February 2019

Matematika (4) – Logika pre informatikov 1-AIN-412

Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.

Informačný list predmetu

Novinky

17. 2. 2019

Začíname výučbu v letnom semesteri 2018/19. Aktualizovali sme podmienky absolvovania.

Sady úloh a ďalšie materiály

Sady úloh, materiály k prednáškam, zbierka úloh (na github.com).

Riešenia praktických častí sád úloh odovzdávajte prostredníctvom github-u. Dodržiavajte pravidlá pre sady úloh.

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.
• Chiara Ghidini and Luciano Serafini. Mathematical Logic Exercises. Trento: University of Trento, 2014. PDF.
• Ján Kľuka, Jozef Šiška. Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2018/2019. Poznámky z prednášok. Bratislava: Univerzita Komenského, 2019. 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.

Rozvrh výučby a konzultácií

Oficiálny rozvrh predmetu na candle.fmph.uniba.sk.

Konzultačné hodiny: štvrtok 11:30–13:00 v miestnosti I-7. Výnimočne sa môžete dohodnúť s vyučujúcimi na inom termíne.

Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v akademickom podpornom centre.

Podmienky absolvovania

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

1. Splniť počas výučbovej časti semestra podmienky na pripustenie ku skúške:
   • Zúčastniť sa aktívne všetkých teoretických cvičení okrem ospravedlnených neúčastí zo závažných dôvodov podľa študijného poriadku, čl. 21, ods. (9) a 1 neospravedlnenej neúčasti.
   • Úspešne vyriešiť všetky hodnotené teoretické a praktické úlohy podľa pravidiel pre sady úloh. Neúšpešné riešenie je nutné opraviť, avšak študent smie opraviť riešenia najviac 3 teoretických a najviac 3 praktických úloh.
2. Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30.
3. Získať aspoň 10 bodov z 20-bodovej ústnej časť skúšky. Ústnu časť možno absolvovať iba po úspešnom absolvovaní písomnej časti.
4. Celkovo získať aspoň 50 bodov.

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

Možnosti získania bodov sú zhrnuté v tabuľke Aktivity. Patria k nim aj rôzne bonusy (prémie):

• Doplňujúce teoretické a praktické úlohy.
• Súťaž SAT solverov .
• Zvyšné možnosti opravovania teoretických a praktických úloh a písomnej časti skúšky (po 1 bode).

Pravidlá pre úlohy

Úspešnosť a hodnotenie úloh

• Riešenia budeme hodnotiť bodmi z množiny {0} ∪ 〈1, 2〉.
• Jedna úloha sa môže skladať z viacerých (aj nehodnotených) podúloh. Hodnotené podúlohy budú jasne vyznačené.
• Úspešné riešenie je práve také, ktoré získa kladné hodnotenie. Ostatné riešenia sú neúspešné.
• Hodnotenie 0 získajú najmä chybné, neúplné, nedostatočne zdôvodnené, neodovzdané, neskoro odovzdané a formálne nekvalitné riešenia.

Opravovanie úloh

• Neúspešné riešenie je nutné opravovať, kým nebude úspešné. Druhé, prípadne ďalšie opravovanie tej istej úlohy sa nepočíta do limitu z nasledujúceho bodu.
• Počas semestra smie každý študent opravovať najviac 3 teoretické a najviac 3 praktické úlohy. Prekročenie tohto limitu znamená nesplnenie podmienok na pripustenie ku skúške.

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 čl. 24, ods. (5) študijného poriadku.

Odovzdávanie praktických úloh

Za účelom odovzdávania praktických ú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.

Kontakty

Oficiálna stránka kurzu

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

Githubová organizácia pre predmet

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

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

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

Nekontaktujte vyučujúcich individuálne