Transcription of MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
{{id}} {{{paragraph}}}
1 LECTURE NOTES ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE II B. Tech I semester (JNTUK-R16) Mr. Assistant Professor DEPARTMENT OF MATHEMATICS GAYATRI VIDYA PARISHAD COLLEGE OF ENGINEERING FOR WOMEN VISAKHAPATNAM-530048 2 SYLLABUS UNIT -I: MATHEMATICAL Logic: Propositional Calculus: Statements and Notations, Connectives, Well Formed Formulas, Truth Tables, Tautologies, Equivalence of Formulas, Duality Law, Tautological Implications, Normal Forms, Theory of Inference for Statement Calculus, Consistency of Premises, Indirect Method of Proof. Predicate Calculus:Predicative Logic, Statement Functions, Variables and Quantifiers, Free and Bound Variables, Inference Theory for Predicate Calculus.
mathematical foundations of computer science ii b. tech i semester (jntuk -r16) mr. v.s.s.v.d.prakash assistant professor department of mathematics gayatri vidya parishad college of engineering for women visakhapatnam -530048
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}