filmov
tv
Reasoning & Logic - Structural induction
Показать описание
This time we discuss structural induction. It's just like mathematical induction only not on the set N.
Pencast for the course Reasoning & Logic offered at Delft University of Technology.
Accompanies the open textbook: Delftse Foundations of Computation.
Pencast for the course Reasoning & Logic offered at Delft University of Technology.
Accompanies the open textbook: Delftse Foundations of Computation.
0:14:47
0:15:21
0:06:19
0:17:36
0:03:34
0:03:17
0:07:51
0:09:43
0:47:51
0:22:46
0:00:11
0:07:25
1:14:16
0:04:23
1:24:28
0:23:13
0:25:31
0:02:06
0:05:20
0:15:19
0:10:13
0:24:28
0:19:26
0:11:54