"Dalla logica all'informatica: un viaggio linguistico", Londra, Regno Unito
13 Febbraio 2013 - 13 Febbraio 2013
Regno Unito
Il 13 febbraio 2013 si terrà a Londra, nel Regno Unito, una conferenza intitolata "Dalla logica all'informatica: un viaggio linguistico" (From Logic to computer science: a linguistic journey).
I linguaggi artificiali hanno dato luogo a uno dei più grandi sforzi intellettuali del XX secolo. Essi sono maturati nell'ambito della logica matematica, intorno agli anni '30, nella ricerca della metamatematica, ovvero la matematica della matematica. I primi linguaggi di programmazione moderni sono sorti negli anni '50, rendendo possibile la scrittura dei complessi sistemi software di oggi, che svolgono la miriade di compiti ai quali ormai tutti ci affidiamo.
La conferenza verterà sull'interazione tra logica e informatica, spiegando cosa occorre per capire un linguaggio artificiale.Per ulteriori informazioni, visitare:
http://royalsociety.org/events/2013/logic-computer-science/(si apre in una nuova finestra)
I linguaggi artificiali hanno dato luogo a uno dei più grandi sforzi intellettuali del XX secolo. Essi sono maturati nell'ambito della logica matematica, intorno agli anni '30, nella ricerca della metamatematica, ovvero la matematica della matematica. I primi linguaggi di programmazione moderni sono sorti negli anni '50, rendendo possibile la scrittura dei complessi sistemi software di oggi, che svolgono la miriade di compiti ai quali ormai tutti ci affidiamo.
La conferenza verterà sull'interazione tra logica e informatica, spiegando cosa occorre per capire un linguaggio artificiale.Per ulteriori informazioni, visitare:
http://royalsociety.org/events/2013/logic-computer-science/(si apre in una nuova finestra)