Discrete Mathematical Structures

Overview

What is Discrete Mathematics - Propositional Logic - Predicates & Quantifiers - Logical Inference - Resolution Principles & Application to PROLOG - Methods of Proof- Normal Forms - Proving programs correct - Sets - Induction - Set Operations on Strings Over an Alphabet - Relations - Graphs - Trees - Special Properties of Relations - Closure of Relations - Order and Relations and Equivalence Relations: Equivalence relations and partitions - Functions - Pigeon hole Principle - Permutations and combinations - Generating Functions- Recurrence Relations - Algebras - Finite State Automaton - Lattices