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.