• No products in the cart.

Formal mathematical logic is the foundation on which all of mathematics and mathematical reasoning is built. This [course_title] starts off with the introduction to propositional calculus, the basics to the course; then it focuses on the first-order logic and model theory. Topics covered include the metatheorems dealing with the properties of soundness, completeness, decidability, and consistency. The final part of the course is about formal number theory.

### Assessment

This course does not involve any written exams. Students need to answer 5 assignment questions to complete the course, the answers will be in the form of written work in pdf or word. Students can write the answers in their own time. Each answer needs to be 200 words (1 Page). Once the answers are submitted, the tutor will check and assess the work.

### Certification

Edukite courses are free to study. To successfully complete a course you must submit all the assignment of the course as part of the assessment. Upon successful completion of a course, you can choose to make your achievement formal by obtaining your Certificate at a cost of £49.

Having an Official Edukite Certification is a great way to celebrate and share your success. You can:

• Show it to prove your success

Course Credit: Open Culture

### Course Curriculum

 Module: 01 Mod-01 Lec-01 Sets and Strings 00:44:00 Mod-01 Lec-02 Lecture-02-Syntax of Propositional Logic 00:46:00 Mod-01 Lec-03 Lecture-03-Unique Parsing 00:52:00 Mod-01 Lec-04 Lecture-04-Semantics of PL 00:47:00 Mod-01 Lec-05 Lecture-05-Consequences and Equivalences 00:44:00 Mod-01 Lec-06 Five results about PL 00:41:00 Module: 02 Mod-01 Lec-07 Lecture-07-Calculations and Informal Proofs 00:46:00 Mod-01 Lec-08 Lecture-08-More Informal Proofs 00:48:00 Mod-01 Lec-09 Lecture-09-Normal forms 00:51:00 Mod-01 Lec-10 Lecture-10-SAT and 3SAT 00:45:00 Mod-01 Lec-11 Lecyture-11-Horn-SAT and Resolution 00:55:00 Mod-01 Lec-12 Lecture-12-Resolution 00:47:00 Module: 03 Mod-01 Lec-13 Lecture-13-Adequacy of Resolution 00:53:00 Mod-01 Lec-14 Lecture-14-Adequacy and Resolution Strategies 00:48:00 Mod-01 Lec-15 Lecture-15-Propositional Calculus (PC) 00:50:00 Mod-01 Lec-16 Lecture-16-Some Results about PC 00:49:00 Mod-01 Lec-17 Lecture-17-Arguing with Proofs 00:47:00 Mod-01 Lec-18 Lecture-18-Adequacy of PC 00:51:00 Module: 04 Mod-01 Lec-19 Lecture-19-Compactness & Analytic Tableau 00:50:00 Mod-01 Lec-20 Lecture-20-Examples of Tableau Proofs 00:45:00 Mod-01 Lec-21 Lecture-21-Adequacy of Tableaux 00:46:00 Mod-01 Lec-22 Lecture-22-Syntax of First order Logic (FL) 00:47:00 Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers 00:48:00 Mod-01 Lec-24 Lecture-24-Hurdles in giving Meaning 00:45:00 Module: 05 Mod-01 Lec-25 Lecture-25-Semantics of FL 00:50:00 Mod-01 Lec-26 Lecture-26-Relevance Lemma 00:48:00 Mod-01 Lec-27 Lecture-27-Validity, Satisfiability & Equivalence 00:49:00 Mod-01 Lec-28 Lecture-28-Six Results about FL 00:48:00 Mod-01 Lec-29 Lecture-29-Laws, Calculation & Informal Proof 00:47:00 Mod-01 Lec-30 Lecture-30-Quantifier Laws and Consequences 00:49:00 Module: 06 Mod-01 Lec-31 Lecture-31-More Proofs and Prenex Form 00:51:00 Mod-01 Lec-32 Lecture-32-Prenex Form Conversion 00:46:00 Mod-01 Lec-33 Lecture-33-Skolem Form 00:53:00 Mod-01 Lec-34 Lecture-34-Syntatic Interpretation 00:50:00 Mod-01 Lec-35 Lecture-35-Herbrand’s Theorem 00:45:00 Mod-01 Lec-36 Lecture-36-Most General Unifiers 00:51:00 Module: 07 Mod-01 Lec-37 Lecture-37-Resolution Rules 00:46:00 Mod-01 Lec-38 Lecture-38-Resolution Examples 00:49:00 Mod-01 Lec-39 Lecture-39-Ariomatic System FC 00:46:00 Mod-01 Lec-40 Lecture-40-FC and Semidecidability of FL 00:49:00 Mod-01 Lec-41 Lecture-41-Analytic Tableau for FL 00:47:00 Mod-01-Lec-42 Lecture-42-Godels Incompleteness Theorems 00:48:00 Assessment Submit Your Assignment 00:00:00 Certification 00:00:00

## 4.7

4.7
9 ratings
• 5 stars0
• 4 stars0
• 3 stars0
• 2 stars0
• 1 stars0

No Reviews found for this course.

12 STUDENTS ENROLLED