Modelos y Conceptos de Programación

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

Evaluación

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

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

http://faculty.cs.byu.edu/~irenelg/courses/330/CTM/HW/2.html
http://www.info.ucl.ac.be/people/PVR/ds/CS2104/Exams/
Descargar Oz: www.mozart-oz.org
Teclas rápidas de Emacs
- http://swik.net/Emacs/Emacs+Key+Commands
- http://www.engr.uvic.ca/~dastone/emacs-keys.html
Otros editores para Windows: XEmacs y Emacs (diferente al que remiendan en Mozart-Oz.org):
- XEmacs: http://www.xemacs.org/Download/win32/
- Emacs: http://ftp.gnu.org/pub/gnu/emacs/windows/
  - Descargar (por ejemplo, emacs-22.3-bin-i386.zip) y descomprimir.
  - Seguir instrucciones de Mozart-Oz para configurar el Modo Oz en Emacs.

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: