Канал: Marius Furter

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

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

Logic & Foundations with Haskell :: Axiomatic Set Theory

Logic & Foundations with Haskell :: Axiomatic Set Theory

Logic & Foundations with Haskell :: Naive Set Theory

Logic & Foundations with Haskell :: Naive Set Theory

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Logic & Foundations with Haskell: Haskell 6 :: Sets

Logic & Foundations with Haskell: Haskell 6 :: Sets

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

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

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

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

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

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

Logic & Foundations with Haskell: Haskell 4 :: Functions

Logic & Foundations with Haskell: Haskell 4 :: Functions

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

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

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

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

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

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

Logic & Foundations with Haskell: Haskell 1 :: Setup

Logic & Foundations with Haskell: Haskell 1 :: Setup

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

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

Logic & Foundations with Haskel: Logic 1 :: Introduction

Logic & Foundations with Haskel: Logic 1 :: Introduction

Logic & Foundations with Haskell: Course Intro

Logic & Foundations with Haskell: Course Intro

Lens Dynamics 4: Building a biological oscillator

Lens Dynamics 4: Building a biological oscillator

Impossible Geometric Constructions

Impossible Geometric Constructions

Topology Lecture 24: Closed Map Lemma

Topology Lecture 24: Closed Map Lemma

Topology Lecture 23: Compactness III

Topology Lecture 23: Compactness III

Topology Lecture 22: Compactness II

Topology Lecture 22: Compactness II

Topology Lecture 21: Compactness I

Topology Lecture 21: Compactness I

Topology Lecture 20: Components and Local Connectedness

Topology Lecture 20: Components and Local Connectedness

Sequents, semantics, and inductive types in Lean.

Sequents, semantics, and inductive types in Lean.

Topology Lecture 19: Path-Connectedness

Topology Lecture 19: Path-Connectedness

Modeling Dynamical Systems with Lenses 3: Parallel Product

Modeling Dynamical Systems with Lenses 3: Parallel Product

Topology Lecture 18: Connectedness

Topology Lecture 18: Connectedness

Modeling Dynamical Systems with Lenses 2: Lens Composition

Modeling Dynamical Systems with Lenses 2: Lens Composition

Modeling Dynamical Systems with Lenses 1: Lenses & Moore Machines

Modeling Dynamical Systems with Lenses 1: Lenses & Moore Machines

Topology Lecture 17: Adjunction Spaces

Topology Lecture 17: Adjunction Spaces

Graph Theory 01: Basic Definitions

Graph Theory 01: Basic Definitions

Topology Lecture 16: Quotient Spaces III

Topology Lecture 16: Quotient Spaces III

Topology Lecture 15: Quotient Spaces II

Topology Lecture 15: Quotient Spaces II

Topology Lecture 14: Quotient Spaces I

Topology Lecture 14: Quotient Spaces I

Topology Lecture 13: Disjoint Union Spaces

Topology Lecture 13: Disjoint Union Spaces

Topology Lecture 12: Product Spaces

Topology Lecture 12: Product Spaces

Topology Lecture 11: Subspaces

Topology Lecture 11: Subspaces

Topology Lecture 10: Topological Manifolds

Topology Lecture 10: Topological Manifolds

Topology Lecture 09: Countability Properties

Topology Lecture 09: Countability Properties

Topology Lecture 08: Basis for a Topology

Topology Lecture 08: Basis for a Topology

Topology Lecture 07: Hausdorff Spaces

Topology Lecture 07: Hausdorff Spaces

Topology Lecture 06: Open / Closed Maps

Topology Lecture 06: Open / Closed Maps

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

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

Topology Lecture 05: Homeomorphism

Topology Lecture 05: Homeomorphism

Topology Lecture 04: Continuous Maps

Topology Lecture 04: Continuous Maps

Topology Lecture 03: Convergence

Topology Lecture 03: Convergence

Topology Lecture 02: Closed Sets & Closure

Topology Lecture 02: Closed Sets & Closure

Topology Lecture 01: Topological Spaces

Topology Lecture 01: Topological Spaces

Graph Theory 11: Characterizing Trees

Graph Theory 11: Characterizing Trees

Graph Theory 10: Trees

Graph Theory 10: Trees

Graph Theory 09: Edge Connectivity

Graph Theory 09: Edge Connectivity

Enriched Natural Transformations

Enriched Natural Transformations

Enriched Functors pt II: Examples

Enriched Functors pt II: Examples

Enriched Functors pt I: Definition

Enriched Functors pt I: Definition

Enriched Categories pt III: Examples

Enriched Categories pt III: Examples

Enriched Categories pt II: Definition

Enriched Categories pt II: Definition

Enriched Categories pt I: Motivation

Enriched Categories pt I: Motivation

Closed Symmetric Monoidal Categories: Definition and Examples

Closed Symmetric Monoidal Categories: Definition and Examples

Monoidal Categories

Monoidal Categories

Graph Theory 08: Separation and k-Connectivity

Graph Theory 08: Separation and k-Connectivity

Graph Theory 07: Connectivity and Walks

Graph Theory 07: Connectivity and Walks

Graph Theory 06: Petersen Graph and Radius

Graph Theory 06: Petersen Graph and Radius

Graph Theory 05: Paths and Cycles III

Graph Theory 05: Paths and Cycles III

Graph Theory 04: Paths and Cycles II

Graph Theory 04: Paths and Cycles II

Graph Theory 03: Paths and Cycles I

Graph Theory 03: Paths and Cycles I

Graph Theory 02: Vertex Degree

Graph Theory 02: Vertex Degree

LinAlg 05: Subspaces

LinAlg 05: Subspaces

LinAlg 04: Basic Properties of Vector Spaces

LinAlg 04: Basic Properties of Vector Spaces

LinAlg 03: Examples of Vector Spaces

LinAlg 03: Examples of Vector Spaces

LinAlg 02: Vector Spaces

LinAlg 02: Vector Spaces

LinAlg 01: Rⁿ and Cⁿ

LinAlg 01: Rⁿ and Cⁿ