You must be logged in to take this course → LOGIN | REGISTER NOW
Logic deals with the most general laws of truth and is now generally held to consist of the systematic study of the form of valid inference. This [course_title] will help you understand various illustrious result- Kurt Gödel’s-theorem, Church’s-theorem; Tarski’s-theorem etc. Besides, [course_title] is designed for you to make you understand the theory of computability, an axiomatic basis for proving truths of Arithmetic for proving truths of arithmetic easy and effective.
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 need 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 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:
- Add the certificate to your CV or resume and brighten up your career
- Show it to prove your success
Course Credit: MIT
Course Curriculum
Why Study Computability? | 00:18:00 | ||
Key Computability Concepts | 00:28:00 | ||
The Language of Arithmetic | 00:30:00 | ||
Church-Turing Thesis | 00:19:00 | ||
Nonstandard Models of Arithmetic | 00:10:00 | ||
Gödel Numbering | 00:17:00 | ||
Robinson’s Arithmetic | 00:17:00 | ||
Coding Proofs | 00:10:00 | ||
Peano Arithmetic | 00:32:00 | ||
Self-Reference Lemma | 00:13:00 | ||
First Incompleteness Theorem | 00:16:00 | ||
Interpretations | 00:14:00 | ||
Tarski’s Theory of Truth | 00:22:00 | ||
Second Incompleteness Theorem | 00:27:00 | ||
Introduction to Modal Logic | 00:14:00 | ||
Provability Logic | 00:28:00 | ||
Defining Exponentiation | 00:08:00 | ||
Assessment | |||
Submit Your Assignment | 00:00:00 | ||
Certification | 00:00:00 |
Course Reviews
No Reviews found for this course.