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

Powered by Jupyter Book

Contents

The Sierpinksi Triangle
Recursive Implementation
Random Generation

Logo Explained

Contents

The Sierpinksi Triangle
Recursive Implementation
Random Generation

Logo Explained¶

The Sierpinksi Triangle¶

Recursive Implementation¶

Random Generation¶

previous

References

By Mark Boady
© Copyright 2021.