Informática Teórica (12520)

Es necesario haber cursado previamente la asignatura de Lenguajes Formales de 2º curso, 2º cuatrimestre.

Estudiar la máquina de Turing como formalización del concepto de algoritmo y, a partir de ella, analizar el límite de la computabilidad e introducir la teoría de complejidad. Por último adquirir los conocimientos básicos de las redes de neuronas artificiales.

TEMA 1. MÁQUINAS DE TURING

• Descripción.
  
• Modificaciones.
  
• Máquinas de Turing y lenguajes.
  
• El problema de parada.

TEMA 2. COMPUTABILIDAD Y COMPLEJIDAD

• Funciones recursivas.
  
• El lenguaje esencial.
  
• Introducción a la complejidad.
  

TEMA 3. REDES NEURONALES ARTIFICIALES

• Introducción.
  
• Modelos neuronales.
  
• Redes de neuronas.
  
• Aprendizaje.
  
• Estructuras más usuales y aplicaciones.

Clases teóricas, clases de problemas y prácticas en el aula de informática.

Examen final

Constará de una parte de teoría tipo test y otra de problemas. Para presentarse en necesario tener aprobada la parte práctica.

Prácticas

Es obligatorio entregar los trabajos que se proponen en las sesiones de prácticas. El profesor podrá requerir una defensa oral de los mismos si lo considera oportuno.

Créditos: 4.5 (3.0 T + 1.5 P) , Primer cuatrimestre , Troncal , Número de grupos de teoría: 2 , Número de grupos de práctica: 4 , Acceso a la plataforma virtual