Matematická logika pre kognitívnu vedu 2-IKV-267
Matematická logika pre kognitívnu vedu 2-IKV-267
choď na zoznam všetkých predmetov...
Názov a kód predmetu: | Matematická logika pre kognitívnu vedu (2-IKV-267) |
Prerekvizity: | žiadne |
Vyučuje sa/odporúčaný ročník: | Letný semester / 1 |
Forma a # hodín/týždeň: | P - prednáška (2), C - cvičenie (1) |
Kredity: | 5 |
Hodnotenie (semester/skúška): | 50/50 |
Webstránka predmetu: | chýba |
Informačný list: | Informačný list 2-IKV-267 (fakultná služba) |
Vyučujúci: | prof. RNDr. Pavol Zlatoš, CSc. |
E-mail: | pavol.zlatosfmph.uniba.sk |
Domovská stránka: | chýba |
Popis predmetu:
Pokytnúť študentom základné znalosti o logike vo všeobecnosti a o matematickej logike zvlášť, a oboznámiť ich s niektorými jej aplikáciami v matematike a ich dôsledkami pre filozofické myslenie a kognitívnu vedu.
Je časťou študijného programu: Povinne-voliteľný v Magisterskom programe Kognitívna veda
Odporúčania: žiadne
(Presmerované z Mathematical Logic for Cognitive Science)