YouTube

56:47

1

Lecture 1 - Propositional Logic

by nptelhrd 294,494 views
57:36

2

Lecture 2 - Propositional Logic (Contd.)

by nptelhrd 72,515 views
57:54

3

Lecture 3 - Predicates & Quantifiers

by nptelhrd 84,242 views
59:24

4

Lecture 4 - Predicates & Quantifiers (Contd.)

by nptelhrd 42,688 views
59:15

5

Lecture 5 -Logical Inference

by nptelhrd 39,172 views
54:30

6

Lecture 6 -Resolution Principles & Application to PROLOG

by nptelhrd 27,144 views
54:57

7

Lecture 7 - Methods of Proof

by nptelhrd 51,527 views
58:09

8

Lecture 8 - Normal Forms

by nptelhrd 31,835 views
54:09

9

Lecture 9 - Proving programs correct

by nptelhrd 13,327 views
55:13

10

Lecture 10 - Sets

by nptelhrd 73,165 views
53:19

11

Lecture 11 - Induction

by nptelhrd 53,220 views
58:22

12

Lecture 12 - Set Operations on Strings Over an Alphabet

by nptelhrd 18,323 views
57:57

13

Lecture 13 - Relations

by nptelhrd 47,164 views
55:36

14

Lecture 14- Graphs

by nptelhrd 43,015 views
55:46

15

Lecture 15 - Graphs (Contd.)

by nptelhrd 22,794 views
57:23

16

Lecture 16 - Trees

by nptelhrd 29,242 views
56:44

17

Lecture 17 - Trees and Graphs

by nptelhrd 39,189 views
57:04

18

Lecture 18 - Special Properties of Relations

by nptelhrd 22,472 views
56:50

19

Lecture -19 - Closure of Relations

by nptelhrd 14,759 views
57:01

20

Lecture 20 - Closure of Relations (Contd.)

by nptelhrd 13,587 views
55:52

21

Lecture 21 - Order Relations

by nptelhrd 15,813 views
57:12

22

Lecture 22 - Order and Relations and Equivalence Relations

by nptelhrd 20,765 views
56:20

23

Lecture 23 - Equivalence relations and partitions

by nptelhrd 22,392 views
55:01

24

Lecture 24 - Functions

by nptelhrd 34,052 views
56:09

25

Lecture 25 - Functions (Contd.)

by nptelhrd 14,182 views
57:49

26

Lectures 26 - Functions (Contd.)

by nptelhrd 14,833 views
56:58

27

Lecture 27-Pigeonhole Principle

by nptelhrd 35,359 views
57:17

28

Lecture 28 - Permutations and combinations

by nptelhrd 123,515 views
59:51

29

Lecture 29 - Permutations and Combinations(Contd...)

by nptelhrd 28,084 views
58:13

30

Lecture 30 - Generating Functions

by nptelhrd 25,577 views
56:19

31

Lecture 31- Generating Functions

by nptelhrd 13,700 views
57:20

32

Lecture 32 - Recurrence Relations

by nptelhrd 35,619 views
55:58

33

Lecture 33 - Recurrence Relations

by nptelhrd 20,986 views
54:18

34

Lecture 34-Recurrence Relations(contd..)

by nptelhrd 12,082 views
57:07

35

Lecture 35-Algebras

by nptelhrd 16,069 views
57:26

36

Lecture 36-Algebras(contd...)

by nptelhrd 13,049 views
55:42

37

Lecture 37-Algebras(contd...)

by nptelhrd 15,362 views
57:17

38

Lecture 38-Finite State Automaton

by nptelhrd 74,978 views
56:44

39

Lecture 39-Finite State Automaton(contd....)

by nptelhrd 42,783 views
57:03

40

Lecture 40-Lattices

by nptelhrd 34,790 views

Lectures by Prof. Kamala Krithivasan,
Department of Computer Science and Engineering,
IIT Madras

About NPTEL

This channel provides technical lectures from all seven Indian Institutes of Technology and Indian Institute of Science, Bangalore.

The Video Courses are organised as PLAYLISTS under the following Categories:

1. Core Sciences

2. Civil Engineering

3. Computer Science and Engineering

4. Electrical Engineering

5. Electronics and Communication Engineering

6. Mechanical Engineering

Please visit the Playlists section in this channel to view the complete list of courses.

This channel provides technical lectures from all seven Indian Institutes of Technology and Indian Institute of Science, Bangalore.

The Video Courses are organised as PLAYLISTS under the following Categories:

1. Core Sciences

2. Civil Engineerin...

312 playlists by NPTEL View all videos

89,526,007 views

164,886

Featured Playlists

12,139 videos Play all

Computer Sc - Discrete Mathematical Structures

About NPTEL

Featured Playlists