Discrete Mathematics

Unit I:Set Theory and Logic   (09 Hours)

Discrete Mathematics, Significance of Discrete Mathematics in Computer Engineering, Sets–Naïve Set Theory (Cantorian Set Theory), Axiomatic Set Theory, Need for Sets, Representation of Sets, Set Operations, cardinality of set, principle of inclusion and exclusion, Types of Sets –Countable and Uncountable Sets, Finite and Infinite Sets, Countably Infinite and Uncountably Infinite Sets. Introduction to bounded and unbounded sets and multiset. Countability of Rational Numbers Using Cantor Diagonalization Argument, power set. Propositional Logic- logic, Propositional Equivalences, Application of Propositional Logic-Translating English Sentences, Proof by Mathematical Induction and Strong Mathematical Induction.

Unit II:Relations and Functions  (09 Hours)

Relations and Their Properties, n-ary Relations and Their Applications, Representing Relations ,Closures of Relations, Equivalence Relations, Partial Orderings, partitions, Hasse Diagram,Lattices, Chains and Anti-Chains, Transitive Closure and Warshall‘s Algorithm, n-Ary Relationsand their Applications. Functions- Surjective, Injective and Bijective functions, Inverse Functions and Compositions of Functions, The Pigeonhole Principle.

Unit III:Counting    (09 Hours)

The Basics of Counting, rule of Sum and Product, Permutations and Combinations, Binomial Coefficients and Identities, Generalized Permutations and Combinations, Algorithms for generating Permutations and Combinations.

Unit IV:Graph Theory
(09 Hours)

Graphs and Graph Models, Graph Terminology and Special Types of Graphs, Representing Graphs and Graph Isomorphism, Connectivity, Euler and Hamilton Paths, Single source shortest path- Dijkstra's Algorithm, Planar Graphs, Graph Colouring. Case Study- Web Graph, Google map.

Unit V:Trees
(09 Hours)

Introduction, properties of trees, Binary search tree, decision tree, prefix codes and Huffman coding, cut sets, Spanning Trees and Minimum Spanning Tree, Kruskal‘s and Prim‘s algorithms, The Max flow- Min Cut Theorem (Transport network). Case Study- Game Tree, Mini-Max Tree.

Unit VI:Algebraic Structures and Coding Theory   (09 Hours)

The structure of algebra, Algebraic Systems, Semi Groups, Monoids, Groups, Homomorphism and Normal Subgroups, and congruence relations, Rings, Integral Domains and Fields, coding theory, Polynomial Rings and polynomial Codes, Case Study- Brief introduction to Galois Theory –Field Theory and Group Theory.

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
228k v. 2 Jul 18, 2018, 11:07 PM Sandip Walunj
Ċ
290k v. 2 Aug 31, 2018, 1:40 AM Sandip Walunj
Ċ
290k v. 2 Sep 24, 2018, 1:57 AM Sandip Walunj
Ċ
290k v. 2 Sep 24, 2018, 1:57 AM Sandip Walunj
Ċ
290k v. 2 Sep 24, 2018, 1:57 AM Sandip Walunj
Ċ
290k v. 2 Sep 24, 2018, 1:57 AM Sandip Walunj
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
71k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
87k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
75k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
28k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
193k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
66k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
89k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
34k v. 5 Jun 29, 2018, 9:13 PM Sandip Walunj
Ċ
120k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
Ċ
187k v. 4 Jun 29, 2018, 9:13 PM Sandip Walunj
Ċ
36k v. 2 Jun 9, 2018, 3:23 AM Sandip Walunj
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
1705k v. 2 Jul 20, 2018, 2:04 AM Sandip Walunj
Ċ
9248k v. 2 Jul 20, 2018, 2:04 AM Sandip Walunj
Ċ
2606k v. 2 Jun 29, 2018, 9:06 PM Sandip Walunj
Ċ
13462k v. 2 Jun 30, 2018, 12:36 AM Sandip Walunj
Ċ
1856k v. 2 Jun 29, 2018, 9:06 PM Sandip Walunj
Ċ
1040k v. 2 Jun 29, 2018, 9:06 PM Sandip Walunj
Ċ
9551k v. 2 Jun 20, 2018, 10:57 PM Sandip Walunj
Ċ
13706k v. 2 Jun 29, 2018, 9:13 PM Sandip Walunj
Ċ
6169k v. 2 Oct 6, 2018, 3:51 AM Sandip Walunj
Ċ
1626k v. 2 Oct 6, 2018, 3:51 AM Sandip Walunj
Ċ
19135k v. 2 Sep 24, 2018, 1:57 AM Sandip Walunj
Ċ
13021k v. 2 Aug 20, 2018, 4:17 AM Sandip Walunj
Ċ
3379k v. 2 Jun 29, 2018, 9:06 PM Sandip Walunj
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
145k v. 2 Aug 20, 2018, 4:20 AM Sandip Walunj
Ċ
181k v. 2 Aug 20, 2018, 4:20 AM Sandip Walunj
Ċ
872k v. 2 Aug 20, 2018, 4:37 AM Sandip Walunj
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
314k v. 3 Sep 19, 2018, 12:32 AM Sandip Walunj
Ċ
315k v. 2 Sep 24, 2018, 1:58 AM Sandip Walunj
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
97k v. 2 Jun 23, 2018, 1:52 AM Sandip Walunj
Ċ
115k v. 2 Jun 23, 2018, 1:52 AM Sandip Walunj