# DISCRETE MATHEMATICS

 Course Code : BSCM1211 Author : uLektz University : Biju Patnaik University of Technology (BPUT) Regulation : 2010 Categories : Computer Science Format : ePUB3 (DRM Protected) Type : eBook

FREE

Description :DISCRETE MATHEMATICS of BSCM1211 covers the latest syllabus prescribed by Biju Patnaik University of Technology (BPUT) for regulation 2010. Author: uLektz, Published by uLektz Learning Solutions Private Limited.

Note : No printed book. Only ebook. Access eBook using uLektz apps for Android, iOS and Windows Desktop PC.

##### Topics
###### UNIT I PROPOSITIONAL LOGIC AND RECURRENCE RELATION

1.1 Propositional logic, Propositional Equivalence, Predicates and Quantifiers, Nested Quantifiers

1.2 Rules of Inference, Proof methods and Strategies, Sequences and Summations, Mathematical Induction

1.3 Recursive definition and structural induction, Program Correction

1.4 Recurrence relation, Solution to recurrence relation, Generating functions

1.5 Inclusion and exclusion, Application of Inclusion and Exclusion Principle, Relation and their properties

1.6 Closure of relations, Equivalence relations, Partial orderings

###### UNIT II INTRODUCTION TO GRAPH THEORY

2.1 Introduction to graph theory, Graph terminology, Representation of graphs

2.2 Isomorphism, Connectivity, Euler and Hamiltonian paths, Shortest path problems, Planar graph, Graph coloring

2.3 Introduction to trees, Application of trees, Tree Traversal, Minimum Spanning tree.

###### UNIT III SEMI GROUPS AND ALGEBRAIC SYSTEMS

3.1 Semi groups, Monoids, Groups, Subgrorups, Cosets, Lagrange theorem, Permuation groups, Group codes, isomorphism, Homomorphisms, Normal subgroups, Rings

3.2 Integral Domain and Fields

3.3 Algebraic systems, Lattices, Distributive and Complemented Lattices

3.4 Boolean Lattices and Boolean Algrebra, Boolean Functions and Boolean Expressions.