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

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)

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.

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