Skip to main content

Ctrl+K

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

Search

Ctrl+K

By Mark Boady

© Copyright 2023.