(→Novinky: Konzultacie) |
d (Zrusenie "sad" uloh) |
||
(7 intermediate revisions by the same user not shown) | |||
Riadok 11: | Riadok 11: | ||
== Novinky == | == Novinky == | ||
− | ; | + | ;17. 2. 2019 |
− | : | + | : Začíname výučbu v letnom semesteri 2018/19. Aktualizovali sme [[#Podmienky absolvovania|podmienky absolvovania]]. |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | == Úlohy a ďalšie materiály == | |
− | + | [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 úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u]. | |
− | + | Dodržiavajte [[#pravidla-uloh|pravidlá pre úlohy]]. | |
− | Riešenia praktických | + | |
− | Dodržiavajte [[# | + | |
== Literatúra == | == Literatúra == | ||
Riadok 45: | Riadok 27: | ||
* Michael Genesereth and Eric Kao. <cite>[https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf Introduction to Logic, Second Edition.]</cite> Morgan & Claypool, 2013. [https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf PDF]. | * Michael Genesereth and Eric Kao. <cite>[https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf Introduction to Logic, Second Edition.]</cite> Morgan & Claypool, 2013. [https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf PDF]. | ||
* Chiara Ghidini and Luciano Serafini. <cite>[http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf Mathematical Logic Exercises.]</cite> Trento: University of Trento, 2014. [http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf PDF]. | * Chiara Ghidini and Luciano Serafini. <cite>[http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf Mathematical Logic Exercises.]</cite> Trento: University of Trento, 2014. [http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf PDF]. | ||
− | * Ján Kľuka, Jozef Šiška. <cite>[https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester | + | * Ján Kľuka, Jozef Šiška. <cite>[https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2018/2019.]</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2019. [https://github.com/FMFI-UK-1-AIN-412/lpi/raw/master/prednasky/poznamky-z-prednasok.pdf PDF], priebežne aktualizované. |
− | ** <small> | + | ** <small>Staršia úplná verzia: Ján Kľuka, Jozef Šiška. <cite>[[Media:Course:Lpi-prednasky-2016-17.pdf|Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2016/2017.]]</cite> Učebný text. Bratislava: Univerzita Komenského, 2017. [[Media:Course:Lpi-prednasky-2016-17.pdf|PDF]].</small> |
== Rozvrh výučby a konzultácií == | == Rozvrh výučby a konzultácií == | ||
− | + | [https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 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 [[#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]]. | |
− | + | ||
− | + | ||
== Podmienky absolvovania == | == Podmienky absolvovania == | ||
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky: | Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]]. | + | # 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>. | ||
+ | #* Ú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. | ||
+ | # 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 [[#tab-hodnotenie|<i>Hodnotenie</i>]]. | ||
+ | Možnosti získania bodov sú zhrnuté v tabuľke [[#tab-aktivity|<i>Aktivity</i>]]. 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). | ||
<div class="row"> | <div class="row"> | ||
− | <div class="col-sm- | + | <div class="col-sm-9"> |
{| class="alternative" id="tab-aktivity" | {| class="alternative" id="tab-aktivity" | ||
|+Aktivity | |+Aktivity | ||
− | ! | + | !Semestrálna aktivita !! Maximum !! Povolené opravy !! Poznámka |
|- | |- | ||
− | | | + | |Teoretické úlohy||class="text-right"| 20 ||class="text-right"| 3 ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]] |
|- | |- | ||
− | | | + | |Praktické úlohy||class="text-right"| 20 ||class="text-right"| 3 |
|- | |- | ||
− | |Midterm test | + | |Midterm test ||class="text-right"| 10 ||class="text-right"| — || Test nemá minimum a nie je možné ho opraviť |
|- | |- | ||
− | | | + | |Bonusy ||class="text-right"| ~ 25 ||class="text-right"| — || |
|- | |- | ||
− | |Ústna skúška | + | !Skúška !! Maximum !! Minimum !! Poznámka |
+ | |- | ||
+ | |Písomná časť ||class="text-right"| 30 ||class="text-right"| 15 || | ||
+ | |- | ||
+ | |Ústna skúška ||class="text-right"| 20 ||class="text-right"| 10 || Po úspešnom absolvovaní písomnej časti | ||
|} | |} | ||
</div> | </div> | ||
− | <div class="col-sm- | + | <div class="col-sm-3"> |
− | {| class="alternative" id="tab-hodnotenie" | + | {| class="alternative" id="tab-hodnotenie" style="width: auto" |
|+Hodnotenie | |+Hodnotenie | ||
! Bodové hodnotenie !! Známka | ! Bodové hodnotenie !! Známka | ||
Riadok 158: | Riadok 93: | ||
</div> | </div> | ||
− | === <span id="pravidla-uloh">Pravidlá pre | + | === <span id="pravidla-uloh">Pravidlá pre úlohy</span> === |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
+ | <dl> | ||
+ | <dt>Úspešnosť a hodnotenie úloh</dt> | ||
+ | <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> | ||
+ | <dt>Opravovanie úloh</dt> | ||
+ | <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> | ||
+ | <dt>Spolupráca</dt> | ||
+ | <dd> | ||
+ | <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> | ||
+ | </dd> | ||
+ | <dt>Odovzdávanie praktických úloh</dt> | ||
+ | <dd> | ||
+ | <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, ktoré máte právo zverejniť (vzhľadom na autorské práva, iné zákony a pravidlá). | ||
+ | <p>Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.</p> | ||
+ | </dd> | ||
+ | </dl> | ||
+ | <!-- | ||
== Termíny skúšok == | == Termíny skúšok == | ||
Riadok 192: | Riadok 143: | ||
| piatok || 22. júna || 9:30 || I-9 | | piatok || 22. júna || 9:30 || I-9 | ||
|} | |} | ||
+ | --> | ||
== Kontakty == | == Kontakty == | ||
+ | ;Spoločný e-mail vyučujúcich | ||
+ | :<code>lpi-team{z@vin@@č}lists.dai.fmph.uniba.sk</code> | ||
+ | :Nekontaktujte vyučujúcich individuálne | ||
;Oficiálna stránka kurzu | ;Oficiálna stránka kurzu | ||
:<code>[https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk]</code> | :<code>[https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk]</code> | ||
;Githubová organizácia pre predmet | ;Githubová organizácia pre predmet | ||
:<code>[https://github.com/FMFI-UK-1-AIN-412 https://github.com/FMFI-UK-1-AIN-412]</code> | :<code>[https://github.com/FMFI-UK-1-AIN-412 https://github.com/FMFI-UK-1-AIN-412]</code> | ||
− | |||
− | |||
− | |||
<!-- == Archív noviniek == --> | <!-- == Archív noviniek == --> |
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