d (→Literatúra: Fix odkazu na prednasky) |
(Nový rozvrh, nové podmienky, reset noviniek) |
||
Riadok 1: | Riadok 1: | ||
{{CourseHeader | {{CourseHeader | ||
− | | code = 1-AIN-412 | + | | code = 1-AIN-412 |
| title = Matematika (4) – Logika pre informatikov | | title = Matematika (4) – Logika pre informatikov | ||
}} | }} | ||
Riadok 11: | Riadok 11: | ||
== Novinky == | == Novinky == | ||
− | ; | + | ;18. 2. 2018 |
− | : | + | : Výučba predmetu sa začne prednáškou v pondelok 19. februára. |
− | + | ||
− | + | <!-- == Ocenenia == --> | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | <!-- | + | |
− | + | ||
− | == Ocenenia == | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
== Literatúra == | == Literatúra == | ||
Riadok 37: | Riadok 22: | ||
* 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>[[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]]. | + | * Ján Kľuka, Jozef Šiška. <cite>Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2017/2018.</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2018. |
+ | * Minuloročná 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]]. | ||
== Praktické cvičenia, domáce úlohy a materiály == | == Praktické cvičenia, domáce úlohy a materiály == | ||
− | [https://github.com/FMFI-UK-1-AIN-412/lpi | + | [https://github.com/FMFI-UK-1-AIN-412/lpi Sady úloh a praktické cvičenia, materiály k prednáškam, zbierka úloh] (na github.com). |
− | Riešenia praktických cvičení a domácich úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u]. | + | Riešenia praktických cvičení a domácich úloh <!-- [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md -->odovzdávajte prostredníctvom github-u<!-- ] -->. |
− | Dodržiavajte [https://github.com/FMFI-UK-1-AIN-412/lpi#pravidlá-pre-praktické-cvičenia-adomáce-úlohy pravidlá pre praktické cvičenia a domáce úlohy]. | + | <!-- Dodržiavajte [https://github.com/FMFI-UK-1-AIN-412/lpi#pravidlá-pre-praktické-cvičenia-adomáce-úlohy pravidlá pre praktické cvičenia a domáce úlohy]. --> |
== Rozvrh výučby a konzultácií == | == Rozvrh výučby a konzultácií == | ||
Riadok 59: | Riadok 45: | ||
|pondelok | |pondelok | ||
|11:30 | |11:30 | ||
− | | | + | |F2 |
|[[Jan Kluka|Ján Kľuka]] | |[[Jan Kluka|Ján Kľuka]] | ||
|- | |- | ||
− | |rowspan="3 | + | |rowspan="3"|Teoretické cvičenia |
− | | | + | |2AIN1 |
− | | | + | |utorok |
− | | | + | |13:10 |
− | | | + | |F1-328 |
|[[Jan Kluka|Ján Kľuka]] | |[[Jan Kluka|Ján Kľuka]] | ||
|- | |- | ||
Riadok 72: | Riadok 58: | ||
|utorok | |utorok | ||
|14:50 | |14:50 | ||
− | | | + | |I-9 |
|[[Martin Homola|Martin Homola]] | |[[Martin Homola|Martin Homola]] | ||
|- | |- | ||
− | | | + | |2AIN3 |
|utorok | |utorok | ||
− | | | + | |14:50 |
− | | | + | |F1-328 |
|[[Julia Pukancova|Júlia Pukancová]] | |[[Julia Pukancova|Júlia Pukancová]] | ||
|- | |- | ||
|rowspan="2"| Praktické cvičenia | |rowspan="2"| Praktické cvičenia | ||
− | | | + | |2AIN2, 2AIN3 |
− | | | + | |utorok |
− | | | + | |16:30 |
|I-H6 | |I-H6 | ||
− | |[[Jozef Siska|Jozef Šiška]], [[ | + | |[[Jozef Siska|Jozef Šiška]], [[Peter Gergel|Peter Gergeľ]] |
|- | |- | ||
− | | | + | |2AIN1 |
|streda | |streda | ||
|16:30 | |16:30 | ||
− | |I- | + | |I-H6 |
− | |[[ | + | |[[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]] |
|- | |- | ||
|Konzultácie | |Konzultácie | ||
|2AIN*, 3AIN* | |2AIN*, 3AIN* | ||
|streda | |streda | ||
− | |13:10–14: | + | |13:10–14:40 |
|I-16, I-7 | |I-16, I-7 | ||
|podľa možností | |podľa možností | ||
|} | |} | ||
− | + | Okrem konzultácií s vyučujúcimi môžete tiež využiť [[Academic_support_center|Akademické podporné centrum KAI]]. | |
− | + | ||
− | + | ||
− | Okrem konzultácií s vyučujúcimi | + | |
− | môžete tiež využiť [[Academic_support_center|Akademické podporné centrum KAI]]. | + | |
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Oficiálny rozvrh predmetu] na candle.fmph.uniba.sk. | [https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Oficiálny rozvrh predmetu] na candle.fmph.uniba.sk. | ||
Riadok 112: | Riadok 94: | ||
== Podmienky absolvovania == | == Podmienky absolvovania == | ||
− | Na absolvovanie predmetu je potrebné splniť ''' | + | Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky: |
+ | * 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>; | ||
+ | * odovzdať riešenia všetkých sád úloh v určenom termíne (spravidla začiatok prednášky v nasledujúcom týždni) pri dodržaní [[#Pravidlá pre sady úloh|pravidiel pre sady úloh]]; | ||
* z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci <i>Min</i> v tabuľke [[#tab-aktivity|<i>Aktivity</i>]]; | * z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci <i>Min</i> v tabuľke [[#tab-aktivity|<i>Aktivity</i>]]; | ||
* celkovo získať aspoň 50 bodov. | * celkovo získať 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 127: | Riadok 111: | ||
!colspan="2"|Aktivita !! Max !! Min !! Poznámka | !colspan="2"|Aktivita !! Max !! Min !! Poznámka | ||
|- | |- | ||
− | |rowspan=" | + | |rowspan="3"|Semester||Sady úloh – teoretická časť || 20 || 10 || Hodnotíme 1 vopred určenú úlohu a 1 úlohu vyžrebovanú po termíne odovzdania |
|- | |- | ||
− | | | + | |Sady úloh – praktická úloha || 30 || 15 || |
− | + | ||
− | + | ||
|- | |- | ||
|Midterm test || 15 || 5 || Opraviteľný o 1 až 2 týždne | |Midterm test || 15 || 5 || Opraviteľný o 1 až 2 týždne | ||
Riadok 158: | Riadok 140: | ||
</div> | </div> | ||
+ | === Pravidlá pre sady ú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ý kód / text (prípadne iné 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) | ||
+ | [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku]. | ||
+ | |||
+ | ==== Čitateľnosť a rozsah ==== | ||
+ | |||
+ | Riešenia teoretickej časti sád úloh je potrebné vypracovať v čitateľnej forme a primerane malom rozsahu. | ||
+ | Vyhradzujeme si právo vrátiť nečitateľné alebo príliš rozsiahle riešenia, | ||
+ | pričom 1-krát za semester má študent právo vrátené riešenie prepracovať a odovzdať znova do 3 dní. | ||
+ | |||
+ | ==== 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. | ||
+ | |||
+ | <!-- | ||
== Termíny skúšok == | == Termíny skúšok == | ||
+ | |||
Vypísali sme termíny skúšok podľa nasledujúcej tabuľky. | Vypísali sme termíny skúšok podľa nasledujúcej tabuľky. | ||
{| class="table-responsive alternative" | {| class="table-responsive alternative" | ||
Riadok 177: | Riadok 189: | ||
|piatok 23. júna o 9:30 I-9 | |piatok 23. júna o 9:30 I-9 | ||
|} | |} | ||
− | + | --> | |
== Kontakty == | == Kontakty == | ||
Riadok 188: | Riadok 200: | ||
:Nekontaktujte vyučujúcich individuálne | :Nekontaktujte vyučujúcich individuálne | ||
− | == Archív noviniek == | + | <!-- == Archív noviniek == --> |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + |
Verzia zo dňa a času 01:06, 19. február 2018
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
- 18. 2. 2018
- Výučba predmetu sa začne prednáškou v pondelok 19. februára.
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 2017/2018. Poznámky z prednášok. Bratislava: Univerzita Komenského, 2018.
- Minuloročná 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.
Praktické cvičenia, domáce úlohy a materiály
Sady úloh a praktické cvičenia, materiály k prednáškam, zbierka úloh (na github.com).
Riešenia praktických cvičení a domácich úloh odovzdávajte prostredníctvom github-u.
Rozvrh výučby a konzultácií
Druh výučby | Krúžky | Deň | Čas | Miesto | Vyučujúci |
---|---|---|---|---|---|
Prednášky | 2AIN* | pondelok | 11:30 | F2 | Ján Kľuka |
Teoretické cvičenia | 2AIN1 | utorok | 13:10 | F1-328 | Ján Kľuka |
2AIN2 | utorok | 14:50 | I-9 | Martin Homola | |
2AIN3 | utorok | 14:50 | F1-328 | Júlia Pukancová | |
Praktické cvičenia | 2AIN2, 2AIN3 | utorok | 16:30 | I-H6 | Jozef Šiška, Peter Gergeľ |
2AIN1 | streda | 16:30 | I-H6 | Ján Kľuka, Viktor Kocur | |
Konzultácie | 2AIN*, 3AIN* | streda | 13:10–14:40 | I-16, I-7 | podľa možností |
Okrem konzultácií s vyučujúcimi môžete tiež využiť Akademické podporné centrum KAI.
Oficiálny rozvrh predmetu na candle.fmph.uniba.sk.
Podmienky absolvovania
Na absolvovanie predmetu je potrebné splniť všetky nasledujúce podmienky:
- 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;
- odovzdať riešenia všetkých sád úloh v určenom termíne (spravidla začiatok prednášky v nasledujúcom týždni) pri dodržaní pravidiel pre sady úloh;
- z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci Min v tabuľke Aktivity;
- celkovo získať aspoň 50 bodov.
Známka sa následne určí podľa tabuľky Hodnotenie.
Dosiahnutie minimálnych bodových hodnotení za jednotlivé aktivity nepostačuje na absolvovanie predmetu.
Aktivita | Max | Min | Poznámka | |
---|---|---|---|---|
Semester | Sady úloh – teoretická časť | 20 | 10 | Hodnotíme 1 vopred určenú úlohu a 1 úlohu vyžrebovanú po termíne odovzdania |
Sady úloh – praktická úloha | 30 | 15 | ||
Midterm test | 15 | 5 | Opraviteľný o 1 až 2 týždne | |
Skúška | Final test | 25 | 10 | Písomnú (final test) a ústnu časť skúšky si nemožno opraviť oddelene. |
Ústna skúška | 10 | 5 |
Bodové hodnotenie | Známka |
---|---|
≥ 90 | A |
≥ 80 | B |
≥ 70 | C |
≥ 60 | D |
≥ 50 | E |
Pravidlá pre sady ú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ý kód / text (prípadne iné 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.
Čitateľnosť a rozsah
Riešenia teoretickej časti sád úloh je potrebné vypracovať v čitateľnej forme a primerane malom rozsahu. Vyhradzujeme si právo vrátiť nečitateľné alebo príliš rozsiahle riešenia, pričom 1-krát za semester má študent právo vrátené riešenie prepracovať a odovzdať znova do 3 dní.
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