Turing relaciona lógica y computación antes que cualquier computadora procese datos.
Weiner funda la ciencia de la Cibernética.
En las Escuelas modernas de Computación están presentes Lógicos que han permitido avances importantes como Hoare que presenta un sistema axiomático de los sistemas de programación y Dijkstra con un sistema de verificación y deducción de programas a partir de especificaciones.
No hay comentarios:
Publicar un comentario