#3 «De la lógica a la informática: un viaje lingüístico» [Eng]

--364463-- — Wed, 20 Feb 2013 14:29:28 +0000

Enlace directo al vídeo: royalsociety.tv/rsPlayer.aspx?presentationid=1093

» autor: --364463--

#2 «De la lógica a la informática: un viaje lingüístico» [Eng]

--2682-- — Wed, 20 Feb 2013 14:25:03 +0000

#1 Corregido enlace

» autor: --2682--

#1 «De la lógica a la informática: un viaje lingüístico» [Eng]

--364463-- — Wed, 20 Feb 2013 14:19:32 +0000

Ha habido un error en el link. Por favor cambiad a: royalsociety.org/events/2013/logic-computer-science/

Resumen: 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.

» autor: --364463--

Menéame: comentarios [1848987]

#3 «De la lógica a la informática: un viaje lingüístico» [Eng]

#2 «De la lógica a la informática: un viaje lingüístico» [Eng]

#1 «De la lógica a la informática: un viaje lingüístico» [Eng]