Código:
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
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 |
Se publicarán en Moodle (http://cic.puj.edu.co/moodle/course/view.php?id=41).
Tema | Definición | Fecha de entrega |
---|---|---|
Modelo Declarativo | decl2007-1.pdf | 7 Marzo de 2007 6:00pm |
Modelo Declarativo | decl.pdf | 30 de Octubre de 2006 |
Concurrencia de estado compartido | sharedstate.pdf | Diciembre 15 de 2006 |
Taller:
Proyecto Aquí está la especificación del proyecto para el curso de verano.