Computer - Logic for CS (English)

   Tuesday, March 25, 2025   

Starting a new Lecture Notes Series on Computer - Logic for CS

Youtube Lecture Playlist Credits 

Channel Name: nptelhrd

So Let Us Start to This Journey of Learning 

Computer - Logic for CS By Lecture Notes together!

Lecture 1: Mod-01 Lec-01 Introduction

Lecture 2: Mod-01 Lec-02 Propositional Logic Syntax

Lecture 3: Mod-01 Lec-03 Semantics of Propositional Logic

Lecture 4: Mod-01 Lec-04 Logical and Algebraic Concepts

Lecture 5: Mod-01 Lec-05 Identities and Normal forms

Lecture 6: Mod-01 Lec-06 Tautology Checking

Lecture 7: Mod-01 Lec-07 Propositional Unsatisfiability

Lecture 8: Mod-01 Lec-08 Analytic Tableaux

Lecture 9: Mod-01 Lec-09 Consistency and Completeness

Lecture 10: Mod-01 Lec-10 The Completeness Theorem

Lecture 11: Mod-01 Lec-11 Maximally Consistent Sets

Lecture 12: Mod-01 Lec-12 Formal Theories

Lecture 13: Mod-01 Lec-13 Proof Theory : Hilbert-style

Lecture 14: Mod-01 Lec-14 Derived Rules

Lecture 15: Mod-01 Lec-15 The Hilbert System : Soundness

Lecture 16: Mod-01 Lec-16 The Hilbert System :Completeness

Lecture 17: Mod-01 Lec-17 Introduction to Predicate Logic

Lecture 18: Mod-01 Lec-18 The Semantic of Predicate Logic

Lecture 19: Mod-01 Lec-19 Subsitutions

Lecture 20: Mod-01 Lec-20 Models

Lecture 21: Mod-01 Lec-21 Structures and Substructures

Lecture 22: Mod-01 Lec-22 First - Order Theories

Lecture 23: Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..)

Lecture 24: Mod-01 Lec-24 Existential Quantification

Lecture 25: Mod-01 Lec-25 Normal Forms

Lecture 26: Mod-01 Lec-26 Skalemization

Lecture 27: Mod-01 Lec-27 Substitutions and Instantiations

Lecture 28: Mod-01 Lec-28 Unification

Lecture 29: Mod-01 Lec-29 Resolution in FOL

Lecture 30: Mod-01 Lec-30 More on Resolution in FOL

Lecture 31: Mod-01 Lec-31 Resolution : Soundness and Completeness

Lecture 32: Mod-01 Lec-32 Resolution and Tableaux

Lecture 33: Mod-01 Lec-33 Completeness of Tableaux Method

Lecture 34: Mod-01 Lec-34 Completeness of the Hilbert System

Lecture 35: Mod-01 Lec-35 First -Order Theories

Lecture 36: Mod-01 Lec-36 Towards Logic Programming

Lecture 37: Mod-01 Lec-37 Verification of Imperative Programs

Lecture 38: Mod-01 Lec-38 Verification of WHILE Programs

Lecture 39: Mod-01 Lec-39 References