¡Esta es una revisión vieja del documento!


Modelos y Conceptos de Programación

Código:

Profesor: Javier Mena <javi...@>

Créditos: 3

Lista de Correo del Curso: Utilizar Moodle http://cic.puj.edu.co/moodle/course/view.php?id=41

Prerequisitos: Introducción a la Lógica para Ciencias de la Computación, Fundamentos de Investigación

Horario: Jueves, 6:00pm - 9:00pm

Evaluación

  • Parcial 1: 15% (Programación Oz)
  • Parcial 2: 20% (Concurrencia declarativa)
  • Parcial 3: 25% (Concurrencia imperativa)
  • Proyecto: 20%
  • Exposición: 20%

Parciales

  • Primer parcial : TBD
  • Segundo Parcial : TBD

Contenido

Lecture Topic Suggested Readings Slides Programs
1 Course organization, Getting started Chapter 1, Appendixes A, B and C Introd-slides
2 Declarative computation model Chapters 2, 3
3 Declarative concurrency Chapter 4 (sec 1,2,3,4)
4 Lazy execution (LE) Chapter 4 (sec 5) Evaluación perezosa
5 Lazy execution (cont)
6 LE Applications
7 Message passing concurrency (MPC) Chapter 5 (sec 1,2,3,4) Introducción protocolos ejemplos
8 MPC Modeling and applications Chapter 5 (sec 5,8) uso directo ascensor elegir lider cola concurrente
MT. Exam
9 Explicit state Chapter 6 (sec 1 to 6)
10 Shared state concurrency (SSC) Chapter 8 (sec 1,2) sharedmemory.pdf
11 (SSC) Locks Chapter 8 (sec 3)
12 (SSC) Monitors Chapter 8 (sec 4)
13 (SSC) Transactions Chapter 8 (sec 5)
FT. Exam
Project evaluation

Material

  • Libro: Concepts, Techniques and Models of Computer Programming. Peter Van Roy, Seif Haridi.

Material adicional

Taller y Proyectos

Tareas anteriores

Tema Definición Fecha de entrega
Modelo Declarativodecl2007-1.pdf7 Marzo de 2007 6:00pm
Modelo Declarativodecl.pdf30 de Octubre de 2006
Concurrencia de estado compartidosharedstate.pdf Diciembre 15 de 2006

Taller:

taller1-modelos.pdf

Proyecto Aquí está la especificación del proyecto para el curso de verano.

Archivos necesarios

 
materias/modelos_y_conceptos_de_programacion.1383916547.txt.gz · Última modificación: 2013/11/08 08:15 por alexvalencia
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki