UNIVERSIDAD TÉCNICA DE AMBATO

FACULTAD DE: INGENIERÍA EN SISTEMAS, ELECTRÓNICA E INDUSTRIAL

CARRERA DE: Tecnologías de la Información

MODALIDAD PRESENCIAL

SÍLABO

LOGICA MATEMATICA

NIVEL

SEGUNDO

ABRIL 2021 - SEPTIEMBRE 2021

ANDREA PATRICIA SANCHEZ ZUMBA

MAGÍSTER EN AUTOMATIZACIÓN Y SISTEMAS DE CONTROL
INGENIERA EN ELECTRONICA Y COMUNICACIONES

AMBATO - ECUADOR
2021

Aprobado Página 1/13

 I. INFORMACIÓN GENERAL

Nombre de la asignatura
LOGICA MATEMATICA
Carrera
Tecnologías de la Información

Código UTA-FISEI-TI-MP-UB-02-02 PRERREQUISITOS

Modalidad Asignatura Código

Presencial ALGEBRA LINEAL UTA-FISEI-TI-MP-UB-01-01
Unidad organizacional curricular
BÁSICA

Créditos/Horas CORREQUISITOS
2 Asignatura Código
Nivel
SEGUNDO CALCULO INTEGRAL UTA-FISEI-TI-MP-UB-02-01

CARGA HORARIA
Componente de aprendizaje en Componente de aprendizaje en contacto con Componente de aprendizaje práctico
contacto con el docente por semana el docente por ciclo académico experimental, componente de aprendizaje
autónomo

2 32 64
Horas de tutoría académica semanales Horas de tutoría presenciales por ciclo Horas de tutorías virtuales por ciclo
académico académico

1
16 0

Aprobado Página 2/13

 TOTAL DE HORAS DE APRENDIZAJE EN EL CICLO DE ESTUDIOS

Número de horas del componente de aprendizaje en contacto con el docente semanal 2

Número de horas del componente de aprendizaje en contacto con el docente semestral 32

Número de horas del componente de aprendizaje práctico experimental y componente de 64

aprendizaje autónomo
TOTAL DE HORAS AL SEMESTRE 96
(Número de horas del componente de aprendizaje en contacto con el docente semestral + Número
de horas del componente de aprendizaje práctico experimental y componente de aprendizaje
autónomo.)

II. PERFIL DEL (LOS) PROFESOR(ES) QUE IMPARTEN LA ASIGNATURA

Nombres completos del profesor: ANDREA PATRICIA SANCHEZ ZUMBA

Título de cuarto nivel: MAGÍSTER EN AUTOMATIZACIÓN Y SISTEMAS DE
CONTROL
Área de conocimiento: INGENIERIA, INDUSTRIA Y CONSTRUCCION
Título de tercer nivel: INGENIERA EN ELECTRONICA Y COMUNICACIONES
Área de conocimiento: INGENIERIA, INDUSTRIA Y CONSTRUCCION
Experiencia profesional: 1.3 años
Experiencia docente: 4.7 años
Unidad organizacional curricular dentro de la carrera: BÁSICA
Horario de aprendizaje en contacto con el docente y de aprendizaje práctico Jueves 16:00 a 17:00
experimental: Martes 16:00 a 17:00
Martes 17:00 a 18:00

Números telefónicos: 0962027000 - 2840295

E-mail: ap.sanchez@uta.edu.ec

Aprobado Página 3/13

 III DESCRIPCIÓN Y OBJETIVOS DE LA ASIGNATURA

Propósito

La asignatura de Lógica Matemática tiene como propósito proporcionar al estudiante herramientas que le permitan desarrollar capacidades de
análisis, pensamiento lógico, comunicación e interpretación a problemas reales, por medio de procesos deductivos apoyado en conectivos
lógicos, reglas de inferencias y diferentes métodos de demostración. La asignatura permite al estudiante desenvolverse con criterio,
responsabilidad y actitud positiva en su desempeño académico dentro de los cursos que requieran estos saberes. Se busca que al finalizar el
módulo, el estudiante haya logrado competencias que le permiten: Estructurar eficientemente su pensamiento lógico, empleando
procedimientos algebraicos para resolver problemas del contexto real referente a su carrera profesional.

La Lógica Matemática tiene una especial importancia ya que siendo una ciencia dedicada al estudio de las estructuras y leyes que rigen la
inferencia, está en la posibilidad de dotar a los estudiantes de las herramientas de un método de pensamiento lógico-espacial que le ayudarán
en el diseño, construcción y administración de sistemas de procesamiento de información y toma de decisiones, dispositivos automáticos,
circuitos digitales, dispositivos robóticos y sistemas expertos.

Descripción de la asignatura

La asignatura se encuentra estructurada en 16 semanas, las cuales se desarrollarán en 4 unidades de aprendizaje, que permiten desarrollar
en los estudiantes destrezas en temáticas como: Lógica Proposicional con sus respectivas tablas de verdad, operadores lógicos; Inferencias
lógicas, así como sus reglas, deducción, leyes , equivalencias notables; Lógica de Predicados, su cálculo, cuantificadores, representación;
para finalmente concluir con el estudio del Álgebra de Boole,con sus reglas y simplificación. El proceso de enseñanza aprendizaje se realizará
a través de conferencias magistrales, aula invertida, resolución de ejercicios, trabajos grupales, consiguiendo así una efectiva evaluación
diagnóstica, formativa y sumativa.

Objetivo general de la asignatura

Manejar inferencias lógicas, metodologías de demostración de validez, reducción al absurdo y tablas de certeza, así como reconocer
cuantificadores lógicos predicativos y álgebras booleanas.

Objetivos específicos de la asignatura

1.-Identificar las clases de proposiciones en un enunciado considerando los conectivos lógicos para la elaboración de tablas de verdad y
aplicación de las leyes proposicionales.

2.-Identificar las reglas de inferencia lógica con sus leyes y deducción, para aplicarlas en la solución de problemas propuestos.

3.-Identificar los predicados utilizando el lenguaje de fórmulas para formalizar y validar conocimientos a través de cuantificadores y
representaciones para la solución de problemas propuestos.

4.-Aplicar las leyes y reglas básicas del álgebra de Boole en la resolución de problemas propuestos.

NOTA: Las horas de tutoría académica no se suman, por lo tanto no se incluyen dentro de las horas totales del semestre

Aprobado Página 4/13

 IV PROGRAMA DE ESTUDIOS DE LA ASIGNATURA

U.1 Identificar las clases de proposiciones en un enunciado considerando los conectivos lógicos para la elaboración de tablas de verdad y
aplicación de las leyes proposicionales.
Unidades temáticas Horas Clase / Componente de Componente de Componente de aprendizaje Instrumentos de evaluación
aprendizaje en contacto con el aprendizaje práctico autónomo incluidas las
docente experimental. actividades de investigación y
vinculación con la sociedad
1.1.- Lógica Proposicional y sus aplicaciones. 8 12 4 Pruebas de Diagnostico
Trabajos o tareas realizadas fuera de
clases
Cuestionarios
Trabajos
SUBTOTAL HORAS 8 12 4 TOTAL HORAS: 24

Resultados de aprendizaje: Identifica las clases de proposiciones en un enunciado considerando los conectivos lógicos para la elaboración de tablas de verdad y aplicación de las leyes proposicionales.

Metodología de enseñanza : Método expositivo, Aprendizaje Basado en Problemas

Estrategias educativas : Trabajos y exposiciones, Resolución de problemas, Clases en línea en tiempo sincrónico, Foros, Conferencias , Elaboración de mapas conceptuales
Recursos didácticos : Internet, Proyector, Marcadores

Aprobado Página 5/13

 IV PROGRAMA DE ESTUDIOS DE LA ASIGNATURA

U.2 Identificar las reglas de inferencia lógica con sus leyes y deducción, para aplicarlas en la solución de problemas propuestos.
Unidades temáticas Horas Clase / Componente de Componente de Componente de aprendizaje Instrumentos de evaluación
aprendizaje en contacto con el aprendizaje práctico autónomo incluidas las
docente experimental. actividades de investigación y
vinculación con la sociedad
2.1.- Inferencias lógicas y sus aplicaciones. 8 12 4 Evaluaciones Parciales
Pruebas escritas de la unidad
Cuestionarios
Trabajos
SUBTOTAL HORAS 8 12 4 TOTAL HORAS: 24

Resultados de aprendizaje: Identifica las reglas de inferencia lógica con sus leyes y deducción, para aplicarlas en la solución de problemas propuestos.

Metodología de enseñanza : Método expositivo, Aprendizaje Basado en Problemas, Otros: Aula Invertida
Estrategias educativas : Trabajos y exposiciones, Resolución de problemas, Clases en línea en tiempo sincrónico, Elaboración de mapas conceptuales
Recursos didácticos : Internet, Proyector, Marcadores

Aprobado Página 6/13

 IV PROGRAMA DE ESTUDIOS DE LA ASIGNATURA

U.3 Identificar los predicados utilizando el lenguaje de fórmulas para formalizar y validar conocimientos a través de cuantificadores y
representaciones para la solución de problemas propuestos.
Unidades temáticas Horas Clase / Componente de Componente de Componente de aprendizaje Instrumentos de evaluación
aprendizaje en contacto con el aprendizaje práctico autónomo incluidas las
docente experimental. actividades de investigación y
vinculación con la sociedad
3.1.- Lógica de predicados 8 12 4 Trabajos o tareas realizadas fuera de
clases
Pruebas escritas de la unidad
Cuestionarios
SUBTOTAL HORAS 8 12 4 TOTAL HORAS: 24

Resultados de aprendizaje: Identifica los predicados utilizando el lenguaje de fórmulas para formalizar y validar conocimientos a través de cuantificadores y representaciones para la solución de problemas
propuestos.

Metodología de enseñanza : Método expositivo, Aprendizaje Basado en Problemas, Otros: Aula Invertida
Estrategias educativas : Trabajos y exposiciones, Resolución de problemas, Clases en línea en tiempo sincrónico
Recursos didácticos : Internet, Proyector, Marcadores

Aprobado Página 7/13

 IV PROGRAMA DE ESTUDIOS DE LA ASIGNATURA

U.4 Aplicar las leyes y reglas básicas del álgebra de Boole en la resolución de problemas propuestos.
Unidades temáticas Horas Clase / Componente de Componente de Componente de aprendizaje Instrumentos de evaluación
aprendizaje en contacto con el aprendizaje práctico autónomo incluidas las
docente experimental. actividades de investigación y
vinculación con la sociedad
4.1.- Álgebra de Boole 8 12 4 Evaluaciones Parciales
Ensayos
Trabajos escritos
Cuestionarios
SUBTOTAL HORAS 8 12 4 TOTAL HORAS: 24

Resultados de aprendizaje: Aplica las leyes y reglas básicas del álgebra de Boole en la resolución de problemas propuestos.

Metodología de enseñanza : Método expositivo, Aprendizaje Basado en Problemas, Otros: Aula Invertida
Estrategias educativas : Resolución de problemas, Clases en línea en tiempo sincrónico
Recursos didácticos : Internet, Proyector, Marcadores

Aprobado Página 8/13

 V ESCENARIOS DE APRENDIZAJE (REAL, VIRTUAL, ÁULICO)

La asignatura de Lógica Matemática se desarrollará en un entorno de aprendizaje Aúlico, porque las actividades de enseñanza-aprendizaje se
desarrollarán en el salón de clase (en tiemos de pandemia se reemplazan con las sesiones síncronas), a través de conferencias teóricas y
resolución de ejercicios prácticos de aplicación; conjuntamente con el entorno de aprendizaje Real a través de la aplicación de los
conocimientos y habilidades adquiridas, incluyendo también la práctica de actitudes y valores, mediante resolución de problemas de la vida
cotidiana.

Finalmente se aplicará el entorno Virtual de aprendizaje (EVA), que se crean mediante el uso de las Tecnologías de la Información y la
Comunicación, facilitando el proceso de aprendizaje, con el uso de software de aplicación matemática e internet, videoconferencias,
reforzando el aprendizaje mediante proyectos que permitan el uso de las TIC´S, para realizar aplicaciones a temas cercanos a la realidad
profesional.

Aprobado
 VI CRITERIOS NORMATIVOS PARA LA EVALUACIÓN

Objetivos específicos Evaluación Evaluación formativa Evaluación sumativa

diagnóstica (Grado de logro de (valorar los objetivos
(Conocimientos previos) destrezas ) generales
alcanzados y el logro de
destrezas)
1.- Identificar las clases de Talleres de Razonamiento Talleres Prueba de Unidad
proposiciones en un enunciado Preguntas de sondeo sobre la Consultas
considerando los conectivos Unidad
lógicos para la elaboración de
tablas de verdad y aplicación de
las leyes proposicionales.
2.- Identificar las reglas de Talleres de Razonamiento Talleres Evaluación Parcial
inferencia lógica con sus leyes y Preguntas de sondeo sobre la Consultas
deducción, para aplicarlas en la Unidad
solución de problemas propuestos.
3.- Identificar los predicados Talleres de Razonamiento Talleres Prueba de Unidad
utilizando el lenguaje de fórmulas Preguntas de sondeo sobre la Consultas
para formalizar y validar Unidad
conocimientos a través de
cuantificadores y representaciones
para la solución de problemas
propuestos.
4.- Aplicar las leyes y reglas Preguntas de sondeo sobre la Talleres Evaluación Parcial
básicas del álgebra de Boole en la Unidad Consultas
resolución de problemas
propuestos.

Aprobado Página 10/13

 VII BIBLIOGRAFÍA

BIBLIOGRAFÍA BÁSICA

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

Aprobado Página 11/13

 BIBLIOGRAFÍA COMPLEMENTARIA

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.
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:

Aprobado Página 12/13

 VIII VALIDACIÓN DEL SÍLABO

Fecha de elaboración Apr 21 2021

Fecha de aprobación Apr 28 2021

Aprobado

Powered by TCPDF (www.tcpdf.org)