La lógica computacional o lógica formal
siempre ha sido una herramienta fundamental para el progreso de las ciencias
computacionales, y sus desarrollos son la base para elaborar soluciones
informáticas, tanto en software como en hardware.
Diseñar, desarrollar y mantener software son
procesos netamente creativos que se sustentan fundamentalmente en la capacidad
de razonamiento, en el pensamiento computacional y algorítmico y en la
habilidad para abstraer cualquier problema, por lo que es necesario estructurar
este curso para ofrecer una base sólida de la lógica en la línea computacional
para los futuros ingenieros de sistemas. Desde la publicación de los trabajos
de Herbrand en 1930 la lógica se ha convertido en un valioso instrumento conceptual
al servicio de las ciencias computacionales, en la que ayudan para representar
el conocimiento y para soportar el diseño de sistemas de información, es decir,
hoy la lógica computacional se aborda desde la perspectiva de aplicación a la
computación.
No hay comentarios:
Publicar un comentario