UNIVERSIDAD TÉCNICA DE AMBATO

FORMULARIO DE GUÍAS PRÁCTICAS DE APLICACIÓN Y

EXPERIMENTACIÓN DE LOS APRENDIZAJES

FACULTAD: INGENIERÍA EN SISTEMAS, ELECTRÓNICA E CARRERA: Tecnologías de la Información

INDUSTRIAL
NIVEL: SEGUNDO UOC: BASICA ASIGNATURA: LOGICA MATEMATICA
CICLO ACADÉMICO: ABRIL 2021 - SEPTIEMBRE 2021

I. TEMA:
Lógica de Predicados
II. OBJETIVO:
Identificar los predicados que se pueden encontrar en un enunciado utilizando el lenguaje de fórmulas para formalizar y validar conocimientos a través de la utilización de
cuantificadores y representaciones para la solución de problemas propuestos.
III. MODALIDAD:
No Presencial

IV. TIEMPO DE DURACIÓN:

Presenciales: 0
No Presenciales: 8
V. INSTRUCCIONES:
Formar equipos.
Desarrollar los ejercicios del documento anexo, sobre cálculo de predicados, tomados del libro:
Cardona Torres, S. A. (2012). Lógica matemática para ingeniería de sistemas y computación. Ediciones Elizcom. https://elibro.net/es/ereader/uta/71192?page=47
Generar un documento PDF y subirlo a la plataforma (1 por equipo)
VI. LISTADO DE EQUIPOS, MATERIALES Y RECURSOS:
Computador, Cuadernos, Esferos, Aula virtual e Internet.
VII. ACTIVIDADES POR DESARROLLAR:
Las detalladas en el documento anexo, capítulo 4 del libro:
Cardona Torres, S. A. (2012). Lógica matemática para ingeniería de sistemas y computación. Ediciones Elizcom. https://elibro.net/es/ereader/uta/71192?page=47
VIII. RESULTADOS OBTENIDOS:
Los estudiantes identifican los predicados que se pueden encontrar en un enunciado utilizando el lenguaje de fórmulas para formalizar y validar conocimientos
IX. CONCLUSIONES:
El estudiante indica las conclusiones del análisis realizado.
X. RECOMENDACIONES:
El estudiante indica las recomendaciones de la investigación realizada

Página 1/4
 UNIVERSIDAD TÉCNICA DE AMBATO
FORMULARIO DE GUÍAS PRÁCTICAS DE APLICACIÓN Y EXPERIMENTACIÓN DE LOS
APRENDIZAJES

BIBLIOGRAFÍA

Autores Año Título Nro Edición Editorial Pais/Ciudad Nro Nro Páginas Tipo
Ejemplares
Cardona, Sergio 2010 Lógica matemática para ingeniería de 1 Ediciones Colombia/Armenia 1 143 Virtual
sistemas y computación Elizcom
Código/Ubicación base de datos:
Comentario: Libro de gran utilidad para lógica proposicional, inferencias lógicas y lógica de predicados.
URL: https://elibro.net/es/lc/uta/titulos/71192

Autores Año Título Nro Edición Editorial Pais/Ciudad Nro Nro Páginas Tipo
Ejemplares
Hortalá González; Teresa 2008 Lógica matemática para informáticos: 1a edición Pearson /Madrid 2 390 páginas Físico
Prentice Hall
Código/Ubicación base de datos: BFisei1210a
Comentario: Este libro permite desarrollar todo lo relacionado a lógica proposicional y de predicados, así como el álgebra de Boole.
URL:

Autores Año Título Nro Edición Editorial Pais/Ciudad Nro Nro Páginas Tipo
Ejemplares
Obeso, Fernández, Virgilio 2013 Con argumento lógico: notas de 1 Universidad del Colombia/Barranquilla 1 246 Virtual
matemáticas aplicadas Norte
Código/Ubicación base de datos:
Comentario:
URL: https://elibro.net/es/lc/uta/titulos/70056

Autores Año Título Nro Edición Editorial Pais/Ciudad Nro Nro Páginas Tipo
Ejemplares
García, Muñoz, Miguel Ángel. 2017 Matemática discreta para la computación 2 Universidad de España/Jaén 1 753 Virtual
Jaén
Código/Ubicación base de datos:
Comentario: Útil para lógica proposicional y álgebra de Boole.

Página 2/4
 UNIVERSIDAD TÉCNICA DE AMBATO
FORMULARIO DE GUÍAS PRÁCTICAS DE APLICACIÓN Y EXPERIMENTACIÓN DE LOS
APRENDIZAJES

URL: https://elibro.net/es/ereader/uta/59076?page=1

Autores Año Título Nro Edición Editorial Pais/Ciudad Nro Nro Páginas Tipo
Ejemplares
Suppes; Patrick 1992 Introducción a la lógica matemática 10a edición Reverte /Barcelona 1 279 páginas. Físico

Código/Ubicación base de datos: BG-05478

Comentario: Permite el desarrollo de Lógica proposicionales, inferencias lógicas y cálculo de predicados.
URL:

Página 3/4
 UNIVERSIDAD TÉCNICA DE AMBATO
FORMULARIO DE GUÍAS PRÁCTICAS DE APLICACIÓN Y
EXPERIMENTACIÓN DE LOS APRENDIZAJES

VALIDACIÓN DE LAS GUÍAS DE PRÁCTICAS

Fecha de elaboración

_______________________
DOCENTE PLANIFICADOR UTA
Ing. ANDREA PATRICIA SANCHEZ ZUMBA

_______________________
Coordinador Unidad de Organización Curricular
Ing. M.Sc. WASHINGTON KLEVER MEDINA GUERRA

_______________________
Coordinador de Carrera
Ing. M.Sc. CLAY FERNANDO ALDAS FLORES

Página 4/4

Powered by TCPDF (www.tcpdf.org)