· To understand the concepts and operations of matrix algebra needed for computing graphics modeling.
· To understand and apply the class of functions which transform a finite set into another finite set which relates to input output functions in computer science.
To impart discrete knowledge in computer engineering through finite automata and Context free grammars.
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