MA 220 Logic
A course to examine the context, history, theory, and application of logic in modern computers. Topics include: symbolic logic, truth and validity, categorical sentences, truth functions, quantification, fallacies, tautologies, boolean algebras, boolean statements, and an introduction to equational logic and theorem proving computer programming languages.
Prerequisite
Sophomore standing or consent of instructor