DMTH137 Discrete Mathematics

This is a course on discrete mathematics that discusses the mathematics behind computing science.

It includes chapters on logic, set theory and strings and languages. There are some chapters on finite-state machines, some chapters on Turing machines and computability, and a couple of chapters on codes.

[Please note that all links are to Adobe .pdf documents. They will open in a separate browser window.]

·         Introduction and Table of Contents

·         Chapter 1: Logic

·         Chapter 2: Numbers and Divisibility

·         Chapter 3: Sets, Functions, Relations and Strings

·         Chapter 4: Proofs

·         Chapter 5: Counting

·         Chapter 6: Graphs

·         Chapter 7: Graph Algorithms

·         Chapter 8: Boolean Algebras