(→Novinky: Termíny písomnej skúšky) |
|||
(43 intermediate revisions by 2 users not shown) | |||
Riadok 1: | Riadok 1: | ||
{{CourseHeader | {{CourseHeader | ||
| code = 1-AIN-412 | | code = 1-AIN-412 | ||
− | | title = | + | | title = Logika pre informatikov |
}} | }} | ||
__TOC__ | __TOC__ | ||
− | Kurz základov matematickej logiky | + | Kurz základov matematickej a výpočtovej logiky. |
{{Infolist|1-AIN-412|Informačný list predmetu}} | {{Infolist|1-AIN-412|Informačný list predmetu}} | ||
Riadok 11: | Riadok 11: | ||
== Novinky == | == Novinky == | ||
− | ; | + | ;22. 4. 2024 |
− | : | + | : Termíny písomných častí skúšok: vždy o 9:00 v posluchárňach A, B: |
+ | :* 30. 5. (riadny termín) | ||
+ | :* 6. 6. (riadny/1. opravný termín) | ||
+ | :* 13. 6. (1. opravný/2. opravný termín) | ||
+ | :* 20. 6. (2. opravný termín) | ||
+ | ;30. 1. 2024 | ||
+ | : Aktualizujeme [[#Podmienky absolvovania|podmienky absolvovania]]. Platné budú od pondelka 19. 2. 2024, dovtedy sa môžu zmeniť. | ||
== Úlohy a ďalšie materiály == | == Ú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). | [https://github.com/FMFI-UK-1-AIN-412/lpi Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh] (na github.com). | ||
+ | |||
+ | Teoretické úlohy vypracúvame pomocou nástroja [https://FMFI-UK-1-AIN-412.github.io/workbook/ Logic Workbook]. | ||
Kurz vychádza z nižšie uvedenej [[#Literatúra|literatúry]]. | Kurz vychádza z nižšie uvedenej [[#Literatúra|literatúry]]. | ||
− | Riešenia | + | Riešenia úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u] podľa pokynov v zadaní. |
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í == | ||
− | + | <i class="glyphicon glyphicon-calendar"></i> [https://candle.fmph.uniba.sk/rozvrh/1-ain-412-lpi Rozvrh predmetu v Candle] | |
− | + | ||
− | + | Predmet má '''teoretické''' cvičenia (v utorok) aj '''praktické''' cvičenia (vo štvrtok). Oba typy cvičení sa konajú v počítačových miestnostiach. | |
− | + | ||
− | + | '''Teoretické cvičenia sú povinné.''' Tento čas je vyhradený na to, aby ste ho venovali predmetu a treba ho preto náležite využiť. '''Neúčasť''' je potrebné ospravedlniť, najlepšie vopred, prípadne do 3 pracovných dní. | |
− | + | ||
− | + | '''Druháci''' chodia na cvičenia naplánované pre svoj krúžok. '''Tretiaci''' si termín môžu vybrať (s ohľadom na kapacitu miestnosti), ale od 3. týždňa semestra by ho už nemali meniť. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | Konzultácie si | + | <!-- K predmetu poskytujeme '''konzultácie'''. Termín zverejníme v 2. týždni semestra. --> |
+ | '''Konzultácie''' k predmetu poskytujeme vo '''štvrtky od 13:45 do 14:45 v učebni I-9''' (účasť, pochopiteľne, nie je povinná). Výnimočne si môžete konzultácie [[#Kontakty|dohodnúť]] s vyučujúcimi aj na iný termín. | ||
+ | Ďalšie konzultácie vám poskytnú doktorandi v [[Academic support center|akademickom podpornom centre]]. | ||
== Podmienky absolvovania == | == Podmienky absolvovania == | ||
Riadok 47: | Riadok 49: | ||
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky: | 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 (viď [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijný poriadok]) a 1 neospravedlnenej neúčasti</small>. |
− | + | # Počas výučbovej časti semestra získať '''minimálne 36 bodov''' z dvoch testov, teoretických domácich úloh, praktických úloh a prémií (bonusov), viď tabuľka [[#tab-aktivity|<i>Aktivity</i>]] v súlade s [[#pravidla-uloh|pravidlami pre úlohy]]. | |
− | + | # '''Úspešne absolvovať obe časti skúšky''', teda získať minimálne po 12 bodov zo skúškového testu aj ústnej skúšky. | |
− | + | # Získať '''celkovo''' aspoň '''60 bodov'''. | |
− | # '''Úspešne absolvovať | + | |
− | # Získať '''celkovo aspoň | + | |
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>]]. | ||
− | |||
− | |||
− | |||
− | |||
<div class="row"> | <div class="row"> | ||
<div class="col-sm-9"> | <div class="col-sm-9"> | ||
{| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;" | {| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;" | ||
|+Aktivity | |+Aktivity | ||
− | ! | + | !Aktivita !! Maximum !! Minimum !! Poznámka |
|- | |- | ||
− | | | + | |'''1. test''' (21. 3.) ||class="text-right"| 15 || ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť |
|- | |- | ||
− | | | + | |'''2. test''' (2. 5.) ||class="text-right"| 25 || |
|- | |- | ||
− | | | + | |Teoretické domáce úlohy ||class="text-right"| 3 × 4 = 12 || ||rowspan="3"| Odovzdávanie nepovinné, <br>ale silno odporúčané |
|- | |- | ||
− | | | + | |'''Praktické úlohy'''||class="text-right"| 10 × 2 = 20 || |
|- | |- | ||
− | + | |Praktické prémie||class="text-right"| ~10 || | |
|- | |- | ||
− | | | + | !Semester spolu ||class="text-right"| '''60''' + ~22 ||class="text-right"| '''36''' || |
+ | |- | ||
+ | | Skúškový test ||class="text-right"| 20 ||class="text-right"| 12 || Neúspech na teste znamená stratu skúškového termínu! | ||
+ | |- | ||
+ | | Ústna skúška ||class="text-right"| 20 ||class="text-right"| 12 || Pri neúspechu na ústnej skúške už test opakovať netreba. | ||
+ | |- | ||
+ | !Skúška spolu ||class="text-right"| '''40''' ||class="text-right"| '''24'''|| | ||
|} | |} | ||
</div> | </div> | ||
Riadok 84: | Riadok 86: | ||
! Bodové hodnotenie !! Známka | ! Bodové hodnotenie !! Známka | ||
|- | |- | ||
− | | ≥ | + | | ≥ 92 || A |
|- | |- | ||
− | | ≥ | + | | ≥ 84 || B |
|- | |- | ||
− | | ≥ | + | | ≥ 76 || C |
|- | |- | ||
− | | ≥ | + | | ≥ 68 || D |
|- | |- | ||
− | | ≥ | + | | ≥ '''60''' || E |
|} | |} | ||
</div> | </div> | ||
Riadok 100: | Riadok 102: | ||
<dl> | <dl> | ||
− | <dt> | + | <dt>Odovzdávanie úloh</dt> |
<dd> | <dd> | ||
− | <p> | + | <p>Za účelom odovzdávania ú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> | |
− | + | ||
− | + | ||
− | <p> | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
</dd> | </dd> | ||
<dt>Spolupráca</dt> | <dt>Spolupráca</dt> | ||
<dd> | <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>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 | + | <p>Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijného poriadku].</p> |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
</dd> | </dd> | ||
</dl> | </dl> | ||
Riadok 159: | Riadok 147: | ||
:Nekontaktujte vyučujúcich individuálne | :Nekontaktujte vyučujúcich individuálne | ||
;Oficiálna stránka kurzu | ;Oficiálna stránka kurzu | ||
− | :<code>[https://dai.fmph.uniba.sk/w/Course: | + | :<code>[https://dai.fmph.uniba.sk/w/Course:Logic_for_CS/sk https://dai.fmph.uniba.sk/w/Course:Logic_for_CS/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> | ||
Riadok 170: | Riadok 158: | ||
* 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]. | * 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]. | * 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, | + | * Ján Kľuka, Ján Mazák. <cite>[https://fmfi-uk-1-ain-412.github.io/lpi/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2020/2021.]</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2021. [https://fmfi-uk-1-ain-412.github.io/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> | ** <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 == --> |
Aktuálna revízia z 11:31, 22. apríl 2024
Logika pre informatikov 1-AIN-412
Obsah
Kurz základov matematickej a výpočtovej logiky.
Novinky
- 22. 4. 2024
- Termíny písomných častí skúšok: vždy o 9:00 v posluchárňach A, B:
- 30. 5. (riadny termín)
- 6. 6. (riadny/1. opravný termín)
- 13. 6. (1. opravný/2. opravný termín)
- 20. 6. (2. opravný termín)
- 30. 1. 2024
- Aktualizujeme podmienky absolvovania. Platné budú od pondelka 19. 2. 2024, dovtedy sa môžu zmeniť.
Úlohy a ďalšie materiály
Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh (na github.com).
Teoretické úlohy vypracúvame pomocou nástroja Logic Workbook.
Kurz vychádza z nižšie uvedenej literatúry.
Riešenia úloh odovzdávajte prostredníctvom github-u podľa pokynov v zadaní. Dodržiavajte pravidlá pre úlohy.
Rozvrh výučby a konzultácií
Predmet má teoretické cvičenia (v utorok) aj praktické cvičenia (vo štvrtok). Oba typy cvičení sa konajú v počítačových miestnostiach.
Teoretické cvičenia sú povinné. Tento čas je vyhradený na to, aby ste ho venovali predmetu a treba ho preto náležite využiť. Neúčasť je potrebné ospravedlniť, najlepšie vopred, prípadne do 3 pracovných dní.
Druháci chodia na cvičenia naplánované pre svoj krúžok. Tretiaci si termín môžu vybrať (s ohľadom na kapacitu miestnosti), ale od 3. týždňa semestra by ho už nemali meniť.
Konzultácie k predmetu poskytujeme vo štvrtky od 13:45 do 14:45 v učebni I-9 (účasť, pochopiteľne, nie je povinná). Výnimočne si môžete konzultácie dohodnúť s vyučujúcimi aj na iný termín. Ďalšie konzultácie vám poskytnú doktorandi v akademickom podpornom centre.
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 (viď študijný poriadok) a 1 neospravedlnenej neúčasti.
- Počas výučbovej časti semestra získať minimálne 36 bodov z dvoch testov, teoretických domácich úloh, praktických úloh a prémií (bonusov), viď tabuľka Aktivity v súlade s pravidlami pre úlohy.
- Úspešne absolvovať obe časti skúšky, teda získať minimálne po 12 bodov zo skúškového testu aj ústnej skúšky.
- Získať celkovo aspoň 60 bodov.
Známka sa následne určí podľa tabuľky Hodnotenie.
Aktivita | Maximum | Minimum | Poznámka |
---|---|---|---|
1. test (21. 3.) | 15 | Nemožno opraviť, iba nahradiť ospravedlnenú neúčasť | |
2. test (2. 5.) | 25 | ||
Teoretické domáce úlohy | 3 × 4 = 12 | Odovzdávanie nepovinné, ale silno odporúčané | |
Praktické úlohy | 10 × 2 = 20 | ||
Praktické prémie | ~10 | ||
Semester spolu | 60 + ~22 | 36 | |
Skúškový test | 20 | 12 | Neúspech na teste znamená stratu skúškového termínu! |
Ústna skúška | 20 | 12 | Pri neúspechu na ústnej skúške už test opakovať netreba. |
Skúška spolu | 40 | 24 |
Bodové hodnotenie | Známka |
---|---|
≥ 92 | A |
≥ 84 | B |
≥ 76 | C |
≥ 68 | D |
≥ 60 | E |
Pravidlá pre úlohy
- Odovzdávanie úloh
-
Za účelom odovzdávania ú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.
- 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 študijného poriadku.
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:Logic_for_CS/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, Ján Mazák. Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2020/2021. Poznámky z prednášok. Bratislava: Univerzita Komenského, 2021. 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.