optativas presentacion gral año 2014 - fundamentos - versión final
TRANSCRIPT
Profesores Modelos y Simulación
Marisa De Giusti
Introducción a los compiladores
Patricia Bazán
Tecnologías para la Web Social Semántica
Alicia Díaz
Teoría de la Computación y Verificación de Programas Avanzada
Ricardo Rosenfeld
Análisis Numérico 1
Victoria Vampa
Teoría de Grafos
Marisa Gutiérrez
Investigación Operativa 1
Docente a confirmar
Combinatoria y Aplicaciones
Liliana Alcón
Información a confirmar
Contenido General
Modelos y Simulación
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:
− lenguaje de programación
− motor de simulación
− herramienta de análisis
Análisis de la ejecución de modelos: entradas, salidas, optimización
Presentación de informes de proyecto
Metodología de trabajo
Modelos y Simulación
Encuentros presenciales o semi-presenciales, 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)
Evaluación
Modelos y Simulació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
¿Por qué elegirla?
Modelos y Simulación
Estudiamos una forma diferente de desarrollar:
− Sistemas de eventos discretos
− Sistemas gobernados por colas
− 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
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.
Horarios
Modelos y Simulación
Sitio web http://modelos.prebi.unlp.edu.ar
Contacto [email protected] [email protected]
Comienzo Última semana de Agosto
Más información
Modelos y Simulación
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.
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 on-line) •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.
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 temas teóricos/prácticos según corresponda
¿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.
Más información
Plataforma web:
https://catedras.info.unlp.edu.ar/ Contacto:
Mensaje a través de la plataforma Inicio del curso
Semana del 24 marzo
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 texto / LN
•
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.)
•
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)
¿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
Más información
Plataforma web: Moodle
Contacto: [email protected]
Inicio del curso: mediados de marzo
Teoría de la Computación y
Verificación de Programas
Avanzada
Plantel docente:
Ricardo Rosenfeld, Jerónimo Irazábal
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
Avanzada
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 Avanzada
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 Avanzada
Días y Horarios
Horario de teoría
Martes de 19 a 21. Horario de práctica
Jueves de 19 a 21. Horario de consulta
Lunes de 19 a 21.
Teoría de la Computación y Verificación de Programas Avanzada
Más información
Plataforma web: webUNLP
Contactos:[email protected]
Inicio del curso: 2do semestre
Teoría de la Computación y Verificación de Programas Avanzada