Lógica Matemática
Información general de la unidad curricular Lógica Matemática para la Licenciatura en Computación de la Facultad Experimental de Ciencias.
Planificación de la asignatura
1
Preliminares y fundamentos básicos de la asignatura.
2
Introducción a la teoría de conjuntos. Conjuntos y subconjuntos. Unión e intersección de conjuntos. Diferencia, complemento y diferencia simétrica de conjuntos.
3
Producto cartesiano de conjuntos.
4
Operaciones generalizadas con conjuntos (operaciones con n conjuntos).
5
Relaciones y funciones. Dominio e Imagen de una relación. Representación gráfica de relaciones. Relación inversa. Composición de relaciones.
6
Tipos de relaciones. Relaciones reflexivas, simétricas y transitivas. Relaciones de equivalencia. Relaciones de orden. Diagramas de Hasse.
7
Funciones. Funciones inyectivas, sobreyectivas y biyectivas.
8
Función inversa. Composición de funciones.
9
Cálculo proposicional. Proposiciones. Operaciones veritativas. Formas proposicionales. Equivalencia lógica. Álgebra de proposiciones.
10
Inferencia lógica. Implicación e inferencia. Reglas de inferencia.
11
Métodos de demostración. Método del contrarecíproco. Reducción al absurdo.
12
Cuantificadores. Funciones proposicionales. Cuantificadores. Método axiomático.
Cuaderno de trabajo digital
Cuaderno de trabajo
Se recomienda que cada estudiante adquiera su cuaderno de trabajo digital (PDF).
Es personalizado y contiene las hojas de trabajo de la asignatura.
Se trata de un Workbook personal e intransferible, con el nombre y cédula de identidad del estudiante que contiene las hojas de trabajo de la unidad curricular y un código QR único con los datos personales del estudiante. Tiene un coste de $8.
Se recomienda adquirirlo antes del inicio de las actividades, sobre todo si no puedes asistir a todas las clases sincrónicas, ya sea porque estés trabajando, estudiando en otra institución o por problemas de Internet o electricidad. Los que no puedan adquirirlo podrán presentar las evaluaciones de forma presencial en la fecha, hora y lugar indicado por el profesor.
Adquirir el cuaderno AQUÍ.
Última actualización