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.

Aktivity
Aktivita	Maximum	Minimum	Poznámka
1. test (21. 3.)	15		Nemožno opraviť, iba nahradiť ospravedlnenú neúčasť
2. test (2. 5.)	25		Nemožno opraviť, iba nahradiť ospravedlnenú neúčasť
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

Hodnotenie
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.

@@ Riadok 5: / Riadok 5: @@
 __TOC__
-Kurz základov matematickej logiky a výpočtovnej logiky.
+Kurz základov matematickej a výpočtovej logiky.
 {{Infolist|1-AIN-412|Informačný list predmetu}}
@@ Riadok 11: / Riadok 11: @@
 == Novinky ==
-;13. 2. 2023
+;22. 4. 2024
-: Začíname výučbu v letnom semesteri 2022/23 prvou prednáškou.
+: Termíny písomných častí skúšok: vždy o 9:00 v posluchárňach A, B:
-: Prednášky tento rok vyučujeme spoločne s predmetom [http://www.dcs.fmph.uniba.sk/~mazak/vyucba/udml/ Úvod do matematickej logiky (1-INF-210)].
+:* 30. 5. (riadny termín)
-;7. 2. 2023
+:* 6. 6. (riadny/1. opravný termín)
-: Aktualizujeme [[#Podmienky absolvovania|podmienky absolvovania]]. Platné budú od utorka 14. 2. 2023, dovtedy sa môžu zmeniť.
+:* 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 ==
@@ Riadok 21: / Riadok 24: @@
 [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.com/workbook/ Logic Workbook].
+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]].
-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].
+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]].
@@ Riadok 32: / Riadok 35: @@
 <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 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.
+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í.
@@ Riadok 38: / Riadok 41: @@
 '''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.
+<!-- K predmetu poskytujeme '''konzultácie'''. Termín zverejníme v 2. týždni semestra. -->
-<!-- Ako cvičenie sú v rozvrhu zaradené aj konzultácie (štvrtok o 13:10). Výnimočne si môžete konzultácie [[#Kontakty|dohodnúť]] s vyučujúcimi aj na iný termín. -->
+'''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 môžu poskytnúť doktorandi v [[Academic support center|akademickom podpornom centre]].
+Ďalšie konzultácie vám poskytnú doktorandi v [[Academic support center|akademickom podpornom centre]].
 == Podmienky absolvovania ==
@@ Riadok 47: / Riadok 50: @@
 # '''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), viď tabuľka [[#tab-aktivity|<i>Aktivity</i>]].
+# 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 10 bodov zo skúškového testu aj ústnej skúšky.
+# '''Ú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'''.
+# Získať '''celkovo''' aspoň '''60 bodov'''.
 Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]].
@@ Riadok 59: / Riadok 62: @@
 !Aktivita          !! Maximum   !! Minimum   !!  Poznámka
 |-
-|'''1. test''' (14. 3.) ||class="text-right"| 15 ||  ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť
+|'''1. test''' (21. 3.) ||class="text-right"| 15 ||  ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť
 |-
-|'''2. test''' (25. 4.) ||class="text-right"| 25 ||
+|'''2. test''' (2. 5.) ||class="text-right"| 25 ||
 |-
-|Teoretické úlohy ||class="text-right"| 12 × 0,5 = 6 || ||rowspan="4"| Odovzdávanie nepovinné, <br>ale silno odporúčané
+|Teoretické domáce úlohy ||class="text-right"| 3 × 4 = 12 || ||rowspan="3"| Odovzdávanie nepovinné, <br>ale silno odporúčané
-|-
-|Teoretické prémie ||class="text-right"| 5 × 1 = 5 ||
 |-
 |'''Praktické úlohy'''||class="text-right"| 10 × 2 = 20 ||
 |-
-|Praktické prémie||class="text-right"| 10 ||
+|Praktické prémie||class="text-right"| ~10 ||
 |-
-!Semester spolu ||class="text-right"| '''60''' + ~21 ||class="text-right"| '''30''' ||
+!Semester spolu ||class="text-right"| '''60''' + ~22 ||class="text-right"| '''36''' ||
 |-
-| 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
+| 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"| 10
+| Ú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"| '''20'''||
+!Skúška spolu ||class="text-right"| '''40''' ||class="text-right"| '''24'''||
 |}
 </div>
@@ Riadok 146: / Riadok 147: @@
 :Nekontaktujte vyučujúcich individuálne
 ;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:Logic_for_CS/sk https://dai.fmph.uniba.sk/w/Course:Logic_for_CS/sk]</code>
 ;Githubová organizácia pre predmet
 :<code>[https://github.com/FMFI-UK-1-AIN-412 https://github.com/FMFI-UK-1-AIN-412]</code>