(→Podmienky absolvovania) |
(Predbežná verzia pre rok 2017) |
||
Riadok 9: | Riadok 9: | ||
== Novinky == | == Novinky == | ||
− | ; | + | ;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. |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | <!-- [[#Archív noviniek|Archív noviniek…]] --> | |
− | + | ||
− | + | ||
− | [[#Archív noviniek|Archív noviniek…]] | + | |
== Literatúra == | == Literatúra == | ||
Riadok 33: | Riadok 18: | ||
* Vítězslav Švejdar. <cite>Logika: neúplnost, složitost a nutnost.</cite> Praha: Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici]; [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF]. [http://www1.cuni.cz/~svejdar/book/Sve2002Errata.pdf Errata]. | * Vítězslav Švejdar. <cite>Logika: neúplnost, složitost a nutnost.</cite> Praha: Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici]; [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF]. [http://www1.cuni.cz/~svejdar/book/Sve2002Errata.pdf Errata]. | ||
* Raymond M. Smullyan. <cite>Logika prvého rádu.</cite> Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici]. | * Raymond M. Smullyan. <cite>Logika prvého rádu.</cite> Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici]. | ||
+ | * Michael Genesereth and Eric Kao. <cite>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>Mathematical Logic Exercises.</cite> [http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf PDF]. | ||
== Materiály a odovzdávanie riešení úloh == | == Materiály a odovzdávanie riešení úloh == | ||
Riadok 41: | Riadok 28: | ||
== Rozvrh výučby == | == Rozvrh výučby == | ||
− | {| class="alternative" | + | {| class="alternative table-responsive" |
!Druh výučby | !Druh výučby | ||
!Krúžky | !Krúžky | ||
Riadok 57: | Riadok 44: | ||
|- | |- | ||
|rowspan="3"|Teoretické cvičenia | |rowspan="3"|Teoretické cvičenia | ||
− | | | + | |3AIN*, 2AIN* |
+ | |pondelok | ||
+ | |16:30 | ||
+ | |M-X | ||
+ | |TBA<!-- [[Martin Homola|Martin Homola]] --> | ||
+ | |- | ||
+ | |2AIN2 | ||
|utorok | |utorok | ||
|14:50 | |14:50 | ||
− | |M- | + | |M-VIII |
− | |[[Jan Kluka|Ján Kľuka]] | + | |TBA<!-- [[Jan Kluka|Ján Kľuka]] --> |
|- | |- | ||
− | | | + | |2AIN1 |
|utorok | |utorok | ||
|16:30 | |16:30 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|M-XII | |M-XII | ||
− | |[[Julia Pukancova|Júlia Pukancová]] | + | |TBA<!-- [[Julia Pukancova|Júlia Pukancová]] --> |
|- | |- | ||
|rowspan="3"| Praktické cvičenia | |rowspan="3"| Praktické cvičenia | ||
− | | | + | |2AIN1, 3AIN* |
|streda | |streda | ||
|14:50 | |14:50 | ||
|I-H6 | |I-H6 | ||
− | |[[Jozef Siska|Jozef Šiška]], [[ | + | |[[Jozef Siska|Jozef Šiška]], [[Juraj Holas]] |
|- | |- | ||
− | | | + | |2AIN2 |
− | | | + | |streda |
− | | | + | |16:30 |
|I-H3 | |I-H3 | ||
− | |[[Jozef Siska|Jozef Šiška]] | + | |[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]] |
|} | |} | ||
+ | <!-- | ||
'''Zúčastňujte sa cvičení priradených vášmu krúžku''', inak sa vám cvičiaci nebudú môcť dostatočne venovať. | '''Zúčastňujte sa cvičení priradených vášmu krúžku''', inak sa vám cvičiaci nebudú môcť dostatočne venovať. | ||
* 2AIN1: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN1 rozvrh]; | * 2AIN1: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN1 rozvrh]; | ||
Riadok 95: | Riadok 83: | ||
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Rozvrh predmetu] na candle.fmph.uniba.sk. | [https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Rozvrh predmetu] na candle.fmph.uniba.sk. | ||
− | + | --> | |
== Podmienky absolvovania == | == Podmienky absolvovania == | ||
Na absolvovanie predmetu je potrebné splniť '''obe''' z nasledujúcich podmienok: | Na absolvovanie predmetu je potrebné splniť '''obe''' z nasledujúcich podmienok: | ||
− | * z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci <i>Min</i> v tabuľke <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 <i>Hodnotenie</i>. | + | Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]]. |
+ | |||
+ | Dosiahnutie minimálnych bodových hodnotení za jednotlivé aktivity '''nepostačuje''' na absolvovanie predmetu. | ||
<div class="row"> | <div class="row"> | ||
<div class="col-sm-8"> | <div class="col-sm-8"> | ||
− | {| class="alternative" | + | {| class="alternative" id="tab-aktivity" |
|+Aktivity | |+Aktivity | ||
− | ! Aktivita !! Max !! Min !! Poznámka | + | !colspan="2"|Aktivita !! Max !! Min !! Poznámka |
|- | |- | ||
− | |Praktické cvičenia || 30 || 15 || | + | |rowspan="4"|Semester||Praktické cvičenia || 30 || 15 || |
|- | |- | ||
|Rozcvičky || 10 || 5 || | |Rozcvičky || 10 || 5 || | ||
Riadok 115: | Riadok 105: | ||
|Domáce úlohy || 10 || 5 || | |Domáce úlohy || 10 || 5 || | ||
|- | |- | ||
− | |Midterm || 15 || 5 || Opraviteľný o 1 až 2 týždne | + | |Midterm test || 15 || 5 || Opraviteľný o 1 až 2 týždne |
|- | |- | ||
− | |Final || 25 || 10 || | + | |rowspan="2"|Skúška ||Final test || 25 || 10 ||rowspan="2"|Písomnú (final test) a ústnu časť skúšky si nemožno opraviť oddelene. |
|- | |- | ||
− | |Ústna skúška || 10 || | + | |Ústna skúška || 10 || 5 |
|} | |} | ||
</div> | </div> | ||
<div class="col-sm-4"> | <div class="col-sm-4"> | ||
− | {| class="alternative" | + | {| class="alternative" id="tab-hodnotenie" |
|+Hodnotenie | |+Hodnotenie | ||
! Bodové hodnotenie !! Známka | ! Bodové hodnotenie !! Známka | ||
|- | |- | ||
− | | ≥ | + | | ≥ 90 || A |
|- | |- | ||
− | | ≥ | + | | ≥ 80 || B |
|- | |- | ||
− | | ≥ | + | | ≥ 70 || C |
|- | |- | ||
− | | ≥ | + | | ≥ 60 || D |
|- | |- | ||
− | | ≥ | + | | ≥ 50 || E |
|} | |} | ||
</div> | </div> | ||
Riadok 146: | Riadok 136: | ||
;Najlepší riešitelia praktických cvičení | ;Najlepší riešitelia praktických cvičení | ||
− | == Archív noviniek == | + | <!-- == Archív noviniek == --> |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + |
Verzia zo dňa a času 18:18, 10. február 2017
Matematika (4) – Logika pre informatikov 1-AIN-412/15
Obsah
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
Novinky
- 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.
Literatúra
- Vítězslav Švejdar. Logika: neúplnost, složitost a nutnost. Praha: Academia, 2002. Vo fakultnej knižnici; 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. PDF.
Materiály a odovzdávanie riešení úloh
Zadania praktických cvičení a domácich úloh, materiály k prednáškam (na github.com).
Riešenia praktických cvičení a domácich úloh sa odovzdávajú prostredníctvom github-u. Postup vysvetlíme na cvičeniach.
Rozvrh výučby
Druh výučby | Krúžky | Deň | Čas | Miesto | Vyučujúci |
---|---|---|---|---|---|
Prednášky | 2AIN* | pondelok | 11:30 | B | Ján Kľuka |
Teoretické cvičenia | 3AIN*, 2AIN* | pondelok | 16:30 | M-X | TBA |
2AIN2 | utorok | 14:50 | M-VIII | TBA | |
2AIN1 | utorok | 16:30 | M-XII | TBA | |
Praktické cvičenia | 2AIN1, 3AIN* | streda | 14:50 | I-H6 | Jozef Šiška, Juraj Holas |
2AIN2 | streda | 16:30 | I-H3 | Jozef Šiška, Ján Kľuka |
Podmienky absolvovania
Na absolvovanie predmetu je potrebné splniť obe z nasledujúcich podmienok:
- 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 | Praktické cvičenia | 30 | 15 | |
Rozcvičky | 10 | 5 | ||
Domáce úlohy | 10 | 5 | ||
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 |
Ocenenia
- Najlepší riešitelia rozcvičiek
- Najlepší riešitelia domácich úloh
- Najlepší riešitelia praktických cvičení