(→Rozvrh výučby a konzultácií: druhaci/tretiaci, povinnost t.c.) |
(→Podmienky absolvovania: Aktualizácia pre 2022/23) |
||
Riadok 46: | Riadok 46: | ||
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 30 bodov''' z dvoch testov, teoretických a praktických úloh a prémiových úloh (bonusov). | |
− | # | + | # '''Úspešne absolvovať obe časti skúšky''', teda získať minimálne po 10 bodov zo skúškového testu aj ústnej skúšky. |
− | # '''Úspešne absolvovať | + | # Získať '''celkovo aspoň 60 bodov'''. |
− | # 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''' (14. 3.) ||class="text-right"| 15 || ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť |
|- | |- | ||
− | | | + | |'''2. test''' (25. 4.) ||class="text-right"| 25 || |
|- | |- | ||
− | | | + | |Teoretické úlohy ||class="text-right"| 12 × 0,5 = 6 || ||rowspan="4"| Odovzdávanie nepovinné, <br>ale silno odporúčané |
|- | |- | ||
− | | | + | |Teoretické prémie ||class="text-right"| 5 × 2 = 5 || |
|- | |- | ||
− | + | |'''Praktické úlohy'''||class="text-right"| 10 × 2 = 20 || | |
|- | |- | ||
− | | Skúška ||class="text-right"| | + | |Praktické prémie||class="text-right"| 10 || |
+ | |- | ||
+ | !Semester spolu ||class="text-right"| '''60''' + ~21 ||class="text-right"| '''30''' || | ||
+ | |- | ||
+ | | Skúškový test ||class="text-right"| 20 ||class="text-right"| 10 ||rowspan="2"| Neúspech na teste znamená<br>stratu skúškového termínu | ||
+ | |- | ||
+ | | Ústna skúška ||class="text-right"| 20 ||class="text-right"| 10 | ||
+ | |- | ||
+ | !Skúška spolu ||class="text-right"| '''40''' ||class="text-right"| '''20'''|| | ||
|} | |} | ||
</div> | </div> | ||
Riadok 82: | Riadok 85: | ||
! Bodové hodnotenie !! Známka | ! Bodové hodnotenie !! Známka | ||
|- | |- | ||
− | | ≥ | + | | ≥ 92 || A |
|- | |- | ||
− | | ≥ | + | | ≥ 84 || B |
|- | |- | ||
− | | ≥ | + | | ≥ 76 || C |
|- | |- | ||
− | | ≥ | + | | ≥ 68 || D |
|- | |- | ||
− | | ≥ | + | | ≥ '''60''' || E |
|} | |} | ||
</div> | </div> | ||
Riadok 98: | Riadok 101: | ||
<dl> | <dl> | ||
− | + | <dt>Odovzdávanie úloh</dt> | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | <dt>Odovzdávanie | + | |
<dd> | <dd> | ||
− | <p>Za účelom odovzdávania | + | <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 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á). |
Verzia zo dňa a času 20:00, 14. február 2023
Logika pre informatikov 1-AIN-412
Obsah
Kurz základov matematickej logiky a výpočtovnej logiky.
Novinky
- 13. 2. 2023
- Začíname výučbu v letnom semesteri 2022/23 prvou prednáškou.
- Prednášky tento rok vyučujeme spoločne s predmetom Úvod do matematickej logiky (1-INF-210).
- 7. 2. 2023
- Aktualizujeme podmienky absolvovania. Platné budú od utorka 14. 2. 2023, 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 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í
Predmet má teoretické cvičenia (v stredu, v rozvrhu označené C) aj praktické cvičenia (vo štvrtok, v rozvrhu označené L). 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ť.
K predmetu poskytujeme konzultácie. Termín zverejníme v 2. týždni semestra. Ďalšie konzultácie vám môžu 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 30 bodov z dvoch testov, teoretických a praktických úloh a prémiových úloh (bonusov).
- Úspešne absolvovať obe časti skúšky, teda získať minimálne po 10 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 (14. 3.) | 15 | Nemožno opraviť, iba nahradiť ospravedlnenú neúčasť | |
2. test (25. 4.) | 25 | ||
Teoretické úlohy | 12 × 0,5 = 6 | Odovzdávanie nepovinné, ale silno odporúčané | |
Teoretické prémie | 5 × 2 = 5 | ||
Praktické úlohy | 10 × 2 = 20 | ||
Praktické prémie | 10 | ||
Semester spolu | 60 + ~21 | 30 | |
Skúškový test | 20 | 10 | Neúspech na teste znamená stratu skúškového termínu |
Ústna skúška | 20 | 10 | |
Skúška spolu | 40 | 20 |
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: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, 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.