Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Herramientas de Lógica Computacional
Herramientas de Lógica Computacional
La lógica una palabra que desde centenares de años a tenido significados como razón, ciencia
entre otras, en la ingeniería y en la matemática se podría decir que son los métodos de
razonamiento, esto proporciona información para determinar si un argumento es válido o no, así
se obtienen tanto métodos como conclusiones, en la ingeniería específicamente, y en ciencias de
la computación es usada para demostrar teoremas y resolver problemas, en generar para
hacernos una vida más sencilla.
Todo lo anterior mencionado, aporta grandes ventajas para mejorar los programas y la lógica
computacional, ya que en este campo del conocimiento, la especificación es una de las fases más
empleadas ,esta labor es requerida para el correcto funcionamiento de las características del
programa y del código fuente, esto quiere decir que es un principio fundamental para la ingeniería
de sistemas ,de software , informática, arquitectura del sistema, modelo de sistema, optimización,
automatización , sistemas dinámicos ,análisis de sistemas y análisis estadístico.