The course will enable the students to
Course Learning Outcomes (CLOs):
Learning Outcome (at course level) Students will be able to: | Learning and teaching strategies | Assessment Strategies |
| Approach in teaching: Interactive Lectures, Discussion, Tutorials, Demonstration
Learning activities for the students: Self-learning assignments, Effective questions, Quizzes, Presentations, Discussions
|
|
Matrices, Rank of Matrix, Solving System of Equations, Eigen Values and Eigen Vectors, Inverse of a Matrix, Cayley Hamilton Theorem
Set theory, Principle of inclusion and exclusion, partitions, Permutation and Combination, Relations, Properties of relations, Matrices of relations, Closure operations on relations, Functions- injective, subjective and objective functions.
Propositions and logical operators, Truth table, Propositions generated by a set, Equivalence and implication, Basic laws, Functionally complete set of connectives, Normal forms, Proofs in Propositional calculus, Predicate calculus.
Languages and Grammars-Phrase Structure Grammar-Classification of Grammars, Pumping Lemma For Regular Languages, Context Free Languages.
Finite State Automata-Deterministic Finite State Automata(DFA), Non Deterministic Finite State Automata (NFA), Equivalence of DFA and NFA, Equivalence of NFA and Regular Languages