Subject Details
Dept     : CSE
Sem      : 5
Regul    : 2019
Faculty : Monica . M
phone  : NIL
E-mail  :
362
Page views
10
Files
0
Videos
0
R.Links

Icon
Lecture Notes

UNIT 1:
word
download   open file
1.1 Proposition & Connectives
word
download   open file
1.2 Tautology & Logical Equivalence
word
download   open file
1.3 Normal Forms
word
download   open file
1.5 Inference theory of Statement Calculus & Rules of Inference
word
download   open file
1.6 Problems based on inference theory of Statement Calculus
word
download   open file
1.7 Consistency of premised and Indirect method of proof
word
download   open file
1.9 Predicate & Quantifiers
word
download   open file
1.10 Problems on Predicate Calculus
word
download   open file
1.11 Proof methods and strategy
UNIT 2:
word
download   open file
2.1 Mathematical induction