Held M. Discrete Mathematics for Computer Science 2025

Textbook in PDF format

Computational Geometry and Applications Lab.
Introduction
Propositional and Predicate Logic
Definitions and Theorem Proving
Numbers and Basics of Number Theory
Principles of Elementary Counting and Combinatorics
Complexity Analysis and Recurrence Relations
Graph Theory
Cryptography