Ingeniería Informática (ofrece un grupo en inglés) Plan 2019

Grado y Doble Grado. Curso 2024/2025.

MATEMÁTICA DISCRETA Y LÓGICA MATEMÁTICA II - 805339

Curso Académico 2024-25

Datos Generales

SINOPSIS

COMPETENCIAS

ACTIVIDADES DOCENTES

Breve descriptor:

Métodos de razonamiento.
Formalización y deducción en lógica de proposiciones y primer orden.
Combinatoria.
Grafos y árboles.


Objetivos

Conocer los principios elementales de conteo. (CG1,CG2)

Resolver problemas elementales sobre grafos. (CG1,CG2)

Utilizar las lógicas proposicional y de primer orden para formalizar y demostrar argumentaciones. (CG1,CG2)

Ser capaz de aplicar los conceptos y técnicas aprendidos en el contexto de otras asignaturas. (CT2)

Combinar el uso de técnicas en la resolución de problemas.(CT3)

      Realizar ejercicios. (CT1)

Contenido

Tema 1: Grafos y árboles.
Grafos no dirigidos y multigrafos. Recorridos en grafos: ciclos hamiltonianos, recorridos eulerianos. Árboles. Grafos dirigidos.

Tema 2: Combinatoria.

Principios elementales de conteo, variaciones, permutaciones y combinaciones.

 

Tema 3: Lógica de proposiciones.

Sintaxis y semántica. Validez, equivalencia y consecuencia lógica. Formas normales. Sistemas de deducción: tableaux.

 

Tema 4: Lógica de primer orden.

Sintaxis
y semántica. Validez, equivalencia y consecuencia lógica. Formas normales. Sistemas de deducción: tableaux.

Otra información relevante

La ficha detallada se puede consultar en la sección de información docente de la Web de Facultad de Informática.

https://informatica.ucm.es/informacion-docente

Estructura

MódulosMaterias
No existen datos de módulos o materias para esta asignatura.

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A20/01/2025 - 09/05/2025LUNES 11:00 - 12:00Aula 1MARGARITA BRADLEY DELSO
MARTES 11:00 - 12:00Aula 1MARGARITA BRADLEY DELSO
JUEVES 11:00 - 12:00Aula 1MARGARITA BRADLEY DELSO
VIERNES 11:00 - 12:00Aula 1MARGARITA BRADLEY DELSO
Grupo B20/01/2025 - 09/05/2025LUNES 09:00 - 10:00Aula 2MARGARITA BRADLEY DELSO
MARTES 09:00 - 10:00Aula 2MARGARITA BRADLEY DELSO
JUEVES 09:00 - 10:00Aula 2MARGARITA BRADLEY DELSO
VIERNES 09:00 - 10:00Aula 2MARGARITA BRADLEY DELSO
Grupo E20/01/2025 - 09/05/2025LUNES 15:00 - 16:00Aula 1ANTONIO GAVILANES FRANCO
MARTES 15:00 - 16:00Aula 1ANTONIO GAVILANES FRANCO
JUEVES 15:00 - 16:00Aula 1ANTONIO GAVILANES FRANCO
VIERNES 15:00 - 16:00Aula 1ANTONIO GAVILANES FRANCO
Grupo F20/01/2025 - 09/05/2025LUNES 16:00 - 17:00Aula 3ANTONIO GAVILANES FRANCO
MIÉRCOLES 16:00 - 17:00Aula 3ANTONIO GAVILANES FRANCO
JUEVES 16:00 - 17:00Aula 3ANTONIO GAVILANES FRANCO
VIERNES 16:00 - 17:00Aula 3ANTONIO GAVILANES FRANCO
Grupo G20/01/2025 - 09/05/2025LUNES 18:00 - 19:00Aula 9ANTONIO GAVILANES FRANCO
MIÉRCOLES 18:00 - 19:00Aula 9ANTONIO GAVILANES FRANCO
JUEVES 18:00 - 19:00Aula 9ANTONIO GAVILANES FRANCO
VIERNES 18:00 - 19:00Aula 9ANTONIO GAVILANES FRANCO
Grupo I (Importante: solo admitidos grupo en inglés)20/01/2025 - 09/05/2025LUNES 12:00 - 13:00Aula 11MIGUEL PALOMINO TARJUELO
MARTES 12:00 - 13:00Aula 11MIGUEL PALOMINO TARJUELO
JUEVES 12:00 - 13:00Aula 11MIGUEL PALOMINO TARJUELO
VIERNES 12:00 - 13:00Aula 11MIGUEL PALOMINO TARJUELO