Logic for CS

Overview Contents: introduction - Propositional Logic Syntax - Semantics of Propositional Logic - Logical and Algebraic Concepts - Identities and Normal forms

Beginner 0(0 Ratings) 0 Students enrolled English
Created by skill expert
Last updated Sat, 18-Jun-2022
+ View more
Course overview

Tautology Checking-Propositional un satisfiability - Analytic Tableaux - Consistency and Completeness - The Completeness Theorem - Maximally Consistent Sets - Formal Theories - Proof Theory - Hilbert-style - Derived Rules - The Hilbert System Soundness,Completeness-Introduction to Predicate Logic-The Semantic of Predicate Logic-Sub situvations- Models

Structures and Substructures - First Order Theories-Predicate Logic: Proof Theory-Existential Quantification - Normal Forms-Scalalemization - Substitutions and Instantiations - Unification - Resolution in FOL - More on Resolution in FOL - Resolution : Soundness and Completeness - Resolution and Tableaux - Completeness of Tableaux Method - Completeness of the Hilbert System - Towards Logic Programming - Verification of Imperative Programs - Verification of WHILE Programs - References

Curriculum for this course
39 Lessons 32:54:51 Hours
Lecture
39 Lessons 32:54:51 Hours
  • Introduction
    Preview 00:50:20
  • Propositional Logic Syntax
    00:40:23
  • Semantics of Propositional Logic
    00:37:40
  • Logical and Algebraic Concepts
    00:48:56
  • Identities and Normal forms
    00:50:22
  • Tautology Checking
    00:49:48
  • Propositional Unsatisfiability
    00:53:08
  • Analytic Tableaux
    00:41:16
  • Consistency and Completeness
    00:54:07
  • The Completeness Theorem
    00:52:38
  • Maximally Consistent Sets
    00:51:19
  • Formal Theories
    00:56:55
  • Proof Theory Hilbert-style
    00:56:43
  • Derived Rules
    00:54:18
  • The Hilbert System Soundness
    00:49:31
  • The Hilbert System Completeness
    00:32:05
  • Introduction to Predicate Logic
    00:51:38
  • The Semantic of Predicate Logic
    00:50:31
  • Subsitutions
    00:46:45
  • Models
    00:53:06
  • Structures and Substructures
    00:43:42
  • First - Order Theories
    00:55:50
  • Predicate Logic Proof Theory (Contd..)
    00:52:27
  • Existential Quantification
    00:57:43
  • Normal Forms
    00:46:25
  • Skalemization
    00:59:40
  • Substitutions and Instantiations
    00:49:13
  • Unification
    00:50:07
  • Resolution in FOL
    00:58:17
  • More on Resolution in FOL
    00:46:32
  • Resolution Soundness and Completeness
    00:49:31
  • Resolution and Tableaux
    00:54:13
  • Completeness of Tableaux Method
    00:37:30
  • Completeness of the Hilbert System
    00:51:03
  • First -Order Theories
    00:59:16
  • Towards Logic Programming
    00:58:49
  • Verification of Imperative Programs
    00:54:30
  • Verification of WHILE Programs
    00:55:19
  • References
    00:53:15
+ View more
Other related courses
34:30:27 Hours
Updated Wed, 08-Jun-2022
0 0 Free
27:10:39 Hours
0 0 Free
20:48:51 Hours
Updated Wed, 08-Jun-2022
0 0 Free
07:24:45 Hours
0 0 Free
39:26:26 Hours
0 0 Free
About instructor

skill expert

0 Reviews | 17 Students | 467 Courses
Student feedback
0
0 Reviews
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Reviews

Free
Includes: