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

Learn to Program: Crafting Quality Code
University of Toronto via Coursera Introduction to Agile Software Development: Tools & Techniques
University of California, Berkeley via edX Software Architecture & Design
Georgia Institute of Technology via Udacity Software Design for Non-Designers
mooc.house via Independent Técnicas Avançadas para Projeto de Software
Instituto Tecnológico de Aeronáutica via Coursera