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

Grado y Doble Grado. Curso 2023/2024.

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

Curso Académico 2023-24

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 A22/01/2024 - 10/05/2024LUNES 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 B22/01/2024 - 10/05/2024LUNES 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 E22/01/2024 - 10/05/2024LUNES 15:00 - 16:00Aula 1MARGARITA BRADLEY DELSO
MARIA INES FERNANDEZ CAMACHO
NATALIA LOPEZ BARQUILLA
MARTES 15:00 - 16:00Aula 1MARGARITA BRADLEY DELSO
MARIA INES FERNANDEZ CAMACHO
NATALIA LOPEZ BARQUILLA
JUEVES 15:00 - 16:00Aula 1MARGARITA BRADLEY DELSO
MARIA INES FERNANDEZ CAMACHO
NATALIA LOPEZ BARQUILLA
VIERNES 15:00 - 16:00Aula 1MARGARITA BRADLEY DELSO
MARIA INES FERNANDEZ CAMACHO
NATALIA LOPEZ BARQUILLA
Grupo F22/01/2024 - 10/05/2024LUNES 16:00 - 17:00Aula 3PEDRO JESUS MARTIN DE LA CALLE
MIÉRCOLES 16:00 - 17:00Aula 3PEDRO JESUS MARTIN DE LA CALLE
JUEVES 16:00 - 17:00Aula 3PEDRO JESUS MARTIN DE LA CALLE
VIERNES 16:00 - 17:00Aula 3PEDRO JESUS MARTIN DE LA CALLE
Grupo G22/01/2024 - 10/05/2024LUNES 18:00 - 19:00Aula 9PEDRO JESUS MARTIN DE LA CALLE
MIÉRCOLES 18:00 - 19:00Aula 9PEDRO JESUS MARTIN DE LA CALLE
JUEVES 18:00 - 19:00Aula 9PEDRO JESUS MARTIN DE LA CALLE
VIERNES 18:00 - 19:00Aula 9PEDRO JESUS MARTIN DE LA CALLE
Grupo I (Importante: solo admitidos grupo en inglés)22/01/2024 - 10/05/2024LUNES 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