Semantics of First-Order Logic
Beginner
Online
4 Weeks
Free Quick Facts
| Medium Of Instructions | Mode Of Learning | Mode Of Delivery |
|---|---|---|
| English | Self Study | Video and Text Based |
Courses and Certificate Fees
| Fees Informations | Certificate Availability | Certificate Providing Authority |
|---|---|---|
| INR 5793 | yes | Stanford |
The Syllabus
- An Overview of the Course: What we will do, and why
- Weekly Assignments and Obtaining the Courseware
- Atomic Sentences
- Boolean Connectives and Truth Tables
- Conditionals and The Game Rules for Propositional Logic
- Review and Assignment
- Tautology, Tautological Consequence and Tautological Equivalence
- Propositional Equivalences, Normal Forms and Completeness
- Review and Assignment
- Variables, Quantifiers, Wffs and Sentences
- Satisfaction and Truth
- Translation into FOL
- Review and Assignment
- Validity and Logical Consequence
- Equivalences, Normal Forms, Axioms
- Review and Assignment
- Summary
- Final Exam