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.

INFORMACIÓN DE LA ASIGNATURA

Código: 900115 Semestre: Primero

Planificación de la asignatura

Semana	Actividades
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).

Semana	Actividades
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.

Semana	Actividades
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

Cada estudiante debe adquirir 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.

Adquirir el cuaderno AQUÍ.