Es la misma lógica matemática aplicada al contexto de las ciencias de la
computación. Su uso es fundamental a varios niveles: en los circuitos
computacionales,en la programación lógica y en el análisis y optimización
(de recursos especiales y temporales) de algoritmos.
El nivel más abstracto dentro de una
computadora está constituido por circuitos
electrónicos que responden a
diferentes señales eléctricas. Sus desarrollos
son la base para elaborar
soluciones informáticas, tanto en software como en
hardware. Es bien conocido
que los profesionales que aplican adecuadamente
el razonamiento lógico tiene mayores posibilidades de éxito, tanto en lo profesional
como en lo personal, ya
que analizar,saber buscar posibilidades, demostrar o
refutar afirmaciones
diversas, le permite a quien tiene ese conocimiento y manejo
ser un mejor ser
humano y por consiguiente un profesional con mayores y mejores
aptitudes y
actitudes para vivir en una sociedad como la actual, necesitada de
ecuanimidad,
raciocinio y capacidad de análisis para solucionar sus cada vez más
complejos
problemas.
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