1156
  (61 votes, average:4.13) Loading ... |
|
101 – Logik
In Episode 101 spreche ich mit Prof. Dr. Thomas Schwentick über Logik. Dabei geht es um einige grundlegende Begriffe und große Wissenschaftler auf diesem Gebiet sowie um verschiedene Arten der Logik und um informationstechnische Anwendungen.
Buchempfehlungen von Prof. Schwentick:
- Alecos Papadatos, Apostolos Doxiadis, Apostolos Doxiadis: Logicomix – An Epic Search for Truth
- Dirk W. Hoffmann: Grenzen der Mathematik
Restliche Links:
- Syntax
- Semantik
- Mengenlehre
- NP-Vollständigkeit
- P-NP-Problem
- Turingmaschine
- Aussagenlogik
- Modallogik
- Temporale Logik
- Prädikatenlogik
- Fuzzy-Logik
- Beweistheorie
- Rekursionstheorie
- Modelltheorie
- Komplexitätstheorie
- Ontologie
- Gödelscher Vollständigkeitssatz
- Russellsche Antinomie
- XML
- Alan Turing
- Edgar F. Codd
- David Hilbert
- Kurt Gödel
- Christos Papadimitriou
Posted: August 19th, 2012 under podcast, podcast (de).
Tags: Informatik, mathematik
Comments
Comment from Henning
Time August 24, 2012 at 10:05 pm
Kurze Berichtigung zum Intro, bevor ich ich in die Folge richtig einsteige: Ein “Deal” zwischen DLR und Hoaxilla, wie bei Minute 2 gesagt, ist mir nicht bekannt. Ich habe Alexa und Alexander genau wie Euch mal DLR-Ansprechpartner für Interviews vermittelt. Die beiden waren davon seinerzeit wohl so begeistert, dass sie das mal in einer Episode als Kooperation dargestellt haben. So, jetzt aber weiterhören…
Comment from MaNo
Time August 25, 2012 at 7:58 am
… und dieser Begriff “Kooperation” ist dann irgendwie bei mir angekommen und hat zu dem Missverständnis geführt.
Sorry :-)
Markus
Comment from Marco Mag
Time September 8, 2012 at 3:44 am
Hallo
Ich beschäftige mich selbst mit Logik und hatte leicht Mitleid mit dem Prof, als Nora ihn dauernd über Anwendungen ausfragte. Die Sachen sind Mathematik. Sch*** auf Anwendungen ;).
Comment from MaNo
Time September 8, 2012 at 8:09 am
Naja, es gibt schon Anwendungen. Ich selber verwenden SAT Solving und Model Checking. Das ist inzwischen richtig wichtig in der Industrie :-)
Markus
Comment from Bernd
Time August 23, 2012 at 7:28 am
Ich mag eigentlich die theoretischen Beiträge (Zahlentheorie, Komplexität…) aber mit dem Beitrag zur Logik konnte ich nicht viel anfangen