Discrete Mathematics for Computer Science

Chapter 1: Mathematical Logic

Introduction to propositional logic, proof techniques, and set theory

• 1.1 Propositional Logic
• 1.2 First-Order Logic
• 1.3 Arguments and Proofs

Chapter 2: Set Theory

Introduction to elementary and axiomatic set theory, relations, functions, and cardinality

• 2.1 Naive Set Theory
• 2.2 Functions and Relations
• 2.3 Countability and Cardinality
• 2.4 Zermelo-Fraenkel Set Theory

Chapter 3: Number Theory

Elementary and analytic number theory, modular arithmetic, and applications to cryptography