Name: Notes for Discrete Mathematics DMS by Verified Writer
Rating: 4.1 (264 reviews)
Author: Verified Writer

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

Propositional Logic And Quantifiers

Rules of Inference, Proof methods and Strategies, Sequences and Summations,

Rules Of Inference And Proof Methods

Mathematical Induction, Recursive definition, structural induction, Program Correction

Mathematical Induction And Recursive Definition

Recurrence relation, Solution to recurrence relation

Recurrence Relation

Generating Functions

Inclusion and exclusion, Application of Inclusion and Exclusion Principle, Relation and their properties, Closure of relations, Equivalence relations, Partial orderings

Relation And Properties

Semi groups, Monoids, Groups, Subgrorups, Cosets, Lagrange theorem, Permuation groups, Group codes, isomorphism, Homomorphisms, Normal subgroups, Rings, Integral Domain and Fields

Group Theory

Algebraic systems, Lattices, Distributive and Complemented Lattices, Boolean Lattices and Boolean Algrebra, Boolean Functions and Boolean Expressions,

Lattice

Introduction to Graph Theory, Graph terminology, Representation of graphs, Isomorphism, Connectivity, Euler and Hamiltonian paths, Shortest path problems, Planar graph, Graph coloring, Introduction to trees, Application of trees, Tree Traversal, Minimum Spanning tree,

Graph Theory

Earlier version we could directly go yo the topic we want to refer but now it not available 

Notes for Discrete Mathematics - DMS by Verified Writer

BPUT ·

DMS