Subject Details
Dept     : AIDS
Sem      : 3
Regul    : 2019
Faculty : Ms. Nivetha
phone  : NIL
E-mail  : nivetha.r.math@snsce.ac.in
132
Page views
9
Files
0
Videos
0
R.Links

Icon
Lecture Notes

UNIT 1:
word
download   open file
1.1 Proposition & Connectives
word
download   open file
1.2Tautology & 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.