ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

16 results

nptelhrd
Mod-06 Lec-05 Closure of relaton(1)

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

57:54
Mod-06 Lec-05 Closure of relaton(1)

1,593 views

10 years ago

nptelhrd
Mod-06 Lec-07 Warshall's algorithm

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

1:03:17
Mod-06 Lec-07 Warshall's algorithm

2,852 views

10 years ago

nptelhrd
Mod-06 Lec-06 Closure of relaton(2)

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

56:52
Mod-06 Lec-06 Closure of relaton(2)

1,102 views

10 years ago

DougBaldwinGeneseo
nAryRelations

Explains how the simple definition of a binary relation in mathematics extends to relations on any number of values.

4:40
nAryRelations

21,071 views

10 years ago

Douglas Weathers
Relations

A relation is a mathematical object carrying the data of a relationship. Since mathematics is all about relationships, relations are ...

2:57
Relations

838 views

5 years ago

nptelhrd
Mod-01 Lec-13 Closure properties continued.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

1:01:07
Mod-01 Lec-13 Closure properties continued.

10,634 views

11 years ago

José A. Alonso
Pruebas en Lean de que las relaciones reflexivas y euclídeas son de equivalencia

En el vídeo se comentan pruebas en Lean de que si una relación es reflexiva y euclídea, entonces es de equivalencia. Se usan ...

9:16
Pruebas en Lean de que las relaciones reflexivas y euclídeas son de equivalencia

25 views

5 years ago

nptelhrd
Mod-14 Lec-04 NP-Complete Problems1

Formal Languages and Automata Theory by Dr. Diganta Goswami & Dr. K.V. Krishna,Department of Mathematics,IIT Guwahati.

49:10
Mod-14 Lec-04 NP-Complete Problems1

478 views

11 years ago

Douglas Weathers
Introduction to sequences

Sequences provide the order we were missing from sets. Meant to be watched before or after reading Chapter 6 of the open ...

2:48
Introduction to sequences

471 views

5 years ago

nptelhrd
Mod-06 Lec-04 Matrix of relation

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

51:34
Mod-06 Lec-04 Matrix of relation

2,008 views

10 years ago

nptelhrd
Mod-02 Lec-01 Grammars (CFG)

Formal Languages and Automata Theory by Dr. Diganta Goswami & Dr. K.V. Krishna,Department of Mathematics,IIT Guwahati.

49:07
Mod-02 Lec-01 Grammars (CFG)

3,068 views

11 years ago

nptelhrd
Mod-05 Lec-02 FA  RE

Formal Languages and Automata Theory by Dr. Diganta Goswami & Dr. K.V. Krishna,Department of Mathematics,IIT Guwahati.

59:30
Mod-05 Lec-02 FA RE

509 views

11 years ago

Jukka Suomela
Distributed Algorithms 2020: lecture 2a · Graph theory

Aalto University course CS-E4510 Distributed Algorithms. Lecture 2, part a: Graph-theoretic foundations.

17:46
Distributed Algorithms 2020: lecture 2a · Graph theory

2,612 views

5 years ago

nptelhrd
Mod-01 Lec-36 Example continued. Finiteness of TM description

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

46:22
Mod-01 Lec-36 Example continued. Finiteness of TM description

9,735 views

11 years ago

nptelhrd
Mod-04 Lec-01 Myhill-Nerode Theorem

Formal Languages and Automata Theory by Dr. Diganta Goswami & Dr. K.V. Krishna,Department of Mathematics,IIT Guwahati.

52:03
Mod-04 Lec-01 Myhill-Nerode Theorem

3,614 views

11 years ago

nptelhrd
Mod-01 Lec-17 Continuation of proof of Myhill-Nerode theorem.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

55:07
Mod-01 Lec-17 Continuation of proof of Myhill-Nerode theorem.

10,856 views

11 years ago