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