Ads block

Aktu Notes | Discrete Structure & Theory of Logic Notes | DSTL Notes


Aktu Notes | Discrete Structure & Theory of Logic Notes | DSTL Notes



[DSTL] Discrete Structure & Theory of Logic Notes Unit 1 LINK

[DSTL] Discrete Structure & Theory of Logic Notes Unit 2 LINK

[DSTL] Discrete Structure & Theory of Logic Notes Unit 3 LINK

[DSTL] Discrete Structure & Theory of Logic Notes Unit 4 LINK

[DSTL] Discrete Structure & Theory of Logic Notes Unit 5 LINK

_______________________

Syllabus


UNIT 1
Set Theory& Relations: Introduction, Combination of sets. Relations: Definition, Operations on relations, Properties of relations, Composite Relations, Equality of relations, Recursive definition of relation, Order of relations.

POSET & Lattices: Hasse Diagram, POSET, Definition & Properties of lattices - Bounded, Complemented, Distributed, Modular and Complete lattice.


UNIT 2
Functions: Definition, Classification of functions, Operations on functions. Growth of Functions.

Boolean Algebra: Introduction, Axioms and Theorems of Boolean algebra, Algebraic manipulation of Boolean expressions. Simplification of Boolean Functions, Karnaugh maps.


UNIT 3
Theory of Logics: Proposition, Truth tables, Tautology, Satisfiability, Contradiction, Algebra of proposition, Theory of Inference. Predicate Logic: First order predicate, well- formed formula of predicate, quantifiers, Inference theory of predicate logic.


UNIT 4
Algebraic Structures: Definition, Groups, Subgroups and order, Cyclic Groups, Cosets, Lagrange's theorem, Normal Subgroups, Permutation and Symmetric groups, Group Homomorphisms, Definition and elementary properties of Rings and Fields.


UNIT 5
Graphs: Definition and terminology, Representation of graphs, Multigraphs, Bipartite graphs, Planar graphs, Isomorphism and Homeomorphism of graphs, Euler and Hamiltonian paths, Graph coloring.

Combinatorics: Introduction, Counting Techniques, Pigeonhole Principle