Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Optativas presentacion gral año 2014 - fundamentos - versión final
1. Presentació n de las
materias Optativas para el
añ o 2014
Á
rea: Fundamentos
2. Profesores
Modelos y Simulación
Introducción a los compiladores
Marisa Gutiérrez
Investigación Operativa 1
Victoria Vampa
Teoría de Grafos
Ricardo Rosenfeld
Análisis Numérico 1
Alicia Díaz
Teoría de la Computación y Verificación de Programas Avanzada
Patricia Bazán
Tecnologías para la Web Social Semántica
Marisa De Giusti
Docente a confirmar
Combinatoria y Aplicaciones
Liliana Alcón
Información a confirmar
4. Contenido General
La simulación como herramienta de modelización y
análisis de sistemas
Los sistemas de eventos discretos y sistemas
gobernados por colas
Desarrollo de un proyecto de simulación
GPSS como:
−
−
motor de simulación
−
lenguaje de programación
herramienta de análisis
Análisis de la ejecución de modelos: entradas,
salidas, optimización
Presentación de informes de proyecto
Modelos y Simulación
5. Metodología de trabajo
Encuentros presenciales o semipresenciales, combinando
contenidos teóricos y prácticos
Clases interactivas, con participación
de los alumnos
Práctica sobre computadora (sala de
PC, notebooks personales)
Prácticas domiciliarias, para evaluar
el progreso de los alumnos (posibles
entregas)
Modelos y Simulación
6. Evaluación
Cursada
trabajo final que cubre muchos de los temas vistos en
las clases
se evalúa desde el punto de vista técnico (diseño del
modelo, código GPSS, etc.) como desde la calidad del
informe presentado (organización, redacción,
interpretación y presentación de resultados, discusión
de los mismos, etc.)
Final
similar a la evaluación de cursada (trabajo + informe).
por lo general, el modelo es un poco más complejo
suele incluir una actividad de investigación sobre
algún tema particular
Modelos y Simulación
7. ¿Por qué elegirla?
Estudiamos una forma diferente de desarrollar:
−
−
Sistemas gobernados por colas
−
Sistemas de eventos discretos
Orientados a la recolección de datos y
generación de estadíticas
Aprendemos GPSS, un lenguaje de programación
de simulaciones (muy distinto a los lenguajes
tradicionales)
Trabajamos sobre la redacción de informes
formales, orientados tanto hacia el docente como
hacia el cliente
Modelos y Simulación
8. Horarios
Horarios de clase
Encuentro teórico-práctico semanal de Jueves de 10:00 hs a
13:00 hs. Puede convenirse también con los alumnos.
Modelos y Simulación
11. Contenido General
Curso introductorio para el diseño y
construcción de compiladores.
Se profundizan conceptos
introducidos en la asignatura
Conceptos y Paradigmas de
Lenguajes y se presentan conceptos
básicos de la teoría de
compiladores, así como aspectos
prácticos de construcción de los
mismos.
12. Metodología de trabajo
Seguimiento semi-presencial.
•
La modalidad es tipo seminario.
•
Distribución de lecturas de capítulos de libros,
artículos y otro tipo de material para que sean
elaborados por los mismos como parte de las
actividades de la cursada.
•
Las lecturas articularán con la parte práctica
donde se plantean preguntas conceptuales para
analizar en clase (o a través de cuestionarios online)
•
Entregar trabajos que serán considerados como
evaluaciones parciales.
•
Uso de una plataforma virtual tipo Moodle para
el desarrollo de las clases, publicación de
material, consultas, cuestionarios, etc.
•
13. Evaluación
Para aprobar los Trabajos Prácticos:
1- Aprobar el 75% de los ejercicios prácticos
que deberán entregarse en un plazo
preestablecido, a través de la plataforma
Moodle (ya sea como tareas programadas o
como cuestionarios on line)
2- Elaborar un trabajo escrito acerca de un
tema determinado de la materia donde se
elija y se muestre algún aporte particular
sobre el tema estudiado (simulando la
producción de un articulo científico)
3 -Exponer y aprobar la exposición de lo
desarrollado en el punto 2 (instancia
presencial)
La aprobación final de la asignatura requiere
de una evaluación escrita que incluirá los
14. ¿Por qué elegirla?
El diseño y construcción de compiladores
constituyen un pilar fundamental en las
ciencias de la computación y contribuyen a la
formación de un Licenciado en Informática como
bagaje conceptual.
Las técnicas aplicadas a la construcción de
compiladores así como la comprensión de su
funcionamiento y fundamentos de aplicación, son
utilizadas en otros ámbitos de la disciplina.
Como formación complementaria se busca
propiciar el auto aprendizaje, la comunicación oral
y escrita y la capacidad de abstracción en la
adquisición de conocimiento.
18. Contenido General
•
•
•
La web es un repositorio dinámico
de información Información
generada por sistemas, por
organizaciones, y por usuarios
Podemos explotarlo, p.e. para
construir agentes que compren por
nosotros, que nos alerten, que nos
recomienden…
Web semántica:
•
tecnologías y prácticas que hacen
posible explotar esa información sin
tener que recurrir a procesamiento de
19. Metodología de trabajo
Asignatura en formato de seminario
•
Cada alumno tendrá un tutor que lo
guiará en la investigación de uno de
los temas de la WSS:
•
•
•
•
•
elaborar un informe (~10 páginas)
preparar una presentación (30’) y
asistir a las presentaciones de sus
pares
Reuniones de seguimiento periódicas
Clases para todo el grupo cubriendo
temas centrales (metodología, etc.)
20. Evaluación
Cursada
•
•
•
Entrega de versión preliminar del
informe (Calificación de la)
presentación propia
Calificación por la participación (p.e.,
de las presentaciones de otros)
Final
•
•
Calificación del informe (versión final,
incluidas correcciones indicadas)
21. ¿Por qué elegirla?
•
•
•
Propone estrategias y tecnologías
que serán adoptadas por la
industria en los próximos años
(Google’s Freebase, dbpedia,
Facebook’s Opengraph)
La WSS es un área de investigación
muy activa e incipiente en la que se
pueden encontrar temas de tesis
El formato de la asignatura puede
pensarse como una introducción a
la investigación y/o el desarrollo de
trabajo de tesis
24. Teoría de la Computación y
Verificación de Programas
Avanzada
Plantel docente:
Ricardo Rosenfeld, Jerónimo Irazábal
25. Contenido General
Se tratan elementos complementarios de la materia básica del 1er
semestre, agrupados en dos partes:
Complejidad Computacional:
Complejidad espacial. Jerarquía espacial.
Espacio logarítmico y polinomial. Determinismo y no determinismo.
Problemas completos. Jerarquía espacio-temporal.
Misceláneos: pruebas interactivas, criptografía, máq. cuánticas, etc.
Verificación de Programas:
Verificación de programas concurrentes. Semántica operacional de los
lenguajes utilizados. Métodos axiomáticos. Sensatez y completitud. Prueba
de propiedades safety y liveness. Hipótesis de fairness.
Verificación de programas reactivos utilizando lógica temporal. Lógica
temporal lineal y computacional. Expresividad. Comparación de los dos
paradigmas.
Introducción a la semántica denotacional de programas.
Teoría de la Computación y Verificación de Programas
26. Método de Trabajo Evaluación
15 clases teóricas y 15 clases prácticas.
Se permite cursada remota.
Consultas permanentes a través del sitio de la materia.
Bibliografía propia, apuntes, y bibliografía en Biblioteca.
Entrega de trabajos prácticos cada dos semanas.
La calificación de la materia se basa en la entrega de los trabajos
prácticos, que son obligatorios.
No hay examinación final.
Teoría de la Computación y Verificación de Programas
27. Por qué elegirla
La materia básica y obligatoria, Teoría de la Computación y
Verificación de Programas, recorre los fundamentos de la
computabilidad, la complejidad computacional temporal, y la
verificación de programas secuenciales determinísticos de
entrada/salida.
La presente materia profundiza y extiende los contenidos de la
materia inicial, incoporando la dimensión espacial de la complejidad
computacional, y los paradigmas no determinísticos y concurrentes
en la verificación de programas, ahora no sólo de entrada/salida sino
también reactivos.
Como en la materia básica, se acentúa la aplicación de la
matemática en los fundamentos de la computación (inducción,
reducción de problemas, diagonalización, relaciones de orden bien
fundadas, lógica, etc).
Teoría de la Computación y Verificación de Programas
28. Días y Horarios
Horario de teoría
Horario de práctica
Martes de 19 a 21.
Jueves de 19 a 21.
Horario de consulta
Lunes de 19 a 21.
Teoría de la Computación y Verificación de Programas