d (Výmena sekcií s literatúrou a našimi materiálmi, doplnenie predtym skrytych/odstranenych liniek na github) |
|||
Riadok 11: | Riadok 11: | ||
== Novinky == | == Novinky == | ||
+ | ;19. 3. 2018 | ||
+ | : '''Zrušili sme''' praktické cvičenia v stredu o 16:30 (po dohode na prednáške); využívajte cvičenia v utorok o 18:10. | ||
+ | : '''Náhradu cvičení z 1. a 8. mája''' sme dohodli na '''stredy 2. a 9. mája''' nasledovne: | ||
+ | :* 14:50 M-I – krúžok 2AIN1, cvičiaci J. Kľuka | ||
+ | :* 16:30 M-IX – krúžok 2AIN2, cvičiaci M. Homola | ||
+ | :* 16:30 M-XI – krúžok 2AIN3, cvičiaca J. Pukancová | ||
+ | : '''Midterm test''' bude v utorok 10. apríla o 18:10 v posluchárni A | ||
;21. 2. 2018 | ;21. 2. 2018 | ||
: Upravili sme [[#Podmienky absolvovania|podmienky absolvovania predmetu]]. | : Upravili sme [[#Podmienky absolvovania|podmienky absolvovania predmetu]]. | ||
Riadok 70: | Riadok 77: | ||
|- | |- | ||
|rowspan="2"| Praktické cvičenia | |rowspan="2"| Praktické cvičenia | ||
− | |2AIN2, 2AIN3 | + | |<ins>2AIN1, </ins>2AIN2, 2AIN3 |
|utorok | |utorok | ||
|16:30 | |16:30 | ||
|I-H6 | |I-H6 | ||
− | |[[Jozef Siska|Jozef Šiška]], [[Peter Gergel|Peter Gergeľ]] | + | |[[Jozef Siska|Jozef Šiška]], [[Peter Gergel|Peter Gergeľ]]<ins>, [[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]]</ins> |
|- | |- | ||
− | |2AIN1 | + | |<del>2AIN1</del> |
− | |streda | + | |<del>streda</del> |
− | |14:50 | + | |<del>14:50</del> |
− | |I-H6 | + | |<del>I-H6</del> |
− | |[[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]] | + | |<del>[[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]]</del> |
|- | |- | ||
|Konzultácie | |Konzultácie |
Verzia zo dňa a času 15:04, 19. marec 2018
Matematika (4) – Logika pre informatikov 1-AIN-412
Obsah
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
Novinky
- 19. 3. 2018
- Zrušili sme praktické cvičenia v stredu o 16:30 (po dohode na prednáške); využívajte cvičenia v utorok o 18:10.
- Náhradu cvičení z 1. a 8. mája sme dohodli na stredy 2. a 9. mája nasledovne:
- 14:50 M-I – krúžok 2AIN1, cvičiaci J. Kľuka
- 16:30 M-IX – krúžok 2AIN2, cvičiaci M. Homola
- 16:30 M-XI – krúžok 2AIN3, cvičiaca J. Pukancová
- Midterm test bude v utorok 10. apríla o 18:10 v posluchárni A
- 21. 2. 2018
- Upravili sme podmienky absolvovania predmetu.
- 18. 2. 2018
- Výučba predmetu sa začne prednáškou v pondelok 19. februára.
Sady úloh a ďalšie materiály
Sady úloh, materiály k prednáškam, zbierka úloh (na github.com).
Riešenia praktických častí sád úloh odovzdávajte prostredníctvom github-u. Dodržiavajte pravidlá pre sady úloh.
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. PDF.
- 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.
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 | 2AIN1, 2AIN2, 2AIN3 | utorok | 16:30 | I-H6 | Jozef Šiška, Peter Gergeľ, Ján Kľuka, Viktor Kocur |
Konzultácie | 2AIN* | streda | 13:10–14:40 | I-16, I-7 | podľa možností |
Na teoretické cvičenia odporúčame doniesť si zariadenie na čítanie elektronických materiálov k predmetu (notebook, tablet, príp. inteligentný telefón).
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.
- Získať aspoň 50%-né hodnotenie z teoretickej časti každej sady úloh pri dodržaní termínov odovzdania a pravidiel pre sady úloh.
- Nedostatočné, nečitateľné alebo príliš rozsiahle riešenia vrátime.
- Študent(ka) má 2-krát za semester právo vrátené riešenie prepracovať a znova odovzdať do 3 dní.
- Z každej ďalšej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci Min v tabuľke Aktivity.
- Celkovo získať aspoň 50 bodov. Súčet miním nepostačuje na absolvovanie predmetu!
Známka sa následne určí podľa tabuľky Hodnotenie.
Aktivita | Max | Min | Poznámka | |
---|---|---|---|---|
Semester | Sady úloh – teoretická časť | 20 | 50 % z každej sady úloh | Hodnotíme 1 vopred určenú úlohu a 1 úlohu vyžrebovanú po termíne odovzdania |
Sady úloh – praktická časť | 30 | 15 | Počíta sa 10 najvyššie hodnotených úloh | |
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 |
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.
- 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