This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to ... Part I: Proofs, and Mathematical Preliminaries Introduction to Logic, Proofs.