CGSC 5103
Formal Methods
The class introduces students to various formal methods relevant to cognitive science, possibly including (but not limited to) formal logic, the theory of computation, probability theory, decision theory.
Topics
- (but not limited to) formal logic
- theory of computation
- probability theory
- decision theory
Course catalogue
Prerequisites & course information
Precludes additional credit for CGSC 5102. Prerequisite(s): permission of the department. Seminar.