-
From Margaret Fleck 4/29/2021
342 plays 1Well, it's the end of the term. Have a great summer! -
From Margaret Fleck 4/29/2021
1,327 plays 0Fun applications of uncountability: uncomputability, aperiodic tilings, quasicrystals -
From Margaret Fleck 4/26/2021
1,687 plays 0Uncountable sets, including two proofs by diagonalization -
From Margaret Fleck 4/26/2021
1,903 plays 0More examples of countable sets -
From Margaret Fleck 4/26/2021
1,717 plays 0Conway's Game of Life, a state diagram with infinitely many states. -
From Margaret Fleck 4/25/2021
2,209 plays 0Measuring the size of sets using bijections and one-to-one functions -
From Margaret Fleck 4/20/2021
1,861 plays 0Phone lattices -
From Margaret Fleck 4/20/2021
2,089 plays 0A simple state diagram example (the jug puzzle) -
From Margaret Fleck 4/18/2021
1,526 plays 0Proof of a graph theorem using contradiction -
From Margaret Fleck 4/18/2021
1,844 plays 0Proof by contradiction: the basics -
From Margaret Fleck 4/12/2021
2,246 plays 0Partitions -
From Margaret Fleck 4/12/2021
2,303 plays 0Counting subsets (no repetition) and assortments (like subsets but with repetition) -
From Margaret Fleck 4/12/2021
2,563 plays 0Sets that contain other sets (Emerald City Bakery), including the power set and how to use the power set in writing function signatures. -
From Margaret Fleck 4/5/2021
1,913 plays 0NP -
From Margaret Fleck 4/4/2021
3,121 plays 0Karatsuba's algorithm -
From Margaret Fleck 3/31/2021
3,303 plays 0Building a recursive running time function from a fragment of code -
From Margaret Fleck 3/29/2021
3,025 plays 1Proving a primitive function relationship -
From Margaret Fleck 3/29/2021
3,726 plays 0Asymptotic complexity (big-O and its friends) -
From Margaret Fleck 3/21/2021
2,512 plays 0Grammar trees and induction on grammar trees -
From Margaret Fleck 3/21/2021
2,657 plays 0Using induction to prove a claim about trees. -
From Margaret Fleck 3/21/2021
4,373 plays 0Using a recursion tree to find a closed form. -
From Margaret Fleck 3/15/2021
2,251 plays 0Another example of unrolling a recursive definition. -
From Margaret Fleck 3/15/2021
2,334 plays 0Another example of inductive proof on a recursive definition. This time the definition uses two earlier values of the function. -
From Margaret Fleck 3/14/2021
3,459 plays 0Unrolling and recursive definition using a hypercube example -
From Margaret Fleck 3/8/2021
2,140 plays 0Using induction to prove a claim about the game Nim -
From Margaret Fleck 3/8/2021
2,290 plays 1Using induction to prove a claim about triominos -
From Margaret Fleck 3/7/2021
2,618 plays 0Why is induction a valid technique? -
From Margaret Fleck 3/7/2021
3,475 plays 0Introduction to induction proofs, using a simple summation example -
From Margaret Fleck 3/1/2021
2,975 plays 0Two-way bounding, including graph coloring -
From Margaret Fleck 3/1/2021
2,967 plays 0Counting isomorphisms
Skip to main content
-
- Illinois Login
- My Media
- My Playlists
- Help
- Tutorials
- My History
- Login
- Home
- Public Affairs
- About Illinois
-
Colleges
-
ACES
- ACES Technology Services
- Agricultural and Biological Engineering
- Agricultural and Consumer Economics
- Agricultural Communications
- Agricultural Education
- Animal Sciences
- Career Services
- Crop Sciences
- Division of Nutritional Sciences
- Food Science and Human Nutrition
- Human Development and Family Studies
- Natural Resources and Environmental Sciences
- Applied Health Sciences
- Carle Illinois College of Medicine
- College of Media
- Education
- Fine & Applied Arts
- General Studies
- Gies College of Business
- Graduate College
- Grainger Engineering
- Labor & Employment Relations
- Law
-
Liberal Arts & Sciences
- ATLAS
- Center for East Asian and Pacific Studies
- Center for Latin American and Caribbean Studies
- Chemistry
- French and Italian
- GGIS
- Jewish Studies
- LAS International Programs
- LAS Teaching Academy
- Math
- MCB Advising Program
- Program in Jewish Culture and Society
- Slavic Languages and Literature
- Sociology
- Sociology Advising
- School of Information Sciences
- Social Work
- Veterinary Medicine
-
ACES
- Research
- Student Life
- Campus Units
- Channels
- Help
- Home
- Public Affairs
- About Illinois
-
Colleges
-
ACES
- ACES Technology Services
- Agricultural and Biological Engineering
- Agricultural and Consumer Economics
- Agricultural Communications
- Agricultural Education
- Animal Sciences
- Career Services
- Crop Sciences
- Division of Nutritional Sciences
- Food Science and Human Nutrition
- Human Development and Family Studies
- Natural Resources and Environmental Sciences
- Applied Health Sciences
- Carle Illinois College of Medicine
- College of Media
- Education
- Fine & Applied Arts
- General Studies
- Gies College of Business
- Graduate College
- Grainger Engineering
- Labor & Employment Relations
- Law
-
Liberal Arts & Sciences
- ATLAS
- Center for East Asian and Pacific Studies
- Center for Latin American and Caribbean Studies
- Chemistry
- French and Italian
- GGIS
- Jewish Studies
- LAS International Programs
- LAS Teaching Academy
- Math
- MCB Advising Program
- Program in Jewish Culture and Society
- Slavic Languages and Literature
- Sociology
- Sociology Advising
- School of Information Sciences
- Social Work
- Veterinary Medicine
-
ACES
- Research
- Student Life
- Campus Units
- Channels
- Help
Lecture videos for CS 173 this term