Mathematical Logic for Cognitive Science 2-IKV-267
go to list of all courses...
|Course name and code:
||Mathematical Logic for Cognitive Science (2-IKV-267)
|Available in/recommended study year:
||Summer semester / 1
|Form and # of hours/week:
||L - lecture (2), P - practicals (1)
||2-IKV-267 information sheet
||prof. RNDr. Pavol Zlatoš, CSc.
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