Languages

You are here

IMC

Introducción a los modelos de cómputo

Curso optativo, 3 ECTS, 2º cuatrimestre

Profesores:
Antonio Blanco Ferro 1 ECTS 10 h (responsable del curso)
Jose Manuel Fernandez Vilaboa 1 ECTS 10 h  
Manuel Ladra Gonzalez 1 ECTS 10 h  
Descripción:

Descriptores: Teoria de Categorias; Lambda-cálculo, CCS, CSP, Pi-cálculo y Mi-cálculo.

Descripción de las competencias: C1, C2, C3, C7, C9

Bibliografía:
  • S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag Berlin 1971
  • S Abramsky., S.J. Gay and R. Nagarajan. Interaction Categories : Illustrative examples. CONFER Worsshop. University of Edinburgh. 1993.
  • S Abramsky., S.J. Gay and R. Nagarajan. Interaction Categories and the Foundations of Typed Concurrent Programming. Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI Series F, Springer-Ver
  • R. Milner ,Communicating and Mobile Systems: the pi-Calculus. Cambridge. University Press 1999.
  • D. Sangiorgi and D. Walker, The pi-Calculus. A theory of Mobile Processes. Cambridge. University Press 2001
Temario:
  • Teoria de Categorias (8h)
  • Lambda-cálculo (4h)
  • CCS (4h)
  • CSP (4h)
  • Pi-cálculo (4h)
  • Mi-calculo (4h)
  • Ejemplos y Aplicaciones (2h)
Sistemas de evaluación

La evaluación se llevará a cabo mediante
 
-    Elaboración y exposición oral (actvidad formativa B) de resúmenes de artículos, incluyendo trabajo comparativo y evaluación crítica por parte del alumno. Alternativamente: redacción de informes técnicos (technical reports) que presenten resultados sobre problemas planteados por el responsable del curso.

-    Prueba escrita (actividad formativa E) como alternativa a la exposición oral B.

-    Uno o varios trabajos prácticos en laboratorio (actividad formativa D).

Planificación de actividades formativas, con la dedicación estimada en horas de trabajo del estudiante:
  Actividad formativa Horas
A. Clases magistrales 20
B. Exposición oral 25
E. Prueba objetiva (alternativa a B)
C. Tutorías 10
D. Trabajo práctico 20
TOTAL 3 ECTS x 25 h 75
Idioma(s) empleado(s) :

      Castellano.