ECS 120: Undergraduate Theory of Computation

ECS 120: Undergraduate Theory of Computation

Show Details

These are lectures for the course ECS 120, Undergraduate Theory of Computation, taught by David Doty. They were recorded for the Spring 2020 offering of the course, on a Monday-Wednesday-Friday lecture schedule.

To list the videos in order, view the whole playlist, or select Sort By: Alphabetically - A to Z. (Except that it will put week 10 out of order, near the start.)

There are also playlists breaking them up by chapter in the lecture notes for the course:

Videos are labeled as follows. ECS 120 [week][day]:[topic] where [week] is a number 0,1,2,...,10 (0 is for lectures reviewing discrete math prerequisite material), [day] is a letter (a=Monday, b=Wednesday, c=Friday), and [topic] starts with a number to indicate viewing order within that lecture day (there are several short videos for each lecture day, each 5-15 minutes long). For example, ECS 120 2c:5 formal definition of NFA semantics is week 2, Friday, topic 5 for that day: formal definition of NFA semantics.

…Read more Less…

12:25

ECS 120 0:7 combinatorics (discrete math review)

ECS 120 0:7 combinatorics (discrete math review)

From David Doty on March 25th, 2021

0 likes 117 plays 0
04:34

ECS 120 0:6 pigeonhole principle (discrete math…

ECS 120 0:6 pigeonhole principle (discrete math review)

From David Doty on March 25th, 2021

0 likes 76 plays 0
09:09

ECS 120 10b:3 diagonalization to show the halting…

ECS 120 10b:3 diagonalization to show the halting problem is undecidable

From David Doty on March 20th, 2021

0 likes 35 plays 0
15:52

ECS 120 10b:2 the real numbers are uncountable…

ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis

From David Doty on March 20th, 2021

0 likes 36 plays 0
11:40

ECS 120 10b:1 diagonalization to show a set is…

ECS 120 10b:1 diagonalization to show a set is smaller than its power set

From David Doty on March 20th, 2021

0 likes 43 plays 0
06:22

ECS 120 9c:6 R vs. (0,1)

ECS 120 9c:6 R vs. (0,1)

From David Doty on March 20th, 2021

0 likes 50 plays 0
02:12

ECS 120 9c:5 N vs. {0,1}*

ECS 120 9c:5 N vs. {0,1}*

From David Doty on March 20th, 2021

0 likes 52 plays 0
02:14

ECS 120 9c:4 N vs. Q

ECS 120 9c:4 N vs. Q

From David Doty on March 20th, 2021

0 likes 48 plays 0
06:29

ECS 120 9c:3 N vs. Q+

ECS 120 9c:3 N vs. Q+

From David Doty on March 20th, 2021

0 likes 54 plays 0
05:49

ECS 120 9c:2 N vs. Z

ECS 120 9c:2 N vs. Z

From David Doty on March 20th, 2021

0 likes 59 plays 0
06:24

ECS 120 9c:1 comparing sizes of sets

ECS 120 9c:1 comparing sizes of sets

From David Doty on March 20th, 2021

0 likes 59 plays 0
11:35

ECS 120 9b:4 how to spot undecidability

ECS 120 9b:4 how to spot undecidability

From David Doty on March 20th, 2021

0 likes 66 plays 0
06:47

ECS 120 9b:3 rejecting problem is undecidable

ECS 120 9b:3 rejecting problem is undecidable

From David Doty on March 20th, 2021

0 likes 60 plays 0
07:38

ECS 120 9b:2 empty language problem is undecidable

ECS 120 9b:2 empty language problem is undecidable

From David Doty on March 20th, 2021

0 likes 57 plays 0
08:28

ECS 120 9b:1 acceptance problem is undecidable

ECS 120 9b:1 acceptance problem is undecidable

From David Doty on March 20th, 2021

0 likes 91 plays 0

Search for ""

Public, Restricted

130 Media

1 Members

Managers:: David Doty
Appears In:: Computer Science