Logic for CS - IIT_Delhi

1/39 Видео

Mod-01 Lec-01 Introduction

IIT_Delhi

00:50:21

2

Mod-01 Lec-02 Propositional Logic Syntax

IIT_Delhi

00:40:24

3

Mod-01 Lec-03 Semantics of Propositional Logic

IIT_Delhi

00:37:41

4

Mod-01 Lec-04 Logical and Algebraic Concepts

IIT_Delhi

00:48:57

5

Mod-01 Lec-05 Identities and Normal forms

IIT_Delhi

00:50:24

6

Mod-01 Lec-06 Tautology Checking

IIT_Delhi

00:49:49

7

Mod-01 Lec-07 Propositional Unsatisfiability

IIT_Delhi

00:53:09

8

Mod-01 Lec-08 Analytic Tableaux

IIT_Delhi

00:41:17

9

Mod-01 Lec-09 Consistency and Completeness

IIT_Delhi

00:54:08

10

Mod-01 Lec-10 The Completeness Theorem

IIT_Delhi

00:52:39

11

Mod-01 Lec-11 Maximally Consistent Sets

IIT_Delhi

00:51:20

12

Mod-01 Lec-12 Formal Theories

IIT_Delhi

00:56:56

13

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

IIT_Delhi

00:56:44

14

Mod-01 Lec-14 Derived Rules

IIT_Delhi

00:54:19

15

Mod-01 Lec-15 The Hilbert System : Soundness

IIT_Delhi

00:49:31

16

Mod-01 Lec-16 The Hilbert System :Completeness

IIT_Delhi

00:32:06

17

Mod-01 Lec-17 Introduction to Predicate Logic

IIT_Delhi

00:51:38

18

Mod-01 Lec-18 The Semantic of Predicate Logic

IIT_Delhi

00:50:32

19

Mod-01 Lec-19 Subsitutions

IIT_Delhi

00:46:46

20

Mod-01 Lec-20 Models

IIT_Delhi

00:53:07

21

Mod-01 Lec-21 Structures and Substructures

IIT_Delhi

00:43:43

22

Mod-01 Lec-22 First - Order Theories

IIT_Delhi

00:55:51

23

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

IIT_Delhi

00:52:28

24

Mod-01 Lec-24 Existential Quantification

IIT_Delhi

00:57:44

25

Mod-01 Lec-25 Normal Forms

IIT_Delhi

00:46:26

26

Mod-01 Lec-26 Skalemization

IIT_Delhi

00:59:41

27

Mod-01 Lec-27 Substitutions and Instantiations

IIT_Delhi

00:49:15

28

Mod-01 Lec-28 Unification

IIT_Delhi

00:50:08

29

Mod-01 Lec-29 Resolution in FOL

IIT_Delhi

00:58:18

30

Mod-01 Lec-30 More on Resolution in FOL

IIT_Delhi

00:46:33

31

Mod-01 Lec-31 Resolution : Soundness and Completeness

IIT_Delhi

00:49:32

32

Mod-01 Lec-32 Resolution and Tableaux

IIT_Delhi

00:54:14

33

Mod-01 Lec-33 Completeness of Tableaux Method

IIT_Delhi

00:37:31

34

Mod-01 Lec-34 Completeness of the Hilbert System

IIT_Delhi

00:51:04

35

Mod-01 Lec-35 First -Order Theories

IIT_Delhi

00:59:16

36

Mod-01 Lec-36 Towards Logic Programming

IIT_Delhi

00:58:50

37

Mod-01 Lec-37 Verification of Imperative Programs

IIT_Delhi

00:54:31

38

Mod-01 Lec-38 Verification of WHILE Programs

IIT_Delhi

00:55:20

39

Mod-01 Lec-39 References

IIT_Delhi

00:53:16

Mod-01 Lec-01 Introduction

0

0

5 Просмотры

IIT_Delhi
5 subscribers

В развитие / Программная инженерия

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in

Показать больше

100% online learning from the world's best universities, organisations and Instructors

0 Комментарии

Узнайте больше

Помощь