Verzia zo dňa a času 01:06, 19. február 2018

Matematika (4) – Logika pre informatikov 1-AIN-412

Obsah

1 Matematika (4) – Logika pre informatikov 1-AIN-412

Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.

Informačný list predmetu

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ľ
Praktické cvičenia	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.

Aktivity
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.
Skúška	Ústna skúška	10	5

Hodnotenie
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

@@ Riadok 1: / Riadok 1: @@
 {{CourseHeader
-     | code = 1-AIN-412/15
+     | code = 1-AIN-412
      | title = Matematika (4) – Logika pre informatikov
 }}
@@ Riadok 11: / Riadok 11: @@
 == Novinky ==
-;23. 5. 2017
+;18. 2. 2018
-:'''Využite možnosť konzultácií.''' Termín konzultačných hodín – '''streda 13:00–14:30''' – platí aj v posledný týždeň semestra a počas skúškového obdobia; navyše môžete prísť konzultovať '''v pondelky 12. a 19. júna o 13:00'''. Iný termín si môžete dohodnúť e-mailom.
+: Výučba predmetu sa začne prednáškou v pondelok 19. februára.
-:Pripomíname, že je stále možné odovzdať '''bonusové praktické cvičenia''' [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/cv11 cv11] a [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/cv12 cv12] a [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/sat SAT solverový bonus], ktoré môžete konzultovať počas praktických cvičení 24. mája.
-;3. 5. 2017
+<!-- == Ocenenia == -->
-: <p>V&nbsp;AIS sme vypísali [[#Termíny skúšok|'''termíny skúšok''']].</p><p>Na ''písomnú časť'' skúšky v&nbsp;riadnom termíne (5.&nbsp;júna 2017 o&nbsp;13:00 v&nbsp;posluchárni&nbsp;A) zapíšeme automaticky všetkých študentov, ktorí [[#tab-aktivity|získajú minimálny počet bodov]] zo všetkých aktivít z&nbsp;výučbovej časti semestra.</p><p>Na ''ústnu časť'' skúšky sa môžete zapísať v&nbsp;AIS. Poradie zapísania sa určuje poradie pri skúšaní.</p>
-;24. 4. 2017
-: Študentov navštevujúcich pondelkové teoretické cvičenia žiadame, aby si ich '''odpadnuté cvičenia 1.&nbsp;a&nbsp;8.&nbsp;mája nahradili v&nbsp;príslušný utorok''' na termíne podľa svojich možností (14:50 v&nbsp;M-VIII alebo 16:30 v&nbsp;M-XII).
-<!-- [[#Archív noviniek|Archív noviniek…]] -->
-== Ocenenia ==
-;Najlepší riešitelia rozcvičiek
-:M.F., P.M., Z.O., A.S., D.Š.
-;Najlepší riešitelia teoretických domácich úloh
-:P.M., Z.O., G.S., A.S., D.Š.
-;Najlepší riešitelia praktických cvičení
-:T.B., A.N., Z.O., V.Š., M.V.
 == 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].
 * 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 ==
-[https://github.com/FMFI-UK-1-AIN-412/lpi Praktické cvičenia, domáce úlohy, materiály k prednáškam, úlohy z cvičení] (na github.com).
+[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í ==
@@ Riadok 59: / Riadok 45: @@
 |pondelok
 |11:30
-|B
+|F2
 |[[Jan Kluka|Ján Kľuka]]
 |-
-|rowspan="3" id="pondelkove-cvicenia"|Teoretické cvičenia
+|rowspan="3"|Teoretické cvičenia
-|3AIN*, 2AIN* [[#pondelkove-cvicenia-pozn|[↓]]]
+|2AIN1
-|pondelok
+|utorok
-|16:30
+|13:10
-|M-X
+|F1-328
 |[[Jan Kluka|Ján Kľuka]]
 |-
@@ Riadok 72: / Riadok 58: @@
 |utorok
 |14:50
-|M-VIII
+|I-9
 |[[Martin Homola|Martin Homola]]
 |-
-|2AIN1
+|2AIN3
 |utorok
-|16:30
+|14:50
-|M-XII
+|F1-328
 |[[Julia Pukancova|Júlia Pukancová]]
 |-
 |rowspan="2"| Praktické cvičenia
-|2AIN1, 3AIN*
+|2AIN2, 2AIN3
-|streda
+|utorok
-|14:50
+|16:30
 |I-H6
-|[[Jozef Siska|Jozef Šiška]], [[Juraj Holas]]
+|[[Jozef Siska|Jozef Šiška]], [[Peter Gergel|Peter Gergeľ]]
 |-
-|2AIN2
+|2AIN1
 |streda
 |16:30
-|I-H3
+|I-H6
-|[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]]
+|[[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]]
 |-
 |Konzultácie
 |2AIN*, 3AIN*
 |streda
-|13:10–14:30
+|13:10–14:40
 |I-16, I-7
 |podľa možností
 |}
-<span id="pondelkove-cvicenia-pozn">[[#pondelkove-cvicenia|[↑]]]</span>&nbsp;'''Žiadame druhákov''', aby zvážili účasť na teoretických cvičeniach '''v&nbsp;pondelok''', aby sme mali okolo 12&nbsp;študentov na termín.
+Okrem konzultácií s vyučujúcimi môžete tiež využiť [[Academic_support_center|Akademické podporné centrum KAI]].
-Termín si vyberte '''do konca 2.&nbsp;týždňa semestra''' (5.&nbsp;marca).
-Okrem konzultácií s vyučujúcimi v stredu medzi 13:10 a 14:30
-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.
@@ Riadok 112: / Riadok 94: @@
 == Podmienky absolvovania ==
-Na absolvovanie predmetu je potrebné splniť '''obe''' z nasledujúcich podmienok:
+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>]];
 * celkovo získať aspoň 50 bodov.
-Pritom musíte dodržať [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].
 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
 |-
-|rowspan="4"|Semester||Praktické cvičenia || 30    ||  15  ||
+|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
 |-
-|Rozcvičky          || 10    ||   5   ||
+|Sady úloh – praktická úloha || 30    ||  15  ||
-|-
-|Domáce úlohy       || 10    ||   5   ||
 |-
 |Midterm test            || 15    ||   5   || Opraviteľný o 1 až 2 týždne
@@ Riadok 158: / Riadok 140: @@
 </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 ==
 Vypísali sme termíny skúšok podľa nasledujúcej tabuľky.
 {| class="table-responsive alternative"
@@ Riadok 177: / Riadok 189: @@
 |piatok 23.&nbsp;júna o&nbsp;9:30 I-9
 |}
+-->
 == Kontakty ==
@@ Riadok 188: / Riadok 200: @@
 :Nekontaktujte vyučujúcich individuálne
-== Archív noviniek ==
+<!-- == Archív noviniek == -->
-;25. 4. 2017
-: V&nbsp;zadaní [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du04/du04 4. teoretickej domácej úlohy (du04)], v&nbsp;časti&nbsp;b) sme zrušili úlohy (ii) a&nbsp;(iii). Bodová hodnota [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du04/du04 du04] po tento zmene je 2&nbsp;body.
-;24. 4. 2017
-: V&nbsp;stredu '''26.&nbsp;apríla''' (dekanské voľno pre ŠVK) ponúkame '''rozšírené konzultácie''' k&nbsp;praktickým aj teoretickým otázkam: v&nbsp;čase 13:10–14:50 na I-7/I-16, v&nbsp;čase 14:50–16:30 v&nbsp;H-6.
-;20. 4. 2017
-: Termín odovzdania [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/cv09 9.&nbsp;praktického cvičenia (cv09)] sme posunuli na utorok 2.&nbsp;mája o&nbsp;23:59:59.
-;14. 4. 2017
-: Zverejnili sme zadanie [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/du04 4.&nbsp;teoretickej domácej úlohy].
-;11. 4. 2017
-: '''Opravný test''' (midterm) sa koná v piatok '''28.&nbsp;apríla o&nbsp;11:30''' v&nbsp;posluchárni&nbsp;A.
-;8. 4. 2017
-: Termín odovzdania 7.&nbsp;praktického cvičenia (cv07) sme posunuli na štvrtok 13.&nbsp;apríla o&nbsp;23:59:59.
-;21. 3. 2017
-: '''Test''' (midterm) sa koná v piatok '''7.&nbsp;apríla o&nbsp;12:30 v&nbsp;posluchárni&nbsp;A'''.
-;8. 3. 2017
-: Pridali sme [[#Rozvrh výučby|termín konzultácií]] a&nbsp;upozornenie na [[#Praktické cvičenia, domáce úlohy a materiály|pravidlá pre praktické cvičenia a&nbsp;domáce úlohy]].
-;10. 2. 2017
-: Výučba predmetu sa začne prednáškou v pondelok 20. februára. '''Nižšie uvedené informácie sú predbežné.''' Oficiálne podmienky absolvovania oznámime na prednáške a následne aktualizujeme na tejto stránke.