Lógica matemática /
CONTENIDO PARA USUARIOS REGISTRADOS
Inicia sesión para disfrutar este recurso. Si aún no estás afiliado a BibloRed, haz clic en el botón.
Acceder- Autor
- Año de publicación 2019
- Idioma No definido
- Publicado por Ediciones Universidad Central
- Descripción
- Este texto, surgido de la experiencia docente de sus autores, es un material de apoyo para el aprendizaje de la lógica matemática, atendiendo especialmente a las necesidades de los estudiantes de ingeniería. En este sentido, tiene como objetivos introducir herramientas y conceptos básicos de la lógica matemática y sus aplicaciones; formalizar correctamente; fortalecer la formación relacionada con los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas, y, con esto, incentivar al alumno a mejorar sus procesos de razonamiento. El texto presentado está compuesto por nueve capítulos, cada uno orientado a una dimensión de la lógica matemática: teoría básica de conjuntos, la lógica y el razonamiento, sintaxis, semántica de proposiciones, inferencia lógica, lógica de primer orden, silogismos categóricos, métodos de demostración y álgebras de Boole.
-
Citación recomendada (normas APA)
- Carlos Fernando Mora Espinosa, "Lógica matemática /", -:Ediciones Universidad Central, 2019. Consultado en línea en la Biblioteca Digital de Bogotá (https://www.bibliotecadigitaldebogota.gov.co/resources/3609077/), el día 2024-05-18.