MTL747
| MTL747 | |
|---|---|
| Mathematical Logic | |
| Credits | 3 |
| Structure | 3-0-0 |
| Pre-requisites | |
| Overlaps | |
MTL747 : Mathematical Logic
[edit]Propositional Logic - Syntax, Semantics and Normal Forms, First Order Logic Syntax, Semantics and Normal Forms, Herbrand interpretation, Resolution of PL and FL, Proofs in PL and FL, Axiomatic Systems, Adequacy and Compactness, Program Verification, Hoare Proof, Godels completeness and incompleteness Theorem, Turing Machines and undecidability of Predicate calculus, Gentzen systems, Introduction to other logics - Description Logic, Default & Defeasible Logic, Courteous Logic, Modal Logic, Fuzzy logic.