show episodes
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Wenn man die Komplexitäten unserer Zeit verstehen möchte, fühlt sich das in etwa so an wie der Versuch, eine Lawine unter dem Mikroskop zu betrachten. Hannes Wittmer ist auf der Suche nach Antworten. Er beschäftigt sich vor allem mit der Frage, wie man vom Verstehen und Bewerten auf eine Handlungsebene kommen kann. Aber was tun? Mehr Infos und die Möglichkeit zum Unterstützen gibt es hier: www.hanneswittmer.de
 
Loading …
show series
 
Für die vierte Episode von Was tun(?) hab ich mich mit der wunderbaren Judith Holofernes auf ihrem heimischen Balkon in Berlin Kreuzberg getroffen. Sie erzählt in einer bemerkenswerten Offenheit von ihren Jahren mit und nach dem Erfolg ihrer Band „Wir sind Helden“, welche Narben sie davon getragen und was sie aus der Zeit gelernt hat. Außerdem spre…
 
Bastian Berbner von der Zeit und Alexandra Rojkov vom Spiegel sind die Hosts vom großartigen "180 Grad - Geschichten gegen den Hass"-Podcast, der mir Anfang des Jahres so manchen Abend gerettet hat. Neben den Hintergründen zum 180 Grad Podcast haben wir unter anderem darüber gesprochen, wie die beiden ihre Rolle als Journalisten begreifen, was der …
 
Ende März hat Eva mit ihrer Band Hundreds ihr neues Album “The Current” veröffentlicht. Aufgrund der Corona-Pandemie ist der Zeitpunkt natürlich denkbar schlecht und so fallen sämtliche Promotermine sowie die geplante Releasetour komplett flach. Neben der Frage, wie man als Band in dieser Situation klar kommt, sprechen Hannes und Eva unter anderem …
 
In diesem Podcast treffen die beiden Songwriter und Musiker Marcus Wiebusch (bekannt als Kopf der Hamburger Band Kettcar) und Hannes Wittmer (ehemals bekannt als Spaceman Spiff) aufeinander und sprechen über das Politisch-Sein als Musiker in turbulenten Zeiten wie diesen. Es geht unter anderem um Unterschiede zwischen den 90er Jahren und heute, die…
 
Loading …

Kurzanleitung

Google login Twitter login Classic login