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.