46:50
Logic & Foundations with Haskell: Haskell 14 :: Rational and Complex Numbers / Polynomials
446 views • 1 year ago
1:16:56
Logic & Foundations with Haskell :: Axiomatic Set Theory
437 views • 1 year ago
33:45
Logic & Foundations with Haskell :: Naive Set Theory
252 views • 1 year ago
23:01
Logic & Foundations with Haskell: Haskell 13 :: Integers from Natural Numbers
187 views • 1 year ago
37:30
Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural Numbers
115 views • 1 year ago
20:33
Logic & Foundations with Haskell: Haskell 11 :: Partial and Multivalued Functions
139 views • 1 year ago
33:05
Logic & Foundations with Haskell: Haskell 10 :: Folding over Lists
156 views • 1 year ago
1:19:45
Logic & Foundations with Haskell: Logic 9 :: Completeness of Natural Deduction for LP
339 views • 1 year ago
48:01
Logic & Foundation with Haskell: Haskell 9 :: Natural Numbers
211 views • 1 year ago
42:17
Logic & Foundations with Haskell: Logic 8 :: Soundness of Natural Deduction for Propositional Logic
342 views • 1 year ago
17:22
Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic
232 views • 1 year ago
1:04:18
Logic & Foundations with Haskell: Haskell 8 :: Implementing Functions
204 views • 1 year ago
49:27
Logic & Foundations with Haskell: Logic 6 :: Language of Propositional Logic
306 views • 1 year ago
53:46
Logic & Foundations with Haskell: Haskell 7 :: Implementing Relations
238 views • 1 year ago
56:19
Logic & Foundations with Haskell: Haskell 6 :: Sets
284 views • 1 year ago
1:48:26
Logic & Foundations with Haskell: Logic 5 :: Natural Deduction
429 views • 1 year ago
1:02:54
Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical Functions
317 views • 1 year ago
1:38:32
Logic & Foundations with Haskell: Logic 4 :: Informal Proof Theory
455 views • 1 year ago
1:17:31
Logic & Foundations with Haskell: Haskell 4 :: Functions
354 views • 1 year ago
34:26
Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses
455 views • 1 year ago
58:26
Logic & Foundations with Haskell: Logic 3 :: Naive First Order Logic
444 views • 1 year ago
1:11:03
Logic & Foundations with Haskell: Haskell 2 :: Basic Operations
489 views • 1 year ago
15:54
Logic & Foundations with Haskell: Haskell 1 :: Setup
514 views • 1 year ago
1:01:19
Logic & Foundations with Haskell: Logic 2 :: Naive Propositional Logic
641 views • 1 year ago
28:16
Logic & Foundations with Haskel: Logic 1 :: Introduction
1.1K views • 1 year ago
7:34
Logic & Foundations with Haskell: Course Intro
9.1K views • 1 year ago
1:38:26
Lens Dynamics 4: Building a biological oscillator
303 views • 1 year ago
1:56:01
Impossible Geometric Constructions
450 views • 1 year ago
58:41
Topology Lecture 24: Closed Map Lemma
1.4K views • 1 year ago
35:48
Topology Lecture 23: Compactness III
1.5K views • 1 year ago
Load More