# Mathematical Foundations in CS

# Mathematical Foundations in CSΒΆ

This readings are part of CS 270: Mathematical Foundations in CS taught at Drexel University.

The content covered includes Logical Deduction, Predicate Logic, Recursion, and Inductive Proofs.