The study of formal, deductive logic emphasizing the methods for demonstrating the validity of arguments. Includes truth functional propositional logic and quantification theory through the logic of relations.
CS 130: Symbolic Logic
Cross Listed
MATH 130 and PHIL 130
Program
Attributes
Alternate Year,
Natural Sciences Division