Métodos Formales en Ingeniería Informática (Con UAM y UPM)

Máster. Curso 2020/2021.

MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA

Curso Académico 2020-21

Curso 1

CódigoAsignaturaCarácterCréditosOfertada
609029ANÁLISIS DE SISTEMAS CONCURRENTES Y DISTRIBUIDOSOPTATIVA6.0Si
609025ANÁLISIS ESTÁTICO DE PROGRAMAS Y RESOLUCIÓN DE RESTRICCIONESOBLIGATORIA6.0Si
609033APRENDIZAJE AUTOMÁTICOOPTATIVA6.0Si
609035COMPUTACIÓN CUÁNTICAOPTATIVA6.0Si
609031DESARROLLO FORMAL DE SOFTWARE DIRIGIDO POR MODELOSOPTATIVA6.0Si
609032DISEÑO DE ALGORITMOS BIOINSPIRADOSOPTATIVA6.0Si
609030DISEÑO DE SISTEMAS CORRECTOS POR CONSTRUCCIÓNOPTATIVA6.0Si
609028MÉTODOS FORMALES DE TESTINGOPTATIVA6.0Si
609026MODELOS DE LA CONCURRENCIAOBLIGATORIA6.0Si
609036PRÁCTICAS EN EMPRESAS O GRUPOS DE INVESTIGACIÓNOPTATIVA6.0Si
609024TEORÍA DE LENGUAJES DE PROGRAMACIÓNOBLIGATORIA6.0Si
609037TRABAJO FIN DE MÁSTERTrabajo fin de Máster12.0Si
609027VERIFICACIÓN ASISTIDA DE PROGRAMASOPTATIVA6.0Si

Sin curso definido

CódigoAsignaturaCarácterCréditosOfertada
609169FUNDAMENTOS DE LOS LENGUAJES INFORMÁTICOSCOMPLEMENTO DE FORMACION6.0Si
609170MÉTODOS ALGORÍTMICOS EN RESOLUCIÓN DE PROBLEMASCOMPLEMENTO DE FORMACION9.0Si
609171PROCESADORES DE LENGUAJESCOMPLEMENTO DE FORMACION6.0Si
609173PROGRAMACIÓN CONCURRENTECOMPLEMENTO DE FORMACION6.0Si
609172PROGRAMACIÓN DECLARATIVACOMPLEMENTO DE FORMACION6.0Si