Axiomatic Programming - From Euclidean Deductions to C++ Templates and Beyond

Offered By: CppNow via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore the evolution of axiomatic programming in this keynote address from C++Now 2014, tracing its roots from Euclidean deductions to modern C++ templates and beyond. Delve into the fundamental principles of axiomatic systems and their application in programming paradigms, with a focus on how C++ templates embody these concepts. Gain insights into the historical context, theoretical foundations, and practical implementations of axiomatic programming, while examining its potential future developments and impact on software design and development.

Syllabus

Axiomatic Programming: From Euclidean Deductions to C++ Templates and Beyond

Taught by

CppNow

Related Courses

Pensamiento algorítmico
Tecnológico de Monterrey via Coursera 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera Cómo resolver problemas y tomar decisiones con eficacia
University of California, Irvine via Coursera Wissenschaftliches Denken, Arbeiten und Schreiben
Fachhochschule Münster via iversity Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity