Mathematical Foundations of Computer Science
Mathematical Foundations in CS
Formal Logic
Formal Logic
Proof by Deduction
Proof by Contradiction
Deduction Examples
First Order Logic
Predicates and Quantifiers
FOL Rules
Racket
The Racket Language
Lists in Racket
Equational Reasoning
Recursive Functions
High Order Functions
Induction
Inductive Thinking
Induction
Counting
List Induction
Simplification
Boolean Evaluation
Normal Forms
Simplification
Theory Of Computation
SAT Solvers
NP Complete
References
References
Logo Explained
Index