Careers360 Logo
ask-icon
share
    Compare

    Quick Facts

    Medium Of InstructionsMode Of LearningMode Of Delivery
    EnglishSelf StudyVideo and Text Based

    Courses and Certificate Fees

    Fees InformationsCertificate AvailabilityCertificate Providing Authority
    INR 5793yesStanford

    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

    Instructors

    Student Community: Where Questions Find Answers

    Ask and get expert answers on exams, counselling, admissions, careers, and study options.