FICHA DE ACTIVIDADES CURRICULARES	
	
1. Datos generales de la actividad curricular	
	
1.1. Denominación de la actividad curricular tal como figura en la resolución de aprobación del plan de estudios.	
Sistemas de Tipos (94)	
1.2. Indicar las carreras en cuyos planes de estudio se incluye la actividad curricular.	
	
Carrera	Plan de estudios	Orientación	Carácter	Duración del dictado	

Licenciatura en Ciencias de la Computación	1994		Optativa/Electiva	Cuatrimestral	

2. Objetivos	
Señalar los objetivos expresados en términos de competencias a lograr por los alumnos y/o de actividades para las que capacita la formación impartida.	
El objetivo del curso es adquirir conocimientos y experiencia en el diseño, análisis e implementación de sistemas de tipos estáticos para lenguajes de programación. En particular, se estudian sistemas de tipos para distintas variantes del lambda cálculo.	
3. Clasificación de la actividad curricular. Formación práctica y carga horaria.	
3.1 Clasificación de las actividades curriculares.
a) Localizar las actividades curriculares en el siguiente cuadro, teniendo en cuenta la pertenencia de sus contenidos a las áreas curriculares de Ciencias Básicas, Teoría de la Computación, Algoritmos y Lenguajes, Arquitectura, Sistemas operativos y Redes, Ingeniería de Software, Base de Datos y Sistemas de Información y Aspectos Profesionales y Sociales (Resolución ME Nº 786/09). Si una asignatura prevé el dictado de contenidos que no corresponden a ninguna de las seis áreas citadas, incluirla en “Otros contenidos”.
b) Cuando la actividad curricular incluye contenidos correspondientes a dos o más opciones de las presentadas por el cuadro, estimar la carga horaria asignada en cada caso. El resultado de la suma de las cargas horarias parciales debe coincidir con la carga horaria total de la asignatura.
c) Si la actividad curricular no incluye contenidos correspondientes a alguna de las opciones presentadas por el cuadro, dejar en blanco el casillero.
d) Las cargas horarias deben consignarse en horas reloj (no usar horas cátedra).

Áreas	
Carga horaria en horas reloj	

Ciencias Básicas	
    	

Teoría de la Computación	
    135	

Algoritmos y Lenguajes	
    	

Arquitectura, Sistemas Operativos y Redes	
    	

Ingeniería de Software, Bases de Datos y Sistemas de información	
    	

Aspectos Profesionales y Sociales	
    	

Otros contenidos	
    	

Carga horaria total de la actividad currricular	
    135	

3.2 Indicar la carga horaria total dedicada a las distintas actividades de formación práctica que se describen en el Anexo III de la resolución ministerial. Las cargas horarias se deben indicar en horas reloj (no usar horas cátedra).
En el caso de que la actividad curricular no incluya alguno de estos tipos de formación práctica, dejar el casillero en blanco.

Formación práctica	

Formación experimental	
Resolución de problemas del mundo real	
Actividades de Proyecto y Diseño de Sistemas Informáticos	
Instancias supervisadas de formación en la práctica profesional	
Otras	
Total	

    15	
    	
    45	
    	
    15	
75	

3.3 Indicar la carga horaria semanal dedicada al dictado de la actividad curricular y a las actividades de formación práctica que en ella se desarrollan. Las cargas horarias se deben indicar en horas reloj (no usar horas cátedra).
Caga horaria semanal total 	
9	

Carga horaria semanal dedicada a la formación práctica	
  5  	

	
4.  Indicar si la actividad curricular se dicta en más de una cátedra	
Si/No		

Si la respuesta es afirmativa el programa brinda la posibilidad (a través de un navegador) de cargar los datos solicitados en los siguientes puntos de cada una de las distintas cátedras. Si la respuesta es negativa los datos que se solicitan a continuación deben cargarse una sola vez.	
Denominación de la cátedra	Cátedra 1		
5. Indicar si la cátedra se dicta en la Unidad Académica	
Si/No		

5.1. Si el dictado de la actividad curricular se realiza fuera de la Unidad Académica, completar los siguientes datos:	
Institución universitaria			
Unidad académica				
Domicilio de dictado				
		Número:				
Calle						
					
Localidad:			
Provincia:	Buenos Aires			
Teléfonos:				
6. Contenidos	
6.1 Sintetizar los contenidos incluidos en el programa analítico. Adjuntar en el anexo de carrera el programa	

(1) Introducción a los sistemas de tipos estáticos. Expresiones aritméticas tipadas. (2) Lambda cálculo simplemente tipado. Normalización para tipos simples.(3) Extensiones al sistema de tipos simple. (3.1) Productos y records. (3.2) Sumas y variantes. (3.3) Recursión general. (3.4) Listas. (4) Polimorfismo y reconstrucción de tipos. (5) Lambda cálculo polimórfico de 2do orden (System F). (6) Tipos de datos recursivos. (7) Lambda cubo. Tipos dependientes.	
7. Bibliografía	
7.1. Si la actividad curricular posee bibliografía específica complete los datos que se solicitan a continuación.	
	
Título	Autor(es)	Editorial	Año de edición	Ejemplares disponibles	

Types and programming languages . 	Pierce, Benjamin C.  	MIT Press	2002	3	

Advanced Topics in Types and Programming	Pierce, Benjamin C	MIT Press	2004	0	

Qualified types: theory and practice.	Jones, Mark P	Cambridge University Press.	1995	0	

Type Systems . The Computer Science and Engineering Handbook , 2nd Edition.	Cardelli, Luca 	Chapman and Hall/CRC.	2004	0	

Lambda calculi with types. Handbook of Logic in Computer Science.	Barendregt, Henk 	Oxford University Press.	1992	0	

7.2. Si la actividad curricular no se dicta en la Unidad Académica indicar donde se encuentra disponible la bibliografía, señalando la denominación del lugar (Instituto, Facultad, Universidad) dirección, localidad y provincia.	
	
8. Descripción de la actividad curricular	
8.1. Describir las modalidades de enseñanza empleadas (teórica, actividades proyectuales, correcciones individuales y grupales, clases específicas, viajes de estudio, etc.).	
El dictado de la asignatura consta de clases teórico-prácticas, de laboratorio y seminarios a cargo de los alumnos. En las clases teóricas se tratan los distintos aspectos conceptuales de los distintos módulos, estas clases se complementan con prácticas acordes a la temática. Fundamentalmente se trabaja en el modelado de distintos problemas utilizando las técnicas de IA dadas (Por ej. modelado y resolución lógica, análisis y diseño de SBC).  En las clases de laboratorio, los alumnos implementan pequeños sistemas para la resolución de distintos problemas en dominios acotados, esto permite el refuerzo y aplicación de los conocimientos adquiridos. Además se realizan dos seminarios uno al comienzo del dictado y otro al final, donde los alumnos en forma grupal, preparan temas y los exponen, esto contribuye a desarrollar su capacidad de análisis y de comunicación.	
8.2. Indicar los materiales didácticos disponibles para el desarrollo de las distintas actividades (incluir	

computadoras y programas utilizados).	
Computadoras y proyector multimedia. Laboratorio de computadoras. Software para: programación lógica, desarrollo de sistemas basados en reglas de producción, editor de ontologías, sistemas difusos, redes bayesianas	
9. Evaluación	
Describir las formas de evaluación, requisitos de promoción y condiciones de aprobación de los alumnos (regulares y libres) fundamentando brevemente su elección.	
La evaluación de los alumnos se realiza en forma continua durante el desarrollo de las clases. Los mismos tienen que aprobar los trabajos prácticos parciales, el dictado de los seminarios y un trabajo práctico final. La regularidad de la materia se logra con la aprobación de los trabajos prácticos parciales (al menos tres) y cumplimentando satisfactoriamente el dictado de los seminarios. Los alumnos regulares aprueban la materia con la aprobación de un Trabajo Práctico final consistente en el desarrollo de un prototipo de un sistema de tipos que combine algunas de técnicas vinculadas a la materia. 
Los alumnos libres aprobarán la materia presentando previamente al examen final los trabajos prácticos parciales, aprobando una evaluación escrita sobre temas teórico-prácticos y aprobando un práctico final.	
10. Composición del equipo docente actual	
10.1. Responsable a cargo de la actividad curricular.	
Apellido y nombre	MARTÍNEZ LÓPEZ PABLO ERNESTO		
10.2. Profesores.	
	
Apellido y nombres	Grado académico máximo	Cargo docente	Situación	Dedicación en horas semanales al cargo	

	
					
MARTÍNEZ LÓPEZ PABLO ERNESTO	Doctor	Profesor adjunto	Interino rentado	Entre 10 y 19 horas	

Cantidad total de profesores	1		
10.3. Auxiliares graduados.	
	
Apellido y nombres	Grado Académico Máximo	Cargo Docente	Dedicación en horas semanales al cargo	
Cantidad total de auxiliares	0		
			
10.4. Indicar la cantidad de auxiliares no graduados y de otros docentes como profesores terciarios, técnicos, etc. agrupados según su dedicación y según su designación.	
	                                         Dedicación			
	   Menor o       igual a 9         horas	 Entre 10 y    19 horas	 Entre 20 y    29 horas	 Entre 30 y    39 horas	    Igual o      mayor a 40      horas	                         Total		
Auxiliares no graduados	0	1	0	0	0	1		
Otros	0	0	0	0	0	0		
 	
	                                           Designación	            		
	             Regulares	              Interinos	Contratados	        		
	   Rentados	Ad Honorem	   Rentados	Ad Honorem	  Rentados	      Total		
Auxiliares no graduados	0	0	1	0	0	1		
Otros	0	0	0	0	0	0		
	11. Alumnos	
		
11.1. Completar el siguiente cuadro con la cantidad total de alumnos que cursaron la actividad curricular en los últimos 8 años.	
	       2003	       2004	       2005	       2006		

	   C	   R	   C	   R	   C	   R	   C	   R		
Alumnos inscriptos	0	0	0	0	0	0	0	0		
Alumnos que aprobaron la cursada	0	0	0	0	0	0	0	0		
Cursantes promovidos sin E.F.	0	0	0	0	0	0	0	0		
	       2007	       2008	       2009	       2010		
	    C	    R	    C	    R	    C	    R	    C	    R		
Alumnos inscriptos	0	0	3	0	2	0	4	0		
Alumnos que aprobaron la cursada	0	0	0	0	0	0	0	0		
Cursantes promovidos sin E.F.	0	0	0	0	0	0	0	0		
"C": Alumnos cursantes por primera vez.
"R": Alumnos recursantes.		
	11.2. Si la actividad curricular es dictada para varias carreras y los alumnos de cada una de ellas están identificados completar el siguiente cuadro con la cantidad de alumnos que cursan la actividad curricular en los últimos 8 años.			
				
		2009	2010	
				
Denominación de la carrera	Plan de estudios	2003	2004	2005	2006	2007	2008			

11.3. Completar el siguiente cuadro con la cantidad total de alumnos involucrados en los exámenes finales en los últimos 8 años.	
	  2003	  2004	  2005	  2006	  2007	  2008	  2009	  2010		
Alumnos que rindieron E.F.	0	0	0	0	0	0	2	0		
Aprobados	0	0	0	0	0	0	2	0		
Desaprobados	0	0	0	0	0	0	0	0		
	11.4. Si la actividad curricular es dictada para varias carreras y los alumnos de cada una de ellas están identificados completar el siguiente cuadro con la cantidad de alumnos involucrados en los exámenes finales en los últimos 8 años.	

Denominación de la carrera	Plan de estudios	2003	2004	2005	2006	2007	2008	2009	2010	

12. Organización por comisiones	
12.1. Indicar si las actividades se organizan por comisiones	
Si/No		

En caso de haber habido comisiones en el último año indicar la cantidad de comisiones y la cantidad de alumnos por comisión. Si la actividad curricular se desarrolla en todos los cuatrimestres, trimestres o bimestres indicar el promedio.	
Cantidad de comisiones:	0		
Cantidad de alumnos por comisión:	0		
La siguiente autoevaluación supone al menos una reunión del equipo docente que garantice la participación, la libertad de opinión y la transcripción de eventuales diferencias.	
13. Analizar y evaluar la suficiencia y adecuación de los ámbitos donde se desarrolla la actividad: aulas, equipamiento didáctico, equipamiento informático, otros; y su disponibilidad para todos los alumnos.	
Como resultado de este análisis, se considera que la evaluación es positiva, dado que se cuenta con aulas adecuadas, equipadas con proyector y pizarra, para el dictado de las clases teóricas y prácticas. Asimismo,	

para las prácticas de laboratorio, se cuenta con  laboratorios con el equipamiento informático adecuado y suficiente.  Un aspecto a mejorar es indudablemente la disponibilidad de la bibliografía para los alumnos, y las posibilidades de acceso de éstos a publicaciones científicas de interés para la materia.  Debido a que por ser una materia electiva la matrícula no es muy alta, la cátedra consigue solucionar este problema poniendo	
14. Analizar los datos de inscripción y promoción de los alumnos. Explicar los datos destacados y enunciar causas probables.	
La materia se dictó por primera vez en el año 2009, por lo que no se cuenta con una muestra considerable para realizar un análisis estadístico riguroso. Hecha esta salvedad, los datos  resultan satisfactorios. La matrícula promedio anual es aproximadamente de 5 alumnos, de los cuales aproximadamente el 80% aprueban la materia. La mitad de los que aprueban rinden la materia en los dos turnos de examen siguientes (diciembre y marzo) a la finalización del dictado, y del resto una tercera parte lo hace dentro del siguiente año académico. Son pocos los casos donde la aprobación se realiza luego de más de un año académico, y esta demora se debe generalmente a correlatividades previas.  	
15. Analizar y evaluar la composición del equipo docente a cargo de la actividad para llevar adelante las funciones de docencia, investigación, extensión y vinculación inherentes a los cargos que han sido designados.	
El equipo docente se considera suficiente y técnicamente solvente para el desempeño de sus funciones y el logro de los objetivos de la materia. El docente responsable trabaja en I+D en el área de Sistemas de Tipos desde hace más de 17 años y ha realizado su tesis de doctorado en el área. El mismo continúa su trabajo de investigación en diferentes proyectos nacionales e internacionales vinculados a Sistemas de Tipos, por lo cuál es natural y continua la vinculación entre la investigación y la docencia.	
16. Describir las acciones, reuniones, comisiones en las que participa el equipo docente para trabajar sobre la articulación vertical y horizontal de los contenidos y la formación.	
El equipo docente realiza reuniones periódicas en las que se tratan distintas cuestiones que hacen al desarrollo y a la evolución de la asignatura, ya que es un área de constante renovación: selección/actualización de material a utilizar, mejoramiento de la enseñanza mediante la aplicación de nuevas estrategias, preparación de trabajos prácticos, análisis de herramientas informáticas, entre otras.  	
	17. Otra información.	
		
Incluir toda otra información que se considere pertinente.	
La falta de bibliografía se debe a que las distribuidoras contratadas por la Universidad para tal fin, no trabajan con las editoriales o deciden no importar estos libros y a la falta de acceso en línea apropiado a las editoriales de publiaciones internacionales.
 
La materia a despertado el interés de graduados de la carrera, interesados en el tema por su relación con sus trabajos de posgrado. Algunos contribuyen a discusiones en la lista de correo de la materia y otros participan de las clases en calidad de oyentes.  Esto ha motivado a la cátedra a impulsar la creación de un curso de posgrado que profundice en los tópicos de la materia.