Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Presentació n de las
materias Optativas para el
añ o 2014

Á
rea: Fundamentos
Profesores


Modelos y Simulación




Introducción a los compiladores




Marisa Gutiérrez

Investigación Operativa 1...
Modelos y Simulación

Marisa R. De Giusti
Gonzalo L. Villarreal
Contenido General




La simulación como herramienta de modelización y
análisis de sistemas
Los sistemas de eventos disc...
Metodología de trabajo








Encuentros presenciales o semipresenciales, combinando
contenidos teóricos y prácticos
...
Evaluación
Cursada




trabajo final que cubre muchos de los temas vistos en
las clases
se evalúa desde el punto de vist...
¿Por qué elegirla?


Estudiamos una forma diferente de desarrollar:
−
−



Sistemas gobernados por colas

−



Sistemas...
Horarios


Horarios de clase

Encuentro teórico-práctico semanal de Jueves de 10:00 hs a
13:00 hs. Puede convenirse tambi...
Más información
Sitio web



http://modelos.prebi.unlp.edu.ar

Contacto



marisa.degiusti@sedici.unlp.edu.ar
gonzalo@p...
Introducción a los
compiladores

Docentes: Patricia Bazán y
Dalila Romero
Contenido General

Curso introductorio para el diseño y
construcción de compiladores.
Se profundizan conceptos
introducido...
Metodología de trabajo
Seguimiento semi-presencial.
•
La modalidad es tipo seminario.
•
Distribución de lecturas de capítu...
Evaluación
Para aprobar los Trabajos Prácticos:
1- Aprobar el 75% de los ejercicios prácticos
que deberán entregarse en un...
¿Por qué elegirla?
El diseño y construcción de compiladores
constituyen un pilar fundamental en las
ciencias de la computa...
Horarios



Horarios de teoría/práctica


Martes 18 hs
Más información



Plataforma web:

https://catedras.info.unlp.edu.ar/


Contacto:

Mensaje a través de la plataforma

...
Tecnologías para la Web
Social Semántica

Docente: Alicia Díaz
Contenido General
•

•

•

La web es un repositorio dinámico
de información Información
generada por sistemas, por
organiz...
Metodología de trabajo
Asignatura en formato de seminario

•

Cada alumno tendrá un tutor que lo
guiará en la investigació...
Evaluación
Cursada

•
•

•

Entrega de versión preliminar del
informe (Calificación de la)
presentación propia
Calificació...
¿Por qué elegirla?
•

•

•

Propone estrategias y tecnologías
que serán adoptadas por la
industria en los próximos años
(G...
Horarios



Horarios de teoría



Horarios de práctica
Más información







Plataforma web: Moodle
Contacto:
alicia@lifia.info.unlp.edu.ar
Inicio del curso: mediados de mar...
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:
Comp...
Método de Trabajo Evaluación
15 clases teóricas y 15 clases prácticas.
Se permite cursada remota.
Consultas permanentes a ...
Por qué elegirla
La materia básica y obligatoria, Teoría de la Computación y
Verificación de Programas, recorre los fundam...
Días y Horarios



Horario de teoría




Horario de práctica




Martes de 19 a 21.
Jueves de 19 a 21.

Horario de co...
Más información



Plataforma web:



Contactos:

webUNLP

rrosenfeld@pragmaconsultores.com
jeronimo.irazabal@gmail.com
...
Upcoming SlideShare
Loading in …5
×

0

Share

Download to read offline

Optativas presentacion gral año 2014 - fundamentos - versión final

Download to read offline

  • Be the first to like this

Optativas presentacion gral año 2014 - fundamentos - versión final

  1. 1. Presentació n de las materias Optativas para el añ o 2014 Á rea: Fundamentos
  2. 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
  3. 3. Modelos y Simulación Marisa R. De Giusti Gonzalo L. Villarreal
  4. 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. 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. 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. 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. 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
  9. 9. Más información Sitio web  http://modelos.prebi.unlp.edu.ar Contacto   marisa.degiusti@sedici.unlp.edu.ar gonzalo@prebi.unlp.edu.ar Comienzo  Última semana de Agosto Modelos y Simulación
  10. 10. Introducción a los compiladores Docentes: Patricia Bazán y Dalila Romero
  11. 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. 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. 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. 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.
  15. 15. Horarios  Horarios de teoría/práctica  Martes 18 hs
  16. 16. 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
  17. 17. Tecnologías para la Web Social Semántica Docente: Alicia Díaz
  18. 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. 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. 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. 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
  22. 22. Horarios  Horarios de teoría  Horarios de práctica
  23. 23. Más información    Plataforma web: Moodle Contacto: alicia@lifia.info.unlp.edu.ar Inicio del curso: mediados de marzo
  24. 24. Teoría de la Computación y Verificación de Programas Avanzada Plantel docente: Ricardo Rosenfeld, Jerónimo Irazábal
  25. 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. 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. 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. 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
  29. 29. Más información  Plataforma web:  Contactos: webUNLP rrosenfeld@pragmaconsultores.com jeronimo.irazabal@gmail.com  Inicio del curso: 2do semestre Teoría de la Computación y Verificación de Programas

Views

Total views

1,650

On Slideshare

0

From embeds

0

Number of embeds

1,130

Actions

Downloads

4

Shares

0

Comments

0

Likes

0

×