Frank Swenton

Reduction of Turing Machines, part 2 (3F Class Video)

Frank Swenton

3E Class Video Reduction, Part 1

Frank Swenton

3C Class Video - Universal Turing Machines (UTM's) and some things you can prove with them

Frank Swenton

Pumping Lemma for CFL's (including an example usage and a non-example)

Frank Swenton

NFA's 4 Constructing a regular expression for the set accepted by any DFA or NFA

Frank Swenton

NFA's 3 prep; NFA's for the sum, product, and asterate; and NFA from a regular expression

Frank Swenton

Conway's calculus proof of the irrationality of the square root of 2 (and more).

Frank Swenton

Middlebury First-Year Registration - course preference list walkthrough

Frank Swenton

NFA's 2 Branching and the Subset Construction (converting an NFA into an equivalent DFA)

Frank Swenton

Nondeterministic Finite Automata NFA's 1

Frank Swenton

Ultimate periodicity and non-regular sets

Frank Swenton

The Product Construction for DFA's

Frank Swenton

Strings 3

Frank Swenton

Regular Sets

Frank Swenton

Strings 1

Frank Swenton

Deterministic Finite Automata 2

Frank Swenton

Strings 2

Frank Swenton

Deterministic Finite Automata 1

Frank Swenton

Steinitz's Exchange Lemma in Linear Algebra

Frank Swenton

Orgo-SketchPad 0.2a

Frank Swenton

Orgo-Sketchpad 0a

Frank Swenton

Braids in Illustrator

Frank Swenton

Keyboard-only LaTeX equations in Canvas (on Windows)

Frank Swenton

4 - Continuity in metric spaces

Frank Swenton

3 - Open and closed sets

Frank Swenton

1 - Intro to metric spaces

Frank Swenton

2 - Sequences in metric spaces

Frank Swenton

Logical constructions for all, there exists, and implies

Frank Swenton

Span proof example

Frank Swenton

Linear independence proof example

Frank Swenton