Herramientas de Lógica Computacional

1. Presentar un contexto en la ingeniería de sistemas en el que se use el cálculo de

predicados.

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.

En un contexto real, el humano se comunica; y lo hace con variedad de métodos, ya sea

naturalmente o por variantes en la sociedad, la lógica por medio del lenguaje y de sus reglas,
proporciona las herramientas para intervenir con las situaciones problemáticas, y aplicarlas en
diferentes áreas de las ciencias en general.

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.