d (→Podmienky absolvovania: Stlpce tabuliek) |
d (Zrusenie "sad" uloh) |
||
(One intermediate revision by the same user not shown) | |||
Riadok 18: | Riadok 18: | ||
[https://github.com/FMFI-UK-1-AIN-412/lpi Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh] (na github.com). | [https://github.com/FMFI-UK-1-AIN-412/lpi Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh] (na github.com). | ||
− | Riešenia praktických | + | Riešenia praktických úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u]. |
− | Dodržiavajte [[# | + | Dodržiavajte [[#pravidla-uloh|pravidlá pre úlohy]]. |
== Literatúra == | == Literatúra == | ||
Riadok 43: | Riadok 43: | ||
# Splniť počas výučbovej časti semestra '''podmienky na pripustenie ku skúške''': | # 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í <small>okrem ospravedlnených neúčastí zo závažných dôvodov podľa [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku], čl. 21, ods. (9) a 1 neospravedlnenej neúčasti</small>. | #* Zúčastniť sa aktívne všetkých teoretických cvičení <small>okrem ospravedlnených neúčastí zo závažných dôvodov podľa [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku], čl. 21, ods. (9) a 1 neospravedlnenej neúčasti</small>. | ||
− | #* Úspešne vyriešiť '''všetky''' hodnotené teoretické a praktické úlohy podľa [[#pravidla-uloh|pravidiel pre | + | #* Úspešne vyriešiť '''všetky''' hodnotené teoretické a praktické úlohy podľa [[#pravidla-uloh|pravidiel pre úlohy]]. 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'''. |
# Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30. | # Ú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 časť skúšky. Ústnu časť možno absolvovať iba po úspešnom absolvovaní písomnej časti. | # 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. | ||
Riadok 98: | Riadok 98: | ||
<dt>Úspešnosť a hodnotenie úloh</dt> | <dt>Úspešnosť a hodnotenie úloh</dt> | ||
<dd> | <dd> | ||
− | + | <p>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é.</p> | |
− | + | <p>'''Ú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.</p> | |
− | + | ||
− | + | ||
</dd> | </dd> | ||
<dt>Opravovanie úloh</dt> | <dt>Opravovanie úloh</dt> | ||
<dd> | <dd> | ||
− | + | <p>'''Neúspešné riešenie je nutné opravovať''', kým nebude úspešné. Počas semestra smie každý študent opravovať '''najviac 3 teoretické a najviac 3 praktické úlohy'''.</p> | |
− | + | <p>Prekročenie tohto limitu znamená nesplnenie podmienok na pripustenie ku skúške. Druhé, prípadne ďalšie opravovanie tej istej úlohy sa do limitu nepočíta.</p> | |
</dd> | </dd> | ||
<dt>Spolupráca</dt> | <dt>Spolupráca</dt> | ||
<dd> | <dd> | ||
− | 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). | + | <p>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).</p> |
− | + | <p>Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa čl. 24, ods. (5) [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku].</p> | |
− | Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa čl. 24, ods. (5) [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku]. | + | |
</dd> | </dd> | ||
<dt>Odovzdávanie praktických úloh</dt> | <dt>Odovzdávanie praktických úloh</dt> | ||
<dd> | <dd> | ||
− | 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: | + | <p>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:</p> |
* Do repozitára budete nahrávať iba materiály súvisiace s predmetom. | * 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á). | * 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. | + | <p>Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.</p> |
</dd> | </dd> | ||
</dl> | </dl> |
Verzia zo dňa a času 16:54, 18. február 2019
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
- 17. 2. 2019
- Začíname výučbu v letnom semesteri 2018/19. 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.
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:
- 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 úlohy. 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.
- Ú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 časť 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 | 20 | 3 | Viď pravidlá pre úlohy |
Praktické úlohy | 20 | 3 | |
Midterm test | 10 | — | Test nemá minimum a nie je možné ho opraviť |
Bonusy | ~ 25 | — | |
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 úloh
-
Neúspešné riešenie je nutné opravovať, kým nebude úspešné. 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. Druhé, prípadne ďalšie opravovanie tej istej úlohy sa do limitu nepočíta.
- 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