Logic and Formal Reasoning

1 Course Unit

This course offers an introduction to three major types of formal reasoning: deductive, inductive (probabilistic and statistical), and practical (decision-making). The course will begin with the study of classical sentential and predicate logics. It will move on to elementary probability theory, contemporary statistics, decision theory and game theory. Spring 1 Course Unit