Mathematical Logic

Mathematics

Advanced Mathematical Logic is an intense study of the theorems of logic as they relate to the structure of mathematics. Starting with Boole's Theorem and truth tables, the course works its way through logical proofs and strategies for evaluating the truth of logical propositions. This course includes tests for the sufficiency of logical operators, equivalence between logical systems and a study of necessary and sufficient conditions. Applications from this course include computer programming, proof writing for advanced math classes, and validity testing for arguments from math and science.

0 reviews