MNIT Jaipur B Tech Syllabus

Can you provide me the syllabus of B.Tech (Computer Engineering) - Semester III of MNIT or Malaviya National Institute of Technology Jaipur as my exams are near by and so need to for preparation?

[Shaleen]

The syllabus of B.Tech (Computer Engineering) - Semester III of MNIT or Malaviya National Institute of Technology Jaipur as my exams are near by and so need to for preparation is as follows:

MNIT Jaipur B Tech Syllabus

Logic: Introduction to Logic, Propositional Logic and Predicate Logic

Propositional logic: Elements, Truth table, Declarative sentences, Construction of Proposition, Converse and Contrapositive, Reasoning with Propositions, Natural deduction – rules, Provable equivalence, Semantics, logical connectives, Soundness and completeness of propositional logic, Normal forms, Identities of Propositions and Dual, Use of Identities, Implications, Reasoning with Propositions, Proof of Identities, Proof of Implications, Semantic equivalence, satisfiability and validity, Conjunctive normal forms.

Predicate logic: Terms, Formulas - Well Formed Formula (WFF) of Predicate Logic, Constructing Formulas; Free and bound variables, Reasoning with Predicate Logic, deduction rules, Quantifier, Semantics , Undecidability of predicate logic, Expressiveness, second-order logic.

Verification: Linear-time temporal (LTL) logic, Syntax and Semantics, Model checking: systems, tools, properties, Branching-time temporal logic - Syntax and Semantics of CTL, Model-checking algorithms

Program verification: Partial and total correctness, Proof calculus, Modal logic – syntax and semantics, Binary decision diagrams.

MNIT Jaipur B Tech Syllabus