(→Rozvrh výučby a konzultácií: nitpicks) |
(→Rozvrh výučby a konzultácií: Link na MS Teams) |
||
Riadok 25: | Riadok 25: | ||
== Rozvrh výučby a konzultácií == | == Rozvrh výučby a konzultácií == | ||
+ | |||
+ | Online vyučujeme cez [https://teams.microsoft.com/l/team/19%3acbd956be263c4e1496fa7dc8141ff9bd%40thread.tacv2/conversations?groupId=e6d7eaca-a454-4004-bee2-7e09f499d416&tenantId=ce31478d-6e7a-4ce7-8670-a5b9d51884f9 MS Teams]. | ||
+ | |||
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 '''Rozvrh''' predmetu] na candle.fmph.uniba.sk. | [https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 '''Rozvrh''' predmetu] na candle.fmph.uniba.sk. | ||
− | '''Konzultačné hodiny:''' štvrtok 9:00–10:39 v I-23 okrem 19. 3. 2020, kedy budú konzultácie v I-7. Výnimočne sa môžete [[#Kontakty|dohodnúť]] s vyučujúcimi na inom termíne. Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v [[Academic support center|akademickom podpornom centre]]. | + | '''Konzultačné hodiny:''' štvrtok 9:50–11:20 <del>9:00–10:39</del> v I-23 okrem 19. 3. 2020, kedy budú konzultácie v I-7. Výnimočne sa môžete [[#Kontakty|dohodnúť]] s vyučujúcimi na inom termíne. Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v [[Academic support center|akademickom podpornom centre]]. |
== Literatúra == | == Literatúra == |
Verzia zo dňa a času 22:38, 31. marec 2020
Matematika (4) – Logika pre informatikov 1-AIN-412
Obsah
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
Novinky
- 2. 3. 2020
- Dohodli a rezervovali sme pravidelný termín konzultácií na zvyšok semestra.
- 17. 2. 2020
- Začíname výučbu v letnom semesteri 2019/20. Aktualizovali sme podmienky absolvovania.
Úlohy a ďalšie materiály
Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh (na github.com).
Riešenia praktických úloh odovzdávajte prostredníctvom github-u. Dodržiavajte pravidlá pre úlohy.
Rozvrh výučby a konzultácií
Online vyučujeme cez MS Teams.
Rozvrh predmetu na candle.fmph.uniba.sk.
Konzultačné hodiny: štvrtok 9:50–11:20 9:00–10:39 v I-23 okrem 19. 3. 2020, kedy budú konzultácie v 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.
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, Jozef Šiška. Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2019/2020. Poznámky z prednášok. Bratislava: Univerzita Komenského, 2020. 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.
Podmienky absolvovania
Na absolvovanie predmetu je potrebné splniť všetky nasledujúce podmienky:
- Splniť počas výučbovej časti semestra (teda do 15. 5. 2020) 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é úlohy podľa pravidiel pre úlohy. Neúšpešné riešenie je nutné opraviť, podľa potreby aj opakovane, kým nebude úspešné. Avšak študent smie opravovať riešenia najviac 4 teoretických úloh.
- Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30.
- Získať aspoň 10 bodov z 20-bodovej ústnej časti skúšky. Ústnu časť možno absolvovať iba po úspešnom absolvovaní písomnej časti.
- 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).
Semestrálna aktivita | Maximum | Povolené opravy | Poznámka |
---|---|---|---|
Teoretické úlohy | 24 | 4 | Viď pravidlá pre úlohy |
Praktické úlohy | 20 | — | |
Midterm test | 10 | — | Test nemá minimum a nie je možné ho opraviť |
Bonusy | ~ 15 | — | |
Skúška | Maximum | Minimum | Poznámka |
Písomná časť | 30 | 15 | |
Ústna skúška | 20 | 10 | Po úspešnom absolvovaní písomnej časti |
Bodové hodnotenie | Známka |
---|---|
≥ 90 | A |
≥ 80 | B |
≥ 70 | C |
≥ 60 | D |
≥ 50 | E |
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 teoretických úloh
-
Neúspešné riešenie je nutné opravovať, kým nebude úspešné, a to najneskôr 15. 5. 2020 (koniec výučbovej časti semestra). Počas semestra smie každý študent opravovať riešenia najviac 4 teoretických úloh.
Prekročenie uvedeného limitu znamená nesplnenie podmienok na pripustenie ku skúške. Druhé a ďalšie opravovanie tej istej úlohy sa do limitu na počet opráv nepočíta. Všetky úlohy však musia byť úspešne opravené najneskôr 15. 5. 2020.
- 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
- 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:Mathematics_4/sk
- Githubová organizácia pre predmet
https://github.com/FMFI-UK-1-AIN-412