Subject Details
Dept     : CSE
Sem      : 3
Regul    : 2019
Faculty : prof S.Geetha
phone  : NIL
E-mail  : geethamuthu192@gmail.com
198
Page views
13
Files
3
Videos
3
R.Links

Icon
Lecture Notes

UNIT 1:
word
download   open file
Proposition & Connectives
word
download   open file
Tautology & Logical Equivalence
word
download   open file
Normal Forms
word
download   open file
Tutorial 1
word
download   open file
Inference theory of Statement Calculus & Rules of Inference
word
download   open file
Problems based on inference theory of Statement Calculus
word
download   open file
Consistency of premised and Indirect method of proof
word
download   open file
Tutorial 2
word
download   open file
Predicate & Quantifiers
word
download   open file
Problems on Predicate Calculus
word
download   open file
Proof methods and strategy.
word
download   open file
Tutorial 3