MA61021: Mathematical Logic
Jump to navigation
Jump to search
| MA61021 | |
|---|---|
| Course name | Mathematical Logic |
| Offered by | Mathematics |
| Credits | 4 |
| L-T-P | 3-1-0 |
| Previous Year Grade Distribution | |
| {{{grades}}} | |
| Semester | Autumn |
Syllabus
Syllabus mentioned in ERP
Prerequisite: voidProgramming Prolog - facts, simple queries, complex queries, rules, arithmetic operators, recursion, unification, lists, cut. Propositional logic - syntax, semantics, laws of deduction, normal forms, resolution, theorem proving, validity, soundness and completeness. First order logic - conversion of commonsense sentences into the language of first order logic, universal and existential quantifiers, syntax, terms of predicate, model theoretic semantics, Harbrand universe, normal form, unification, proof theory, mechanical theorem proving, incompleteness.