46:50
Logic & Foundations with Haskell: Haskell 14 :: Rational and Complex Numbers / Polynomials
443 views • 1 year ago
1:16:56
Logic & Foundations with Haskell :: Axiomatic Set Theory
432 views • 1 year ago
33:45
Logic & Foundations with Haskell :: Naive Set Theory
250 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
137 views • 1 year ago
33:05
Logic & Foundations with Haskell: Haskell 10 :: Folding over Lists
155 views • 1 year ago
1:19:45
Logic & Foundations with Haskell: Logic 9 :: Completeness of Natural Deduction for LP
338 views • 1 year ago
48:01
Logic & Foundation with Haskell: Haskell 9 :: Natural Numbers
210 views • 1 year ago
42:17
Logic & Foundations with Haskell: Logic 8 :: Soundness of Natural Deduction for Propositional Logic
340 views • 1 year ago
17:22
Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic
230 views • 1 year ago
1:04:18
Logic & Foundations with Haskell: Haskell 8 :: Implementing Functions
203 views • 1 year ago
49:27
Logic & Foundations with Haskell: Logic 6 :: Language of Propositional Logic
304 views • 1 year ago
53:46
Logic & Foundations with Haskell: Haskell 7 :: Implementing Relations
236 views • 1 year ago
56:19
Logic & Foundations with Haskell: Haskell 6 :: Sets
282 views • 1 year ago
1:48:26
Logic & Foundations with Haskell: Logic 5 :: Natural Deduction
425 views • 1 year ago
1:02:54
Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical Functions
313 views • 1 year ago
1:38:32
Logic & Foundations with Haskell: Logic 4 :: Informal Proof Theory
452 views • 1 year ago
1:17:31
Logic & Foundations with Haskell: Haskell 4 :: Functions
351 views • 1 year ago
34:26
Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses
450 views • 1 year ago
58:26
Logic & Foundations with Haskell: Logic 3 :: Naive First Order Logic
441 views • 1 year ago
1:11:03
Logic & Foundations with Haskell: Haskell 2 :: Basic Operations
483 views • 1 year ago
15:54
Logic & Foundations with Haskell: Haskell 1 :: Setup
507 views • 1 year ago
1:01:19
Logic & Foundations with Haskell: Logic 2 :: Naive Propositional Logic
634 views • 1 year ago
28:16
Logic & Foundations with Haskel: Logic 1 :: Introduction
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
300 views • 1 year ago
1:56:01
Impossible Geometric Constructions
447 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