«De la lógica a la informática: un viaje lingüístico», Londres, Reino Unido
13 Febrero 2013 - 13 Febrero 2013
Reino Unido
La conferencia titulada «De la lógica a la informática: un viaje lingüístico» (From logic to computer science: a linguistic journey) se impartirá el 13 de febrero de 2013 en Londres, Reino Unido.
Los lenguajes artificiales dieron lugar a una de las grandes empresas intelectuales del siglo XX. Alcanzaron la madurez en los ámbitos de la lógica matemática, alrededor de la década de los años treinta, en el estudio de las metamatemáticas, es decir, las matemáticas de las matemáticas. Los primeros lenguajes de programación modernos aparecieron en los años cincuenta, haciendo posible escribir los complejos sistemas de software actuales, que llevan a cabo la infinidad de tareas de las que dependemos hoy en día.
En esta conferencia se indagará en la interrelación entre la lógica y la informática y se explicarán los requisitos para entender un lenguaje artificial.Para más información, consulte:
http://royalsociety.org/events/2013/logic-computer-science/(se abrirá en una nueva ventana)
Los lenguajes artificiales dieron lugar a una de las grandes empresas intelectuales del siglo XX. Alcanzaron la madurez en los ámbitos de la lógica matemática, alrededor de la década de los años treinta, en el estudio de las metamatemáticas, es decir, las matemáticas de las matemáticas. Los primeros lenguajes de programación modernos aparecieron en los años cincuenta, haciendo posible escribir los complejos sistemas de software actuales, que llevan a cabo la infinidad de tareas de las que dependemos hoy en día.
En esta conferencia se indagará en la interrelación entre la lógica y la informática y se explicarán los requisitos para entender un lenguaje artificial.Para más información, consulte:
http://royalsociety.org/events/2013/logic-computer-science/(se abrirá en una nueva ventana)