Mathematical Logic for Cognitive Science 2-IKV-267
Mathematical Logic for Cognitive Science 2-IKV-267
| Course name and code: | Mathematical Logic for Cognitive Science (2-IKV-267) |
| Prerequisite courses: | none |
| Available in/recommended study year: | Summer semester / 1 |
| Form and # of hours/week: | L - lecture (2), P - practicals (1) |
| Credits: | 5 |
| Evaluation (semester/exam): | 50/50 |
| Course webpage: | not available |
| Information sheet: | 2-IKV-267 information sheet |
| Teacher(s): | prof. RNDr. Pavol Zlatoš, CSc. |
| E-mail: | pavol.zlatos fmph.uniba.sk
|
| Homepage(s): | not available |
Short description:
Provide basic knowledge about logic in general and mathematical logic in particular, its applications in mathematics and some consequences in philosophy and cognitive science.
Offered in these study programs: Obligatory-optional in Master program in Cognitive Science
Recommendations: none