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

Icon
Lecture Notes

UNIT 1:
word
download   open file
Normal Forms
word
download   open file
Proposition & Connectives
word
download   open file
Tautology & Logical Equivalence
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

X
maheskumar
SNS COLLEGE OF ENGINEERING
ADMIN DEPARTMENT
maheskumar_facbook_profile
maheskumar_facbook_profile