46:50

Logic & Foundations with Haskell: Haskell 14 :: Rational and Complex Numbers / Polynomials

01:16:56

Logic & Foundations with Haskell :: Axiomatic Set Theory

33:45

Logic & Foundations with Haskell :: Naive Set Theory

23:01

Logic & Foundations with Haskell: Haskell 13 :: Integers from Natural Numbers

37:30

Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural Numbers

20:33

Logic & Foundations with Haskell: Haskell 11 :: Partial and Multivalued Functions

33:05

Logic & Foundations with Haskell: Haskell 10 :: Folding over Lists

01:19:45

Logic & Foundations with Haskell: Logic 9 :: Completeness of Natural Deduction for LP

48:01

Logic & Foundation with Haskell: Haskell 9 :: Natural Numbers

42:17

Logic & Foundations with Haskell: Logic 8 :: Soundness of Natural Deduction for Propositional Logic

17:22

Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic

01:04:18

Logic & Foundations with Haskell: Haskell 8 :: Implementing Functions

49:27

Logic & Foundations with Haskell: Logic 6 :: Language of Propositional Logic

53:46

Logic & Foundations with Haskell: Haskell 7 :: Implementing Relations

56:19

Logic & Foundations with Haskell: Haskell 6 :: Sets

01:48:26

Logic & Foundations with Haskell: Logic 5 :: Natural Deduction

01:02:54

Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical Functions

01:38:32

Logic & Foundations with Haskell: Logic 4 :: Informal Proof Theory

01:17:31

Logic & Foundations with Haskell: Haskell 4 :: Functions

34:26

Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses

58:26

Logic & Foundations with Haskell: Logic 3 :: Naive First Order Logic

01:11:03

Logic & Foundations with Haskell: Haskell 2 :: Basic Operations

15:54

Logic & Foundations with Haskell: Haskell 1 :: Setup

01:01:19

Logic & Foundations with Haskell: Logic 2 :: Naive Propositional Logic

28:16

Logic & Foundations with Haskel: Logic 1 :: Introduction

07:34

Logic & Foundations with Haskell: Course Intro

01:38:26

Lens Dynamics 4: Building a biological oscillator

01:56:01

Impossible Geometric Constructions

58:41

Topology Lecture 24: Closed Map Lemma

35:48

Topology Lecture 23: Compactness III

59:50

Topology Lecture 22: Compactness II

49:45

Topology Lecture 21: Compactness I

01:02:00

Topology Lecture 20: Components and Local Connectedness

01:38:47

Sequents, semantics, and inductive types in Lean.

43:49

Topology Lecture 19: Path-Connectedness

21:50

Modeling Dynamical Systems with Lenses 3: Parallel Product

01:19:41

Topology Lecture 18: Connectedness

39:33

Modeling Dynamical Systems with Lenses 2: Lens Composition

27:23

Modeling Dynamical Systems with Lenses 1: Lenses & Moore Machines

31:12

Topology Lecture 17: Adjunction Spaces

27:20

Graph Theory 01: Basic Definitions

48:00

Topology Lecture 16: Quotient Spaces III

59:41

Topology Lecture 15: Quotient Spaces II

01:00:58

Topology Lecture 14: Quotient Spaces I

37:12

Topology Lecture 13: Disjoint Union Spaces

01:00:18

Topology Lecture 12: Product Spaces

35:17

Topology Lecture 11: Subspaces

46:49

Topology Lecture 10: Topological Manifolds

31:10

Topology Lecture 09: Countability Properties

42:23

Topology Lecture 08: Basis for a Topology

32:01

Topology Lecture 07: Hausdorff Spaces

31:43

Topology Lecture 06: Open / Closed Maps

20:18

Topology Lecture 05 Supplemental: A bijective continuous function without continuous inverse

45:10

Topology Lecture 05: Homeomorphism

41:21

Topology Lecture 04: Continuous Maps

31:24

Topology Lecture 03: Convergence

42:28

Topology Lecture 02: Closed Sets & Closure

40:31

Topology Lecture 01: Topological Spaces

18:45

Graph Theory 11: Characterizing Trees

14:17

Graph Theory 10: Trees