-
From Margaret Fleck
333 plays 1Well, it's the end of the term. Have a great summer! -
From Margaret Fleck
1,207 plays 0Fun applications of uncountability: uncomputability, aperiodic tilings, quasicrystals -
From Margaret Fleck
1,547 plays 0Uncountable sets, including two proofs by diagonalization -
From Margaret Fleck
1,734 plays 0More examples of countable sets -
From Margaret Fleck
1,617 plays 0Conway's Game of Life, a state diagram with infinitely many states. -
From Margaret Fleck
1,994 plays 0Measuring the size of sets using bijections and one-to-one functions -
From Margaret Fleck
1,756 plays 0Phone lattices -
From Margaret Fleck
1,944 plays 0A simple state diagram example (the jug puzzle) -
From Margaret Fleck
1,483 plays 0Proof of a graph theorem using contradiction -
From Margaret Fleck
1,795 plays 0Proof by contradiction: the basics -
From Margaret Fleck
2,016 plays 0Counting subsets (no repetition) and assortments (like subsets but with repetition) -
From Margaret Fleck
2,240 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
2,983 plays 0Karatsuba's algorithm -
From Margaret Fleck
2,995 plays 0Building a recursive running time function from a fragment of code -
From Margaret Fleck
2,725 plays 1Proving a primitive function relationship -
From Margaret Fleck
3,391 plays 0Asymptotic complexity (big-O and its friends) -
From Margaret Fleck
2,228 plays 0Grammar trees and induction on grammar trees -
From Margaret Fleck
2,354 plays 0Using induction to prove a claim about trees. -
From Margaret Fleck
3,941 plays 0Using a recursion tree to find a closed form. -
From Margaret Fleck
2,008 plays 0Another example of unrolling a recursive definition. -
From Margaret Fleck
2,093 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,104 plays 0Unrolling and recursive definition using a hypercube example -
From Margaret Fleck
1,893 plays 0Using induction to prove a claim about the game Nim -
From Margaret Fleck
2,035 plays 1Using induction to prove a claim about triominos -
From Margaret Fleck
2,343 plays 0Why is induction a valid technique? -
From Margaret Fleck
3,098 plays 0Introduction to induction proofs, using a simple summation example -
From Margaret Fleck
2,819 plays 0Two-way bounding, including graph coloring -
From Margaret Fleck
2,652 plays 0Counting isomorphisms
Skip to content
- 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