MTL180: Difference between revisions
| [checked revision] | [checked revision] |
Prashantt492 (talk | contribs) Creating course page via bot |
Bot: wrap bare course codes in wikilinks |
||
| Line 5: | Line 5: | ||
| credit_structure = 3-1-0 | | credit_structure = 3-1-0 | ||
| pre_requisites = | | pre_requisites = | ||
| overlaps = COL202 | | overlaps = [[COL202]] | ||
}} | }} | ||
== MTL180 : Discrete Mathematical Structures == | == MTL180 : Discrete Mathematical Structures == | ||
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. | 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. | ||
Latest revision as of 16:42, 14 April 2026
| MTL180 | |
|---|---|
| Discrete Mathematical Structures | |
| Credits | 4 |
| Structure | 3-1-0 |
| Pre-requisites | |
| Overlaps | COL202 |
MTL180 : Discrete Mathematical Structures
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.