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