Sl.No Chapter Name English
1Propositional LogicPDF unavailable
2Propositional Logic (Contd.)PDF unavailable
3Predicates & QuantifiersPDF unavailable
4Predicates & Quantifiers (Contd.)PDF unavailable
5Logical InferencePDF unavailable
6Resolution Principles & Application to PROLOGPDF unavailable
7Methods of ProofPDF unavailable
8Normal FormsPDF unavailable
9Proving programs correct (Contd.)PDF unavailable
10SetsPDF unavailable
11InductionPDF unavailable
12Set Operations On StringsPDF unavailable
13RelationsPDF unavailable
14GraphsPDF unavailable
15Graphs (Continued)PDF unavailable
16TreesPDF unavailable
17Trees And GraphsPDF unavailable
18Special Properties Of RelationsPDF unavailable
19Closure Of RelationsPDF unavailable
20Closure Properties Of RelationsPDF unavailable
21Order RelationsPDF unavailable
22Order Relations And Equivalence RelationsPDF unavailable
23Equivalence Relations And PartitionsPDF unavailable
24FunctionsPDF unavailable
25Functions (Continued)PDF unavailable
26Functions (Continued)PDF unavailable
27Pigeonhole PrinciplePDF unavailable
28Permutations And CombinationsPDF unavailable
29Permutations And Combinations (Continued)PDF unavailable
30Generating FunctionsPDF unavailable
31Generating Functions (Continued)PDF unavailable
32Recurrence RelationsPDF unavailable
33Recurrence Relations (Continued)PDF unavailable
34Recurrence Relations (Continued)PDF unavailable
35AlgebrasPDF unavailable
36Algebras (Continued)PDF unavailable
37Algebras (Continued)PDF unavailable
38Finite State AutomatonPDF unavailable
39Finite State Automaton (Continued)PDF unavailable
40LatticesPDF unavailable