SYLLABUS
CAT–I: (Finalized Syllabus)
Module 1: Mathematical Logic
Statements and Notation – Connectives – Tautologies – Equivalence – Implications – Normal Forms
– The Theory of Inference for the Statement Calculus – Predicate Calculus – Inference Theory of
the Predicate Calculus.
Module 2: Counting Techniques
Basics of Counting – Pigeonhole Principle – Permutations and Combinations – Inclusion-Exclusion
Principle – Recurrence Relations – Solving Recurrence Relations – Generating Functions.
CAT–II: (Proposed Syllabus)
Module 3: Algebraic Structures and Lattices
Groups – Subgroups – Lagrange’s Theorem – Homomorphism Properties – Group Codes – Partially
ordered Relations – Lattices as Posets – Hasse Diagram – Properties of Lattices – Boolean Algebra.
Module 4: Vector Spaces and Linear Transformations
The Euclidean Space ℝ𝑛 – Vector Space and Subspace – Linear Combination – Span – Linear
Dependence and Independence – Basis and Dimension – Row space – Column space – Null space
– Rank-Nullity Theorem – Linear Transformations – Definition, Properties, Matrix Representation
– Invertibility – Change of Basis.
FAT:
All 5 Modules.
2
QUESTION PAPERS PATTERN
CAT–I (Total = 50 Marks): (Subject to Changes by the Office of Academics, VIT)
5 Questions X 10 Marks = 50 Marks.
Answer ALL the questions.
Q. No. Module Wise Distribution of Questions Marks CO BL
1. Module 1 10 1 1/2/3
Statements – Tautologies – Equivalence – Implications –
Normal Forms.
2. Module 1 10 1 1/2/3
Inference Theory of Statement Calculus.
3. Module 1 10 1 1/2/3
Inference Theory of Predicate Calculus.
4. Module 2 10 2 1/2/3
Pigeonhole Principle – Permutations and Combinations –
Inclusion-Exclusion Principle.
5. Module 2 10 2 1/2/3
Recurrence Relations – Generating Functions.
CAT–II (Total = 50 Marks): (Subject to Changes by the Office of Academics, VIT)
5 Questions X 10 Marks = 50 Marks (Under Open Book Examination Mode).
Answer ALL the questions.
Q. No. Module Wise Distribution of Questions Marks CO BL
1. Module 3 10 3 1/2/3
Lagrange’s Theorem – Homomorphism – Properties – Group
Codes.
2. Module 3 10 3 1/2/3
Partially ordered Relations – Lattices as Posets – Hasse
Diagram.
3. Module 3 10 3 1/2/3
Properties of Lattices – Boolean Algebra.
4. Module 4 10 4 1/2/3
The Euclidean Space ℝ – Vector Space and Subspace – Linear
𝑛
Combination – Span – Linear Dependence and Independence
– Basis and Dimension.
5. Module 4 10 4 1/2/3
Row space – Column space – Null space – Rank-Nullity
Theorem – Linear Transformations – Definition, Properties,
Matrix Representation – Invertibility – Change of Basis.
3
FAT (Total = 100 Marks): (Subject to Changes by the Office of CoE, VIT)
10 Questions X 10 Marks = 100 Marks.
Answer ALL the questions.
Q. No. Module Wise Distribution of Questions Marks CO BL
1. Module 1 10 1 1/2/3
Statements – Inference Theory of the Statement Calculus –
Normal Forms.
2. Module 1 10 1 1/2/3
Inference Theory of the Predicate Calculus.
3. Module 2 (Internal Choice) 10 2 1/2/3
Pigeonhole Principle – Permutations and Combinations –
Inclusion-Exclusion Principle.
4. Module 2 10 2 1/2/3
Recurrence Relations – Generating Functions.
5. Module 3 10 3 1/2/3
Groups – Lagrange’s Theorem –
Homomorphism – Properties –
Group Codes.
6. Module 3 10 3 1/2/3
Partially Ordered Relations – Hasse Diagram – Lattices as
POSETS – Properties of Lattices – Boolean Algebra
7. Module 4 10 4 1/2/3
The Euclidean Space ℝ𝑛 – Vector Space and Subspace – Linear
Combination – Span – Linear Dependence and Independence –
Basis and Dimension
8. Module 4 10 4 1/2/3
Row space – Column space – Null space – Rank-Nullity Theorem
– Linear Transformations – Definition, Properties, Matrix
Representation – Invertibility – Change of Basis.
9. Module 5 10 5 1/2/3
Dot and inner products – Length of a vector – Angle between
vectors –
Matrix representation of inner products.
10. Module 5 (Internal Choice) 10 5 1/2/3
Gram-Schmidt orthogonalization – Orthonormal basis –
Quadratic forms and their nature – Positive definite – Negative
definite – Indefinite forms.