Lógica proposicional y de predicados con soporte en tecnologías

La carrera de matemáticas de la Escuela Superior Politécnica de Chimborazo (ESPOCH) carece de un documento referencial que aborde la lógica proposicional y de predicados con el respaldo de herramientas tecnológicas, así, la mayoría de estudiantes carecen de las habilidades y conocimientos previos ne...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Cartagena Peralta, Ronny Franser (author)
Médium: bachelorThesis
Jazyk:spa
Vydáno: 2023
Témata:
On-line přístup:https://dspace.espoch.edu.ec/handle/123456789/21712
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:La carrera de matemáticas de la Escuela Superior Politécnica de Chimborazo (ESPOCH) carece de un documento referencial que aborde la lógica proposicional y de predicados con el respaldo de herramientas tecnológicas, así, la mayoría de estudiantes carecen de las habilidades y conocimientos previos necesarios para abordar un curso de lógica cómo también, un desconocimiento de las funciones que las herramientas tecnológicas aportan al estudio académico. Por lo tanto, el objetivo de la presente investigación fue realizar un documento referencial que abarque los aspectos fundamentales de la lógica proposicional y de predicados, apoyado en herramientas tecnológicas. La metodología implementada tuvo un enfoque cualitativo orientado a revisar y recopilar información relacionada con Lógica Matemática, su alcance fue descriptivo ya que buscó organizar y describir de forma precisa los aspectos esenciales de la lógica (proposicional y de predicados) apoyado en herramientas tecnológicas, por último, se utilizó un diseño documental orientado al análisis de diferentes enfoques de la lógica mediante la búsqueda selectiva, sistemática y rigurosa de fuentes documentales, tales como: libros, registros, entre otros. Como resultado se obtuvo los fundamentos esenciales de la Lógica Matemática junto con las distintas herramientas tecnológicas disponibles, para poder redactar el documento referencial que abarca los aspectos esenciales de la lógica proposicional y de predicados, apoyado en herramientas tecnológicas. Este recurso desempeña un papel esencial como respaldo para los estudiantes de la carrera de matemática en la ESPOCH. Contribuye a fortalecer los fundamentos teóricos en lógica básica, al mismo tiempo que permite conocer los beneficios de incorporar herramientas tecnológicas, como la reducción del tiempo necesario para calcular tablas de verdad y la realización precisa de cálculos en este ámbito. Además, ayuda a resolver algunos ejercicios relacionados con la lógica de predicados.