Matematika (4) – Logika pre informatikov 1-AIN-412/15
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
- 21. 3. 2016
- Midterm z Matematiky 4 prebehne v stredu 6. apríla 2016 o 18:10 v posluchárni A.
- Teoretické cvičenia krúžkov 2AIN1 a 2AIN3, ktoré by odpadli v utorok 29. marca, sa nahrádzajú vopred, na praktických cvičeniach v stredu 23. marca o 14:50. Stretneme sa v H6 a rozdelíme sa podľa krúžkov.
- 18. 3. 2016
- Opravili a spresnili sme zadanie 2. domácej úlohy. Vytvorili sme vo vašich repozitároch vetvu s priečinkom pre jej elektronické odovzdanie. Termín odovzdania sme posunuli na 30. marca 2016. Detaily nájdete v zadaní.
- 6. 3. 2016
- Zverejnili sme naše témy ročníkových projektov.
- Vytvorili sme vo Vašich repozitároch priečinok a vetvu pre elektronické odovzdanie 1. domácej úlohy.
- 15. 2. 2016
- Výučba predmetu sa začne v týždni od 22. februára z dôvodu solidárneho štrajku väčšiny vyučujúcich.
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.
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 | 2AIN1 | utorok | 14:50 | M-VII | Ján Kľuka |
| 2AIN3 | utorok | 16:30 | M-VII | Martin Homola | |
| 2AIN2 | streda | 14:00 | M-XII | Júlia Pukancová | |
| Praktické cvičenia | 2AIN1, 2AIN3 | streda | 14:50 | I-H6 | Jozef Šiška, Ján Kľuka |
| 2AIN2 | štvrtok | 8:10 | I-H3 | Jozef Šiška |
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: zoznam študentov, rozvrh;
- 2AIN2: zoznam študentov, rozvrh;
- 2AIN3: zoznam študentov, rozvrh.
Rozvrh predmetu na candle.fmph.uniba.sk.
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.
| Aktivita | Max | Min | Poznámka |
|---|---|---|---|
| Praktické cvičenia | 30 | 15 | |
| Rozcvičky | 10 | 5 | |
| Domáce úlohy | 10 | 5 | |
| Midterm | 15 | 5 | Opraviteľný o 1 až 2 týždne |
| Final | 25 | 10 | Opraviteľný ako skúška |
| Ústna skúška | 10 | 0 | Minimum pre uznanie ústnej skúšky: 3 body |
| Bodové hodnotenie | Známka |
|---|---|
| ≥ 90 | A |
| ≥ 80 | B |
| ≥ 70 | C |
| ≥ 60 | D |
| ≥ 50 | E |