• Author / Uploaded
• Eder Dario Hernández España ESTUDIANTE

Citation preview

PROTOCOLO INDIVIDUAL UNIDAD 4 MATEMÁTICAS DISCRETAS

El fin de la investigación de los temas de esta unidad de estudio nos permite como lector comprender términos y teorías, que a futuro son complemento del área en que nos vamos a desempeñar como ingenieros, las matemáticas desde la antigüedad aportan conocimiento lógico, de suma importancia al momento de solucionar problemas y paradigmas de la programación, entre estos temas de estudio, me enfoco en los siguientes puntos; La mayoría de los Lenguajes de Programación se basan en la Teoría Lógica de Primer Orden, aunque también incorporan algunos comportamientos de orden superior, en este sentido, destacan los lenguajes funcionales ya que se basan en el Cálculo Lambda, es la única teoría lógica de orden superior. La Programación Lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional. La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes. La más importante es la programación lógica con restricciones, que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis.

La comprensión de los términos se debe a la investigación de los temas con documentación de la red, para mayor comprensión de los mismo, se aplicaran problemas de la vida cotidiana, que permitan enfocar las teorías expuestas, con este analisis espero comprender los temas que abarcan la unidad, con apoyo del docente aclarar las dudas generadas que son los campos de aplicación y cómo podemos desarrollar la programación lógica para dar solución a los problemas planteados.