INFORMAČNÝ LIST PREDMETU | ||||||||||||||
Vysoká škola: Technická univerzita v Košiciach | ||||||||||||||
Fakulta: Fakulta elektrotechniky a informatiky | ||||||||||||||
Pracovisko: Katedra počítačov a informatiky |
||||||||||||||
Kód predmetu: 2615951 | Názov predmetu: Logika pre informatikov | |||||||||||||
Druh, rozsah a metóda vzdelávacích činností: Forma výučby: Prednáška, Cvičenie numerické Odporúčaný rozsah výučby (v hodinách): Denná forma štúdia (hodiny za týždeň): 2,2 Externá forma štúdia (hodiny za semester): 26,26 Metóda štúdia: |
||||||||||||||
Počet kreditov: 6 | ||||||||||||||
Odporúčaný semester štúdia: LS | ||||||||||||||
Odporúčaný semester | Študijný program | Stupeň štúdia | Metóda štúdia | |||||||||||
1.rok LS | Kyberbezpečnosť (KB_Ing_D_sk) Informatika (INF_Ing_D_sk) Počítačové modelovanie (PM_Ing_D_sk) Informatika (INF_Ing_D_en) |
2. 2. 2. 2. |
Prezenčná Prezenčná Prezenčná Prezenčná |
|||||||||||
Stupeň štúdia: | ||||||||||||||
Podmieňujúce predmety: | ||||||||||||||
Podmienky na absolvovanie predmetu: Spôsob hodnotenia a skončenia štúdia predmetu: Zápočet a skúška Priebežné hodnotenie (PH): Študent prospeje v PH a získa zápočet, keď splní podmienku získať min. 16% z 30%. priebežné testy Záverečné hodnotenie (ZH): Študent prospeje v ZH a úspešne vykoná skúšku, keď splní podmienku získať min. 36% z 70%. skúška Celkové hodnotenie: CH je suma hodnotení získaných študentom za hodnotené obdobie. Celkový výsledok sa stanoví v súlade s vnútornými predpismi TUKE. (študijný poriadok, vnútorný predpis zásady doktorandského štúdia) |
||||||||||||||
Výsledky vzdelávania: Cieľom predmetu je oboznámiť študentov s logickými systémami používanými v informatike. Získajú vedomosti o štruktúre logických systémov, ich klasifikácii, o rozdiele medzi klasickou a intuicionistickou logikou, dvojhodnotovými a viachodnotovýni logikami. Osvoja si odvodzovanie v Hilbertovom a Gentzenovom kalkule. Zvládnu princípy lineárnej a temporálnej logiky a ich aplikácie v informatike. Získajú poznatky o dokazovacích systémoch a programovacích jazykoch založených na jednotlivých logikách. |
||||||||||||||
Stručná osnova predmetu: 1. Základné pojmy, logické systémy a ich použitie v informatike. 2. Výroková logika. 3. Klasická a intuicionistická výroková logika. 4. Predikátová logika prvého rádu. 5. Lineárna logika. 6. Dôkazové siete v lineárnej logike. 7. Sémantika lineárnej logiky. 8. Niektoré neklasické logiky. 9. Modálna logika. 10. Temporálna logika. 11. Logiky vyšších rádov, dokazovacie systémy. |
||||||||||||||
Odporúčaná literatúra: 1. V.Švejdar:: Logika. Neúplnost, složitost a nutnost, Academia, Praha, 2002 2. P.Taylor: Practical foundations of mathematics, Cambridge Univ.Press, 1989 3. J.Y.Girard, Y.Lafont, P.Taylor: Proofs and Types, Cambridge Univ.Press, 2003 4. J.-Y.Girard: Linear logic: syntax and semantics. |
||||||||||||||
Odporúčané voliteľné súčasti programu: |
||||||||||||||
Jazyk, ktorého znalosť je potrebná na absolvovanie predmetu: | ||||||||||||||
Poznámky: | ||||||||||||||
Hodnotenie predmetov: Celkový počet hodnotených študentov: 788 |
||||||||||||||
A | B | C | D | E | FX | |||||||||
44% | 22% | 16% | 11% | 3% | 4% | |||||||||
Zabezpečuje: prof. RNDr. Valerie Novitzká, PhD. Ing. Ján Perháč, PhD. |
||||||||||||||
Dátum poslednej zmeny: 01.09.2022 | ||||||||||||||
Schválil: osoba/osoby zodpovedné za študijný program | ||||||||||||||