FORA Technology

Season 2009 Episode 0121

Logic Paradigm for C++

out of 10
User Rating
0 votes

By Users

Write A Review

Episode Summary

Logic Paradigm for C++
The Logic paradigm (LP) is a powerful, Turing-complete programming paradigm that has seen little representation in mainstream languages as compared to the Object-Oriented, Imperative and Functional paradigms.LP is an important approach in Computer Science towards what is sometimes referred to as the Holy-Grail of programming "The user states the problem, the computer solves it".Origins of the theory underlying Logic dates back to about 300 B.C. when Aristotle founded Formal Logic to bring rigor to logical inferencing. The theory matured into Modern Logic more recently (early 1900s) when Russell & Whitehead showed that all of Mathematics could be reduced to Logic.This talk will provide an introduction to the basics of LP in C++, followed by plenty of examples to develop a feel for and start thinking in terms of this paradigm. We will also observe how it naturally blends with the other paradigms.And finally, we shall broaden the scope to see how powerful multiparadigm solutions emerge when programmers can freely mix and match paradigms.It will be evident from this talk, how a clean and deep integration of LP makes C++ a fountainhead for the many design patterns yet to be discovered - SF Bay Area ACMmoreless

Episode Discussion

Join the discussion of this episode Episode Discussion

Trivia, Notes, Quotes and Allusions

See All Trivia, Notes, Quotes and Allusions Trivia & Quotes
  • Parallel Worlds: Explorations in Second Life

    S 2008 : Ep 0213

    Aired 2/13/08 (1:42:09)

  • Paula Kerger: Can PBS Survive a YouTube World?

    S 2008 : Ep 0114

    Aired 1/14/08 (1:03:06)

  • Battle of Ideas: My Brain Made Me Do It

    S 2007 : Ep 1028

    Aired 10/28/07 (1:35:00)

  • The Electronic Prescription

    S 2007 : Ep 1005

    Aired 10/5/07 (1:35:00)

Season 2009 Episodes

See All
Ep 09.09.09
A Conversation with Goo...
Ep 10.20.09
A Conversation with Com...
Ep 09.09.09
Kojo Nnamdi One-on-One ...
Ep 10.20.09
Microsoft's Craig Mundi...
Ep 09.09.09
Clay Shirky on Technolo...
Ep 09.09.09
Social Media, Diplomacy...
Ep 1208
DiscoveryBeat 2009: Mov...
Ep 1208
DiscoveryBeat 2009: Bri...
Ep 1208
David Calkins: Does You...
Ep 1206
Brewster Kahle: Univers...
Ep 1119
GreenBeat 2009: Interne...
Ep 1119
Minds For Sale: The Fut...
Ep 1118
Paley Center IC2009: A ...
Ep 1110
Googled: The End of the...
Ep 1106
Bart Sayer: The Digitia...
Ep 1106
Gina Sanders: The Power...
Ep 1106
Martin Nisenholtz: The ...
Ep 1105
Tweeting Question Time
Ep 1031
Rethinking Privacy in a...
Ep 1021
Christian Kreibich: Inf...
Ep 1021
A Conversation with Twi...
Ep 1014
ACM Data Mining SIG: Te...
Ep 1008
Next Decade Technologie...
Ep 1008
Next Decade Technologie...
Ep 1007
FBI in the Virtual Worl...
Ep 1006
The Digital Era: What's...