"Von der Logik zur Informatik: eine linguistische Reise", London, Vereinigtes Königreich
13 Februar 2013 - 13 Februar 2013
Vereinigtes Königreich
Ein Vortrag mit dem Titel "Von der Logik zur Informatik: eine linguistische Reise" (From Logic to computer science: a linguistic journey) findet am 13. Februar 2013 in London, Vereinigtes Königreich, statt.
Künstliche Sprachen haben eine der großen geistigen Bestrebungen des 20. Jahrhunderts belebt. Sie reiften in den 30er Jahren in der mathematischen Logik heran, im Rahmen der Metamathematik, der Mathematik der Mathematik. Die ersten modernen Programmiersprachen entstanden in den 50er Jahren; durch sie konnten die heutigen komplexen Softwaresysteme geschrieben werden, die die unzähligen Aufgaben durchführen, auf die wir uns jetzt alle verlassen.
Der Vortrag befasst sich mit dem Zusammenspiel von Logik und Informatik und erklärt, was man braucht, um eine künstliche Sprache zu verstehen.Weitere Informationen finden Sie unter:
http://royalsociety.org/events/2013/logic-computer-science/(öffnet in neuem Fenster)
Künstliche Sprachen haben eine der großen geistigen Bestrebungen des 20. Jahrhunderts belebt. Sie reiften in den 30er Jahren in der mathematischen Logik heran, im Rahmen der Metamathematik, der Mathematik der Mathematik. Die ersten modernen Programmiersprachen entstanden in den 50er Jahren; durch sie konnten die heutigen komplexen Softwaresysteme geschrieben werden, die die unzähligen Aufgaben durchführen, auf die wir uns jetzt alle verlassen.
Der Vortrag befasst sich mit dem Zusammenspiel von Logik und Informatik und erklärt, was man braucht, um eine künstliche Sprache zu verstehen.Weitere Informationen finden Sie unter:
http://royalsociety.org/events/2013/logic-computer-science/(öffnet in neuem Fenster)