(→Rozvrh výučby a konzultácií: Link na MS Teams) |
|||
Riadok 11: | Riadok 11: | ||
== Novinky == | == Novinky == | ||
− | + | ;15. 2. 2021 | |
− | ; | + | : Začíname výučbu v letnom semesteri 2020/21. Aktualizovali sme [[#Podmienky absolvovania|podmienky absolvovania]]. Pridajte sa do tímu [https://teams.microsoft.com/l/team/19%3ab89657f8ee5c4a02b1a6106694c2118f%40thread.tacv2/conversations?groupId=5140f912-cb48-457a-981a-1223aaf1878a&tenantId=ce31478d-6e7a-4ce7-8670-a5b9d51884f9 FMFI-Logika pre informatikov-2021-1-AIN-412]. |
− | + | ||
− | + | ||
− | : Začíname výučbu v letnom semesteri | + | |
== Úlohy a ďalšie materiály == | == Úlohy a ďalšie materiály == | ||
Riadok 21: | 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 úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u]. | + | Kurz vychádza z nižšie uvedenej [[#Literatúra|literatúry]]. |
+ | |||
+ | Riešenia teoretických úloh odovzdávajte prostredníctvom formulárov uvedených v zadaní. 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]]. | Dodržiavajte [[#pravidla-uloh|pravidlá pre úlohy]]. | ||
== Rozvrh výučby a konzultácií == | == Rozvrh výučby a konzultácií == | ||
− | Online vyučujeme | + | Online vyučujeme v tíme [https://teams.microsoft.com/l/team/19%3ab89657f8ee5c4a02b1a6106694c2118f%40thread.tacv2/conversations?groupId=5140f912-cb48-457a-981a-1223aaf1878a&tenantId=ce31478d-6e7a-4ce7-8670-a5b9d51884f9 FMFI-Logika pre informatikov-2021-1-AIN-412] v MS Teams. |
+ | Študenti zapísaní v AIS k 12. februáru 2021 dostali prihlasovací kód mailom. Ostatní môžu o členstvo v tíme požiadať prostredníctvom MS Teams. | ||
− | + | {| class="alternative" id="tab-rozvrh" style="margin-bottom: 10px;" | |
+ | |+Rozvrh | ||
+ | ! Druh výučby !! Deň !! Čas !! Poznámka | ||
+ | |- | ||
+ | | Prednášky || pondelok || 11:30–13:00 ||rowspan="3"| všetky krúžky a ročníky | ||
+ | |- | ||
+ | | Teoretické cvičenia || utorok || 16:30–18:00 | ||
+ | |- | ||
+ | | Praktické cvičenia || streda || 16:30–18:00 | ||
+ | |- | ||
+ | | Konzultácie || štvrtok || 14:00–15:30 || '''predbežne''' (dohodneme počas prvého týždňa semestra) | ||
+ | |} | ||
− | + | Konzultácie si výnimočne môžete [[#Kontakty|dohodnúť]] s vyučujúcimi aj na iný termín. Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v [[Academic support center|akademickom podpornom centre]]. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
== Podmienky absolvovania == | == Podmienky absolvovania == | ||
Riadok 46: | Riadok 47: | ||
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky: | Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky: | ||
− | # Splniť | + | # Splniť do 19. 5. 2021 (do 5 dní po skončení výučbovej časti) '''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>. Buďte '''pripravení reagovať''' na otázky cvičiacich so zapnutou kamerou, mikrofónom a prípadne aj zdieľaním obrazovky. Neospravedlnená neúčasť na cvičení alebo neschopnosť zareagovať aspoň hlasovo znamená stratu jedného „života“. |
− | #* Úspešne vyriešiť ''' | + | #* Úspešne vyriešiť '''hodnotenú časť každej sady teoretických úloh''' podľa [[#pravidla-uloh|pravidiel pre úlohy]]. Neúšpešné riešenie je nutné '''opraviť''', podľa potreby aj opakovane, kým nebude úspešné. Prvé neúspešné riešenie ktorejkoľvek sady teoretických úloh znamená stratu jedného „života“. Za prípadné opakované neúspešné riešenia tej istej úlohy „život“ nestrácate. |
− | # Úspešne absolvovať | + | #* '''Nestratiť''' všetkých 5 „životov“, ktoré dostane každý študent na začiatku semestra. |
− | # Získať | + | # '''Úspešne absolvovať skúšku''', teda získať z nej aspoň 25 bodov z 50. |
− | + | # Získať '''celkovo aspoň 50 bodov'''. | |
Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]]. | Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]]. | ||
Riadok 57: | Riadok 58: | ||
Možnosti získania bodov sú zhrnuté v tabuľke [[#tab-aktivity|<i>Aktivity</i>]]. Patria k nim aj rôzne '''bonusy''' (prémie): | 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. | * Doplňujúce teoretické a praktické úlohy. | ||
− | * Súťaž SAT solverov . | + | * Súťaž SAT solverov. |
− | * Zvyšné | + | * Zvyšné „životy“ (po 1 bode). |
<div class="row"> | <div class="row"> | ||
<div class="col-sm-9"> | <div class="col-sm-9"> | ||
− | {| class="alternative" id="tab-aktivity" | + | {| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;" |
|+Aktivity | |+Aktivity | ||
− | !Semestrálna aktivita !! Maximum !! | + | !Semestrálna aktivita !! Maximum !! Minimum !! Poznámka |
|- | |- | ||
− | |Teoretické úlohy||class="text-right"| 24 || | + | |Teoretické úlohy||class="text-right"| 24 || každá 1 bod ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]] |
|- | |- | ||
− | |Praktické úlohy||class="text-right"| 20 || | + | |Praktické úlohy||class="text-right"| 20 || |
|- | |- | ||
− | |Midterm test ||class="text-right"| 10 || | + | |Midterm test ||class="text-right"| 10 || || Žiadne minimum, nemožno opraviť |
|- | |- | ||
− | |Bonusy ||class="text-right"| ~ | + | |Bonusy ||class="text-right"| ~ 10 || || |
|- | |- | ||
!Skúška !! Maximum !! Minimum !! Poznámka | !Skúška !! Maximum !! Minimum !! Poznámka | ||
|- | |- | ||
− | |Písomná časť ||class="text-right"| | + | |Písomná časť ||class="text-right"| 50 ||class="text-right"| 25 || Formu skúšky upresníme |
− | + | ||
− | + | ||
|} | |} | ||
</div> | </div> | ||
<div class="col-sm-3"> | <div class="col-sm-3"> | ||
− | {| class="alternative" id="tab-hodnotenie" style="width: auto" | + | {| class="alternative" id="tab-hodnotenie" style="width: auto; margin-bottom: 10px;" |
|+Hodnotenie | |+Hodnotenie | ||
! Bodové hodnotenie !! Známka | ! Bodové hodnotenie !! Známka | ||
Riadok 101: | Riadok 100: | ||
<dl> | <dl> | ||
− | <dt>Úspešnosť a hodnotenie úloh</dt> | + | <dt>Úspešnosť a hodnotenie sád úloh</dt> |
<dd> | <dd> | ||
− | <p> | + | <p>Riešenie každej sady úloh budeme hodnotiť bodmi z množiny {0} ∪ ⟨1, 2⟩. Jedna sada môže obsahovať viacero (aj nehodnotených) úloh. Hodnotené ú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é | + | <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ä neodovzdané, neskoro odovzdané, chybné, neúplné, nedostatočne zdôvodnené a formálne nekvalitné riešenia.</p> |
</dd> | </dd> | ||
− | <dt>Opravovanie teoretických úloh</dt> | + | <dt>Opravovanie sád teoretických úloh</dt> |
<dd> | <dd> | ||
− | <p>'''Neúspešné riešenie je nutné opravovať''', kým nebude úspešné, a | + | <p>'''Neúspešné riešenie je nutné opravovať''', kým nebude úspešné, a vždy najneskôr do 7 dní od vyhodnotenia neúspešného riešenia vyučujúcimi a najneskôr do 19. 5. 2021 (5 dní po konci výučbovej časti semestra).</p> |
− | <p> | + | <p>Za prvé neúspešné riešenie sady teoretických úloh študent stratí 1 „život“. Druhé a ďalšie neúspešné riešenia tej istej sady už k strate životov nevedú. Všetky sady úloh však musia byť úspešne opravené najneskôr 19. 5. 2021.</p> |
+ | </dd> | ||
+ | <dt>Opravovanie praktických úloh</dt> | ||
+ | <dd> | ||
+ | <p>Neúspešné riešenia praktických úloh nie je možné opraviť a nemajú vplyv na životy. Predmet je veľmi ťažké úspešne absolvovať bez riešenia praktických alebo bonusových úloh.</p> | ||
</dd> | </dd> | ||
<dt>Spolupráca</dt> | <dt>Spolupráca</dt> | ||
Riadok 130: | Riadok 133: | ||
V prípade neúspechu na ústnej časti môžete opakovať iba ústnu časť. | V prípade neúspechu na ústnej časti môžete opakovať iba ústnu časť. | ||
− | {| class="table-responsive alternative" id="terminy" | + | {| class="table-responsive alternative" id="terminy" style="margin-bottom: 10px;" |
|+Termíny skúšok | |+Termíny skúšok | ||
!Termín | !Termín | ||
Riadok 159: | Riadok 162: | ||
;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> | ||
+ | |||
+ | == Literatúra == | ||
+ | |||
+ | * Vítězslav Švejdar. <cite>[http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf Logika: neúplnost, složitost a nutnost.]</cite> Praha: Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici] alebo [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF]. [http://www1.cuni.cz/~svejdar/book/Sve2002Errata.pdf Errata]. | ||
+ | * Raymond M. Smullyan. <cite>[http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Logika prvého rádu.]</cite> Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici]. | ||
+ | * 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]. | ||
+ | * Dave Barker-Plummer, Jon Barwise and John Etchemendy <cite>[https://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.pdf Language, Proof and Logic. The Second Edition.]</cite> Stanford, CA: CSLI Publications, 2011. [https://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.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://dai.fmph.uniba.sk/courses/lpi/lpi/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2019/2020.]</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2020. [https://dai.fmph.uniba.sk/courses/lpi/lpi/prednasky/poznamky-z-prednasok.pdf PDF], priebežne aktualizované. | ||
+ | ** <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> | ||
<!-- == Archív noviniek == --> | <!-- == Archív noviniek == --> |
Verzia zo dňa a času 14:01, 12. február 2021
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
- 15. 2. 2021
- Začíname výučbu v letnom semesteri 2020/21. Aktualizovali sme podmienky absolvovania. Pridajte sa do tímu FMFI-Logika pre informatikov-2021-1-AIN-412.
Úlohy a ďalšie materiály
Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh (na github.com).
Kurz vychádza z nižšie uvedenej literatúry.
Riešenia teoretických úloh odovzdávajte prostredníctvom formulárov uvedených v zadaní. 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 v tíme FMFI-Logika pre informatikov-2021-1-AIN-412 v MS Teams. Študenti zapísaní v AIS k 12. februáru 2021 dostali prihlasovací kód mailom. Ostatní môžu o členstvo v tíme požiadať prostredníctvom MS Teams.
Druh výučby | Deň | Čas | Poznámka |
---|---|---|---|
Prednášky | pondelok | 11:30–13:00 | všetky krúžky a ročníky |
Teoretické cvičenia | utorok | 16:30–18:00 | |
Praktické cvičenia | streda | 16:30–18:00 | |
Konzultácie | štvrtok | 14:00–15:30 | predbežne (dohodneme počas prvého týždňa semestra) |
Konzultácie si výnimočne môžete dohodnúť s vyučujúcimi aj na iný termín. Ď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ť do 19. 5. 2021 (do 5 dní po skončení výučbovej časti) 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. Buďte pripravení reagovať na otázky cvičiacich so zapnutou kamerou, mikrofónom a prípadne aj zdieľaním obrazovky. Neospravedlnená neúčasť na cvičení alebo neschopnosť zareagovať aspoň hlasovo znamená stratu jedného „života“.
- Úspešne vyriešiť hodnotenú časť každej sady teoretických úloh podľa pravidiel pre úlohy. Neúšpešné riešenie je nutné opraviť, podľa potreby aj opakovane, kým nebude úspešné. Prvé neúspešné riešenie ktorejkoľvek sady teoretických úloh znamená stratu jedného „života“. Za prípadné opakované neúspešné riešenia tej istej úlohy „život“ nestrácate.
- Nestratiť všetkých 5 „životov“, ktoré dostane každý študent na začiatku semestra.
- Úspešne absolvovať skúšku, teda získať z nej aspoň 25 bodov z 50.
- Získať celkovo 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é „životy“ (po 1 bode).
Semestrálna aktivita | Maximum | Minimum | Poznámka |
---|---|---|---|
Teoretické úlohy | 24 | každá 1 bod | Viď pravidlá pre úlohy |
Praktické úlohy | 20 | ||
Midterm test | 10 | Žiadne minimum, nemožno opraviť | |
Bonusy | ~ 10 | ||
Skúška | Maximum | Minimum | Poznámka |
Písomná časť | 50 | 25 | Formu skúšky upresníme |
Bodové hodnotenie | Známka |
---|---|
≥ 90 | A |
≥ 80 | B |
≥ 70 | C |
≥ 60 | D |
≥ 50 | E |
Pravidlá pre úlohy
- Úspešnosť a hodnotenie sád úloh
-
Riešenie každej sady úloh budeme hodnotiť bodmi z množiny {0} ∪ 〈1, 2〉. Jedna sada môže obsahovať viacero (aj nehodnotených) úloh. Hodnotené ú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ä neodovzdané, neskoro odovzdané, chybné, neúplné, nedostatočne zdôvodnené a formálne nekvalitné riešenia.
- Opravovanie sád teoretických úloh
-
Neúspešné riešenie je nutné opravovať, kým nebude úspešné, a vždy najneskôr do 7 dní od vyhodnotenia neúspešného riešenia vyučujúcimi a najneskôr do 19. 5. 2021 (5 dní po konci výučbovej časti semestra).
Za prvé neúspešné riešenie sady teoretických úloh študent stratí 1 „život“. Druhé a ďalšie neúspešné riešenia tej istej sady už k strate životov nevedú. Všetky sady úloh však musia byť úspešne opravené najneskôr 19. 5. 2021.
- Opravovanie praktických úloh
-
Neúspešné riešenia praktických úloh nie je možné opraviť a nemajú vplyv na životy. Predmet je veľmi ťažké úspešne absolvovať bez riešenia praktických alebo bonusových úloh.
- 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
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.