Úvod do logiky
Ročník, rozsah, kredity
| Stupeň |
Stupeň
Bc.
|
| Semester |
Číslo semestra
II. LS
|
| Rozsah |
Rozsah
2P / 2CV
|
| Kredity |
Počet kreditov
6
|
(1) Výroková logika - sémantika, syntax.
(2) Predikátová logika - sémantika, syntax.
Prednášajúci:
Cvičiaci:
[1] Skřivánek, J. : Matematická logika, u-learn portál
[2] Kvasnička, V. - Pospíchal, J. : matematická logika, STU Bratislav, 2006a
[3] Sochor, A. : Klasická matematická logika, karolínum, Praha, 2001
[4] Švejdar, V. : Logika, Academia, Praha 2002
[5] Bučko, M. - Klešč, M. : Diskrétna matematika, Edičné stredisko TU Košice, 1991
[6] Draženská, E. - Myšková, H. : Matematická logika, Equilibria, Košice 2014
Učebnice a skriptá v elektronickej podobe sú k dispozícii v okne "Prílohy".
Podmienky zápočtu:
Získanie minimálne 51 bodov z 100 možných, získanie minimálne 30% bodov z každej zápočtovej písomky
- 3 zápočtové písomky, súčet bodov max. 100
- Každá zápočtová písomka má 1 opravný termín.
- V prípade, že študent po absolvovaní opravných písomiek získa v súčte menej ako 51 bodov, má možnosť písať jednu súhrnnú písomku v hodnote max. 100 bodov.
Účasť na prednáškach aj cvičeniach je povinná. Počas semestra sa akceptujú maximálne 3 ospravedlnené neúčasti na výuke.
Upozornenie:
Študent má v zmysle študijného poriadku nárok na opravu zápočtovej písomnej práce. Účasť na cvičeniach je povinná a je potrebné sa riadiť pokynmi, ktoré sú v dokumentoch: Informovanie o neúčasti na výuke, priebežnom a záverečnom hodnotení a Osobná zodpovednosť študentov za študijné výsledky.
Podmienky skúšky:
...