The Truth of a Procedure in Programming
Offered By: CppNow via YouTube
Course Description
Overview
Explore a thought-provoking conference talk that delves into the mathematical modeling of procedures in programming, drawing parallels between computer science and mathematical logic. Discover how to interpret procedures and their interfaces as logical sentences, examining concepts of truth, falsehood, possibility, impossibility, necessity, and provability. Gain insights from software architect Lisa Lippincott as she presents programming from a logician's perspective, complementing the topologist's view from a previous keynote. Learn about procedural logic, concrete examples in code, and the application of concepts like the Game of Truth, Borel Theorem, and Euclidean Geometry to programming. Enhance your understanding of the intricate relationship between programming and mathematical logic in this comprehensive exploration of the truth of procedures.
Syllabus
Introduction
Procedural logic
Sentences
Code
Concrete Example
Initializing an Integer
CanMultiply
Consistency
Decrement
Epilogue
Game of Truth
Borel Theorem
Euclidean Geometry
Hard Rules
Boolean Claims
The Game of Necessity
New Game
Taught by
CppNow
Related Courses
Logic: Language and Information 1University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Language, Proof and Logic
Stanford University via edX 理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera