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
- 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 (github.com).
Riešenia praktických cvičení a domácich úloh sa odovzdávajú prostredníctvom github.com. 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 |