Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

The Truth of a Procedure in Programming

CppNow via YouTube

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

Reviews

Start your review of The Truth of a Procedure in Programming

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.