This Course enables the students to
Course Outcome (at course level) | Learning and teaching strategies | Assessment Strategies |
---|---|---|
On completion of this course, the students will; CO126.Understand truth tables and apply the concept of logical equivalence, its relationship to equivalent Normal Forms. Apply rules in inference theory, and extend this to propositional calculus. CO127. Solve problems related to Pigeonhole Principle, Principles of Inclusion-Exclusion, Mathematical induction, Recurrence relations. CO128.Understand partially ordered sets, lattices and their types; analyse and solve problems related to Boolean algebra and Boolean functions. CO129.Use graphs as representing relations, Identify isomorphism invariants of graphs, and algorithms for relations based on graphs. CO130.Identify applications of graphs and trees in real world scenario. | Approach in teaching: Discussion, Demonstration, Action Research, Project. Learning activities for the students: Field activities, Presentation, Giving tasks | Class test, Semester end examinations, Quiz, Solving problems in tutorials, Assignments, Presentation. |
Propositional logic: Proposition logic, basic logic, logical connectives, truth tables, tautologies, contradiction, normal forms (conjunctive and disjunctive), modus ponens and modus tollens, validity, predicate logic, universal and existential quantification. Notion of proof: proof by implication, converse, inverse, contrapositive, negation, and contradiction, direct proof, proof by using truth table, proof by counter example
Pigeonhole Principle, Principles of Inclusion-Exclusion, Mathematical induction, Recurrence relation.
Relation & Diagraphs: Product sets & Partitions, Relations & diagraphs, paths in relation & diagraphs, properties of relations, Equivalence relations.
Ordered Relations & Structures: Partially ordered sets, external elements of partially ordered sets, Lattices & Boolean Algebra: Relation to partial ordering, lattices, Hasse Diagram, Axiomatic definition of Boolean algebra as algebraic structures with two operations basic results truth values and truth tables, the algebra of propositional functions, Boolean algebra of truth values.
Graphs Theory: Introduction to graphs, Graph terminology, Representing Graphs and Graph Isomorphism, Connectivity. Directed and undirected graphs and their matrix representations, reachability, Chains, Circuits, Eulers paths and cycles, Hamiltonian paths and cycles.
Minima's Path Application (Flow charts and state transition Graphs, Algorithm for determining cycle and minimal paths), Graph coloring, shortest path algorithm (Djikstras algorithm). Trees: Introduction, labeled trees, m-ary trees, undirected trees, properties of tree, Trees, Binary trees, Binary search trees and traversals, Spanning tree, Minimal spanning tree (Prim’s algorithm).
E-RESOURCES:
JOURNALS: