Código: 250108 | Asignatura: MATEMÁTICA DISCRETA Y LÓGICA | ||||
Créditos: 6 | Tipo: Básica | Curso: 1 | Periodo: 1º S | ||
Departamento: | |||||
Profesorado: | |||||
EZQUERRO MARIN, LUIS MIGUEL (Resp) [Tutorías ] |
Metodología - Actividad |
Horas Presenciales |
Horas no presenciales |
A-1 Clases expositivas/participativas |
46 |
|
A-2 Prácticas |
14 |
|
A-3 Estudio individual |
|
75 |
A-4 Exámenes, pruebas de evaluación |
5 |
|
A-5 Tutorías individuales |
10 |
|
Total |
75 |
75 |
Resultado de aprendizaje | Sistema de evaluación | Peso (%) | Carácter recuperable |
1,2,3,4,5,6,7,8 | Examen teórico-práctico | 80 | Sí |
1,2,3,4,5,6,7,8 |
Pruebas individuales a lo largo del curso |
20 | Sí |
Los alumnos que no superen la asignatura en la convocatoria ordinaria, podrán presentarse a la convocatoria extraordinaria.
1. Lógica.
1.1. Enunciados verdaderos y falsos.
1.2. Conectores lógicos
1.3. Tautologías y contradicciones. Implicaciones y equivalencias
1.4. Inferencia.
1.5. Predicados. Cuantificadores.
1.6. Inferencia en el Cálculo de predicados.
1.7. Ejercicios.
2. Inducción y recursión
2.1. Los números naturales
2.2. Principio de inducción
2.3. Recurrencia.
2.4. Ejercicios
3. Álgebras de Boole
3.1. Relaciones de orden
3.2 Retículos
3.3. Álgebras de Boole: introducción.
3.2. Álgebras de Boole finitas.
3.3. Funciones booleanas.
3.4. Ejercicios.
4. Combinatoria
4.1. Principios básicos del recuento.
4.2. Variaciones
4.3. Permutaciones
4.4. Combinaciones
4.5. Números combinatorios
4.6. Principio de inclusión-exclusión
4.7. Apéndice: distribuciones
4.8. Ejercicios.
5. Grafos
5.1. Introducción
5.2. Conexión: Grafos eulerianos. Grafos hamiltonianos.
5.3. Coloraciones
5.4. Árboles
5.5. Árboles generadores
5.6. Ejercicios.
6. Digrafos
6.1. Primeras definiciones
6.2. Digrafos eulerianos y hamiltonianos
6.3. Redes y flujos.
6.4. Un apunte final: digrafos y relaciones binarias.
6.5. Ejercicios.
Acceda a la bibliografía que el profesorado de la asignatura ha solicitado a la Biblioteca.