Subject Details
Dept     : CSE
Sem      : 3
Regul    : 2019
Faculty : Ms.Shila
phone  : NIL
E-mail  :
183
Page views
11
Files
1
Videos
0
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
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
Predicate & Quantifiers
word
download   open file
Problems on Predicate Calculus
word
download   open file
Proof methods and strategy.
UNIT 2:
word
download   open file
Mathematical induction
word
download   open file
Problems on Mathematical induction, Strong induction and well ordering