Free Stuff in These Categories
Find More Titles by
Title Details
Description
Formal logic as a tool for mathematical proofs. Propositional calculus: Boolean expressions, logic connectives, axioms, and theorems. Predicate calculus: universal and existential quantification, modeling English propositions. Set theory. Introduction to mathematical induction.
People Who Liked Formal Methods Also Liked These Free Titles: