0
(
ratings
)
1
students
Created by:
Last updated:
September 25, 2023
Duration:
Unlimited Duration
FREE
This course includes:
Unlimited Duration
Badge on Completion
Certificate of completion
Unlimited Duration
Description
Logic for Computer Science. Instructor: Dr. S. Arun Kumar, Department of Computer Science, IIT Delhi.
This course covers lessons on propositional logic syntax and its semantics, tautology checking, analytic tableaux, formal theories, Skolemization, resolution in FOL, verification of white, imperative programs and references. (from nptel.ac.in)
Course Curriculum
- Lecture 01 – Introduction Unlimited
- Lecture 02 – Propositional Logic Syntax Unlimited
- Lecture 03 – Semantics of Propositional Logic Unlimited
- Lecture 04 – Logical and Algebraic Concepts Unlimited
- Lecture 05 – Identities and Normal Forms Unlimited
- Lecture 06 – Tautology Checking Unlimited
- Lecture 07 – Propositional Unsatisfiability Unlimited
- Lecture 08 – Analytic Tableaux Unlimited
- Lecture 09 – Consistency and Completeness Unlimited
- Lecture 10 – The Completeness Theorem Unlimited
- Lecture 11 – Maximally Consistent Sets Unlimited
- Lecture 12 – Formal Theories Unlimited
- Lecture 13 – Proof Theory: Hilbert-Style Unlimited
- Lecture 14 – Derived Rules Unlimited
- Lecture 15 – The Hilbert System: Soundness Unlimited
- Lecture 16 – The Hilbert System: Completeness Unlimited
- Lecture 17 – Introduction to Predicate Logic Unlimited
- Lecture 18 – The Semantic of Predicate Logic Unlimited
- Lecture 19 – Substitutions Unlimited
- Lecture 20 – Models Unlimited
- Lecture 21 – Structures and Substructures Unlimited
- Lecture 22 – First Order Theories Unlimited
- Lecture 23 – Predicate Logic: Proof Theory (cont.) Unlimited
- Lecture 24 – Existential Quantification Unlimited
- Lecture 25 – Normal Forms Unlimited
- Lecture 26 – Skolemization Unlimited
- Lecture 27 – Substitutions and Instantiations Unlimited
- Lecture 28 – Unification Unlimited
- Lecture 29 – Resolution in First Order Logic Unlimited
- Lecture 30 – More on Resolution in First Order Logic Unlimited
- Lecture 31 – Resolution: Soundness and Completeness Unlimited
- Lecture 32 – Resolution and Tableaux Unlimited
- Lecture 33 – Completeness of Tableaux Method Unlimited
- Lecture 34 – Completeness of the Hilbert System Unlimited
- Lecture 35 – First Order Theories Unlimited
- Lecture 36 – Towards Logic Programming Unlimited
- Lecture 37 – Verification of Imperative Programs Unlimited
- Lecture 38 – Verification of WHILE Programs Unlimited
- Lecture 39 – References Unlimited
About the instructor
5
5
Instructor Rating
6
Reviews
4637
Courses
24154
Students
OpenCoursa
We are an educational and skills marketplace to accommodate the needs of skills enhancement and free equal education across the globe to the millions. We are bringing courses and trainings every single day for our users. We welcome everyone woth all ages, all background to learn. There is so much available to learn and deliver to the people.
