Resources

Find all the resources you need for CS-302 - Discrete Structure of your B.Tech journey.

CS-302 - Discrete Structure


Syllabus

Unit 1

Set Theory, Relations, and Theorem Proving :

UNIT 1: Set Theory: Definition of sets, countable and uncountable sets, Venn Diagrams, proofs of general identities on sets. Relation: Definition, types of relation, composition, Pictorial representation, Equivalence relation, Partial ordering, Job-Scheduling. Function: Definition, types of functions, inverse and composition, pigeonhole principle. Theorem Proving: Mathematical induction, Proof by contradiction.

Unit 2

Algebraic Structures and Groups :

UNIT 2: Algebraic Structures: Semi Groups, Monoid, Groups, Abelian groups, Subgroups, cyclic groups, Cosets, factor group, Permutation groups, Normal subgroup, Homomorphism and isomorphism of Groups. Rings and Fields: definition and standard results.

Unit 3

Propositional Logic and Finite State Machines :

UNIT 3: Propositional Logic: Proposition, First order logic, logical operations, truth tables, tautologies, Contradictions, Algebra of Proposition, logical implications, equivalence, predicates, Normal Forms, quantifiers. Finite State Machines: models of physical systems, language recognition.

Unit 4

Graph Theory and Algorithms :

UNIT 4: Graph Theory: Basic terminology, Planar graphs, Multigraphs, weighted graphs, Isomorphic graphs, Paths, Cycles, connectivity, Shortest path in weighted graphs. Eulerian paths, Hamiltonian circuits, Graph coloring, chromatic number, Isomorphism, and Homomorphism.

Unit 5

Posets, Lattices, and Recurrence Relations :

UNIT 5: Posets and Lattices: Ordered sets, Hasse diagrams, properties of Lattices, bounded and complemented lattices. Combinatorics: Permutations, combinations, Binomial Theorem, Recurrence Relations: Linear recurrence relations, Recursive algorithms, Generating functions.

Unit 1

Set Theory, Relations, and Theo...

Unit 2

Algebraic Structures and Groups...

Unit 3

Propositional Logic and Finite ...

Unit 4

Graph Theory and Algorithms

Unit 5

Posets, Lattices, and Recurrenc...