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
- 12. 4. 2016
- Opravný midterm sa uskutoční v utorok 19. apríla od 18:10 v posluchárni F1. Na opravný midterm je potrebné prihlásiť sa cez AIS v čase od utorka 12. apríla 12:00 do pondelka 18. apríla 13:10. Pre študentov prihlásených na opravný midterm platí hodnotenie, ktoré z neho získajú (aj keby bolo nižšie ako z riadneho midtermu alebo nulové z dôvodu neúčasti).
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 |
Ocenenia
- Najlepší riešitelia rozcvičiek
- Najlepší riešitelia domácich úloh
- Najlepší riešitelia praktických cvičení
Archív noviniek
- 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.