MTL180
| MTL180 | |
|---|---|
| Discrete Mathematical Structures | |
| Credits | 4 |
| Structure | 3-1-0 |
| Pre-requisites | |
| Overlaps | COL202 |
MTL180 : Discrete Mathematical Structures
[edit]Logic : Propositional Logic: language of propositional logic, truth table, natural deduction, predicate logic: language of predicate logic, Logical inference with Quantifiers. Proof techniques: Introduction to different standard proof techniques. Set Theory: Review of Basic Set Operations, cardinality of a set. Relations : Types of relations, operations of relations and applications, Poset, topological ordering; Congruence arithmetic; Combinatorics: Counting techniques: Pigeon Hole principle, inclusion exclusion principle, recurrence relation and generating function; Graph Theory : Graph as a discrete structure, Modeling applications using graphs, Hamiltonian graphs, Planar graphs, Graph coloring, Matching.