Print and PDF Options

CGSC 5103 [0.5 credit] 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.
Precludes additional credit for CGSC 5102.
Prerequisite(s): permission of the department.
Seminar.