Philomathia
Philomathia
  • 56
  • 27 754
Lambda Calculus For Dummies: What is a lambda expression
In this video we will talk about lambda expressions; we will explain the lambda notation used in lambda calculus to define functions, and we will give some examples.
This video will be part of a series that I called "Lambda Calculus For Dummies", to stress that I will try to make these videos as accessible and simple as possible.
Tags:
#lambdacalculus #functionalprogramming #functions #lambdaexpressions #mathematics
lambda calculus
lambda term
lambda expression
turing completeness
what is a lambda expression
lambda calculus for beginners
beginner
lambda calculus tutorial
tutorial
lambda calculus course
lambda calculus series
lambda calculus from scratch
functions
easy explanation
theoretical computer science
applied mathematics
mathematics for computer science
math for computer science
maths for comp sci
maths for computer science
logic
computer science
comp sci
programming
functional programming
haskell
alonzo church
turing computable
functions
intensional vs extensional view of functions
lambda calculus for dummies
applied lambda calculus
ZFC
function
graph
rule
formula
function rule
programmer
มุมมอง: 425

วีดีโอ

Lambda Calculus For Dummies: Introduction
มุมมอง 5772 หลายเดือนก่อน
In this video we will give an introduction to the basic notions of the lambda calculus, the formal system of computation developed by Alonzo Church. This video will be part of a series that I called "Lambda Calculus For Dummies", to stress that I will try to make these videos as accessible and simple as possible. Tags: #lambdacalculus #functionalprogramming #lambdaexpression #computerscience #m...
Montague Grammar: A Mathematical Theory of Meaning
มุมมอง 2302 หลายเดือนก่อน
In this video we will give an animated introduction to Montague Grammar; in particular, we will focus on Montague's 1970 paper by the name of "Universal Grammar". Note 1: See Partee, Barbara H. "Reflections of a Formal Semanticist as of Feb 2005", p.5 Tags: #formalsemantics #semantics #linguistics #mathematics #montaguegrammar Montague Grammar Richard Montague Formal Semantics formal semantics ...
The Weierstrass Preparation Theorem
มุมมอง 2285 หลายเดือนก่อน
In this video we will provide an animated proof of the Weierstrass preparation theorem, a fundamental result in several complex variables, complex manifolds and complex geometry. #complexanalysis #severalcomplexvariables #complexgeometry #algebraicgeometry #sheaves Tags: several complex variables algebraic geometry complex geometry sheaves sheaf theory presheaf stalks germs germs of holomorphic...
The Fundamental Group of a Manifold Is Countable: A Visual Proof
มุมมอง 2.2K5 หลายเดือนก่อน
In this video we will provide a visual proof of the fact that the fundamental group of a topological manifold is countable; the proof proceeds in almost the same way for topological manifolds with boundary, except some minor details. Tags: #differentialgeometry #mathematics #topology #algebraictopology #manifolds differential geometry maths mathematics fundamental group fundamental groupoid pat...
Latino Sine Flexione: The Forgotten International Language
มุมมอง 6646 หลายเดือนก่อน
In this video we discuss "Latino sine flexione", an interesting constructed language created by Giuseppe Peano to make international academic communication simpler. Tags: #language #internationallanguage #linguistics #latinosineflexione #latin latin languages language latino sine flexione Giuseppe Peano Peano latino sine flexione latino international languages esperanto volapuk academia pro int...
Linear algebra in hyperbolic space: Introduction to Gyrovector spaces
มุมมอง 8K6 หลายเดือนก่อน
In this video we will talk about gyrovector spaces, the hyperbolic analogue of vector spaces. We will see how and why they were introduced, by focusing also on their relationship with thomas rotations and Einstein's velocity-addition formula. Timestamps: 00:00 Motivation behind vector spaces 04:53 Definition of a vector space 7:04 What is hyperbolic geometry? 10:18 Gyrovector spaces 10:54 Gyrog...
What the Schrodinger equation truly means: Schrödinger's original derivation
มุมมอง 11K6 หลายเดือนก่อน
In this video we will give 2 derivations of Schrödinger's equation: the first one is precisely Schrödinger's original derivation gave in his paper "Quantisation as an eigenvalue problem (part I)" ["Quantisierung als Eigenwertproblem" in german], whereas the second one is a derivation starting from the one-parameter group of strongly-continuos unitary time evolution operators. These 2 derivation...
Learn Golang 22: Anonymous structures (learn Go programming language)
มุมมอง 386 หลายเดือนก่อน
In this video we will cover anonymous structures and structures with anonymous fields. In this video I used vim as a text editor and set up a local environment for golang, but I recommend that you stick with the website we have used for the first 2 videos (for now): play.golang.com/ If you liked this video and found it useful, I would be glad if you subscribed to the channel and liked the video...
Learn Golang 21: Structures (learn Go programming language)
มุมมอง 476 หลายเดือนก่อน
In this video we will cover structures and their use cases in the Go programming language. In this video I used vim as a text editor and set up a local environment for golang, but I recommend that you stick with the website we have used for the first 2 videos (for now): play.golang.com/ If you liked this video and found it useful, I would be glad if you subscribed to the channel and liked the v...
Learn Golang 20: Applications of pointers (learn Go programming language)
มุมมอง 416 หลายเดือนก่อน
In this video we will talk about how we can use pointers in our programs by providing some examples. In this video I used vim as a text editor and set up a local environment for golang, but I recommend that you stick with the website we have used for the first 2 videos (for now): play.golang.com/ If you liked this video and found it useful, I would be glad if you subscribed to the channel and l...
Abstract Algebra 14: Cayley's theorem and automorphisms
มุมมอง 527 หลายเดือนก่อน
In this video we will prove Cayley's theorem and introduce automorphism groups, a very important topic in group theory. If you liked this video and found it useful, I would be glad if you subscribed to the channel and liked the video to make this video get recommended to other people too. Tags: #grouptheory #maths #mathematics #cayleytheorem #abstractalgebra group theory group theory lectures g...
Abstract Algebra 13: Properties of isomorphisms
มุมมอง 1737 หลายเดือนก่อน
In this video we will prove some important (local and global) properties of isomorphisms. If you liked this video and found it useful, I would be glad if you subscribed to the channel and liked the video to make this video get recommended to other people too. Tags: #grouptheory #maths #mathematics #permutations #abstractalgebra group theory group theory lectures group theory course abstract alg...
Abstract Algebra 12: Isomorphisms and homomorphisms of groups
มุมมอง 1497 หลายเดือนก่อน
In this video we will talk about isomorphisms and homomorphisms of groups. If you liked this video and found it useful, I would be glad if you subscribed to the channel and liked the video to make this video get recommended to other people too. Tags: #grouptheory #maths #mathematics #permutations #abstractalgebra group theory group theory lectures group theory course abstract algebra algebra un...
Learn bash scripting 5: Pipes
มุมมอง 927 หลายเดือนก่อน
In this video we will introduce pipes in bash, and we will employ them in some practical (but pretty simple) situations. If you liked this video and found it useful, I would be glad if you subscribed to the channel and liked the video to make this video get recommended to other people too. Tags: #bash #bashscripting #linux #terminal #basharithmetic bash scripting bash linux terminal shell varia...
Learn bash scripting 4: Basic arithmetic
มุมมอง 127 หลายเดือนก่อน
Learn bash scripting 4: Basic arithmetic
Learn bash scripting 3: Variables
มุมมอง 547 หลายเดือนก่อน
Learn bash scripting 3: Variables
Learn bash scripting 2: Some basic commands
มุมมอง 387 หลายเดือนก่อน
Learn bash scripting 2: Some basic commands
Learn bash scripting 1: Write your first program
มุมมอง 2117 หลายเดือนก่อน
Learn bash scripting 1: Write your first program
Learn the basics of Go: full course for beginners (learn golang in 3 hours)
มุมมอง 2207 หลายเดือนก่อน
Learn the basics of Go: full course for beginners (learn golang in 3 hours)
Abstract Algebra 11: parity, transpositions and order of permutations
มุมมอง 867 หลายเดือนก่อน
Abstract Algebra 11: parity, transpositions and order of permutations
Learn Golang 19: Pointers (learn Go programming language)
มุมมอง 507 หลายเดือนก่อน
Learn Golang 19: Pointers (learn Go programming language)
Learn Golang 18: Maps (learn Go programming language)
มุมมอง 307 หลายเดือนก่อน
Learn Golang 18: Maps (learn Go programming language)
Assembly 5: The .bss section
มุมมอง 1697 หลายเดือนก่อน
Assembly 5: The .bss section
Learn Golang 17: Break and continue (learn Go programming language)
มุมมอง 168 หลายเดือนก่อน
Learn Golang 17: Break and continue (learn Go programming language)
Learn Golang 16: Anonymous functions (learn Go programming language)
มุมมอง 328 หลายเดือนก่อน
Learn Golang 16: Anonymous functions (learn Go programming language)
Learn Golang 15: Functions (learn Go programming language)
มุมมอง 348 หลายเดือนก่อน
Learn Golang 15: Functions (learn Go programming language)
Learn Golang 14: For loops (learn Go programming language)
มุมมอง 328 หลายเดือนก่อน
Learn Golang 14: For loops (learn Go programming language)
Learn Golang 13: Slices (learn Go programming language)
มุมมอง 858 หลายเดือนก่อน
Learn Golang 13: Slices (learn Go programming language)
Abstract Algebra 10: cycle notation and disjoint cycles
มุมมอง 588 หลายเดือนก่อน
Abstract Algebra 10: cycle notation and disjoint cycles