|
|
|
 |
 |
|
| |
Notiziario Marketpress di
Lunedì 04 Febbraio 2013 |
|
| |
|
|
| |
"DALLA LOGICA ALL´INFORMATICA: UN VIAGGIO LINGUISTICO"
|
|
| |
|
|
| |
Londra, 4 febbraio 2013 - 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/ |
|
| |
|
|
| |
<<BACK |
|
|
|
|
|
|
|
