Programming with probabilities
Как понять секвенциальное исчисление
Sequent Calculus the handwriting of logic
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Книги по точной математике, которые я прочитал, чтобы пройти путь от новичка до профессионала (ме...
Понимание исчисления (для инженеров)
Introduction to Proof Theory I: Sequent Calculus
"A Little Taste of Dependent Types" by David Christiansen
Вся IT-база в ОДНОМ видео: Память, Процессор, Код
Diagrams for Sequent Calculus
Lambda Calculus vs. Turing Machines (Theory of Computation)
Программирование с использованием математики | Лямбда-исчисление
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
С чего начать высшую математику?
Introduction to Combinatory Logic – #SoME2
A Proof Tree Builder for Sequent Calculus and Hoare Logic
The Integral That Changed Math Forever
Introduction to Proof Theory II: Invertibility, Cut-Elimination, and Proof-search
LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры
The Completeness Theorem