UNIVERSIDAD NACIONAL DE TRUJILLO

SILABO DE ESPECIFICACION FORMAL DE SISTEMAS

I. IDENTIFICACIN
1.1. Experiencia Curricular: ESPECIFICACION FORMAL DE SISTEMAS
1.2. Facultad: FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS
1.3. Para estudiantes de la carrera: INFORMATICA
1.4. Calendario Acadmico: 2012-II
1.5. Ao/Semestre curricular: 8
1.6. Cdigo de curso: 1019
1.7. Seccin: A
1.8. Creditos: 4
1.9. Nmero de Rotaciones, veces que se desarrolla la experiencia curricular en el ao/semestre curricular: 1
1.10. Duracin por vez de rotacin (Nro. de Semanas): 16
1.11. Extensin horaria:
1.11.1. Total de horas semanales: 6
- Horas Teora: 2
- Horas Prctica: 4
1.11.2. Total de Horas Ao/Semestre: 102
1.12. Organizacin del tiempo Anual/Semestral:
Tipo Total Unidad Semana
Actividades Hs I II III Aplazado
- Sesiones Tericas 32 10 10 12 ---
- Sesiones Prcticas 52 16 16 20 ---
- Sesiones de Evaluacin 18 4 4 4 6
Total Horas 102 --- --- --- ---
1.13. Prerrequisitos:
- Cursos:
- ALGEBRA UNIVERSAL PARA CIENCIAS DE LA COMPUTACION
- Creditos: No necesarios
1.14. Docente(s):
1.14.1. Coordinador(es):
Descripcin Nombre Profesin Email
Coordinador General CRUZ FLORIAN, IRIS
AUREA
ING. DE
COMPUTACION Y
SISTEMAS
irisacruz@yahoo.com
II. FUNDAMENTACIN Y DESCRIPCIN
El presente curso es una asignatura de naturaleza terico-prctica. El objeto de estudio es desarrollar los
conceptos y fundamentos de los modelos de especificacin formal tales como Lambda Clculo, que permite
la descripcin de las funciones matemticas y de sus propiedades; y constituye un modelo formal; pues
muchos lenguajes funcionales son a menudo descritos como un Lambda Clculo Extendido y
consecuentemente los programas funcionales pueden ser traducidos a esta notacin.
Adems estudiaremos Mtodos orientados a modelos, Mtodos orientados a propiedades VDM, Mtodo
algebraico CSP, entre otros
III. APRENDIZAJES ESPERADOS
En el curso de Especificacin Formal de Sistemas se espera:
- Comprender y analizar los conceptos y fundamentos de Lambda Clculo (Sin tipos y con tipos)dentro de
la especificacin formal de sistemas
- Analizar, investigar conceptos y fundamentos sobre Definibilidad, Semntica Denotacional y modelos
lambda.
- Comprender y analizar otros conceptos como: Mtodos orientados a modelos, Mtodos orientados a
propiedades VDM, Mtodo algebraico CSP, entre otros
IV. PROGRAMACIN
4.1. UNIDAD 1
4.1.1. Denominacin: Especificacin Formal de Sistemas y Lambda Clculo
4.1.2. Inicio: 2012-08-20 Termino: 2012-09-21 Nmero de Semanas: 5
4.1.3. Objetivos de Aprendizaje
- Comprender y analizar los conceptos y fundamentos de lambda clculo (sin tipos) dentro de la
especificacin formal de sistemas
4.1.4. Desarrollo de la Enseanza-Aprendizaje:
Semana Actividades y/o Contenidos MMEE
Pg. 1
UNIVERSIDAD NACIONAL DE TRUJILLO
Semana 1
Inicio:
2012-08-20
Termino:
2012-08-24
introduccin a la Especificacin Formal de Sistemas Bibliografa y Archivos
digitales
Semana 2
Inicio:
2012-08-27
Termino:
2012-08-31
Lambda Clculo sin tipos; expresiones Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 3
Inicio:
2012-09-03
Termino:
2012-09-07
Semntica operacional; Formas Normales Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 4
Inicio:
2012-09-10
Termino:
2012-09-14
Teora de Combinadores Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 5
Inicio:
2012-09-17
Termino:
2012-09-21
EVALUACION EXAMEN PARCIAL
ESCRITO
4.1.5. Evaluacin Sumativa del Aprendizaje:
Semana Tcnica/Instrumento
Semana 1
Inicio:
2012-08-20
Termino:
2012-08-24
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 2
Inicio:
2012-08-27
Termino:
2012-08-31
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 3
Inicio:
2012-09-03
Termino:
2012-09-07
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 4
Inicio:
2012-09-10
Termino:
2012-09-14
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 5
Inicio:
2012-09-17
Termino:
2012-09-21
EXAMEN PARCIAL ESCRITO
4.2. UNIDAD 2
4.2.1. Denominacin: Lambda Definibilidad y Semntica Denotacional
4.2.2. Inicio: 2012-09-24 Termino: 2012-10-26 Nmero de Semanas: 5
4.2.3. Objetivos de Aprendizaje
- Analizar, investigar conceptos y fundamentos sobre Definibilidad, Semntica Denotacional y
modelos lambda
4.2.4. Desarrollo de la Enseanza-Aprendizaje:
Semana Actividades y/o Contenidos MMEE
Pg. 2
UNIVERSIDAD NACIONAL DE TRUJILLO
Semana 6
Inicio:
2012-09-24
Termino:
2012-09-28
Lambda Definibilidad Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 7
Inicio:
2012-10-01
Termino:
2012-10-05
Super Combinadotes. Formas no Normales. Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 8
Inicio:
2012-10-08
Termino:
2012-10-12
Lambda Lifting Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 9
Inicio:
2012-10-15
Termino:
2012-10-19
Semntica Denotacional. Lambda Modelos. Incompletitud Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 10
Inicio:
2012-10-22
Termino:
2012-10-26
EVALUACION EXAMEN PARCIAL
ESCRITO
4.2.5. Evaluacin Sumativa del Aprendizaje:
Semana Tcnica/Instrumento
Semana 6
Inicio:
2012-09-24
Termino:
2012-09-28
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 7
Inicio:
2012-10-01
Termino:
2012-10-05
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 8
Inicio:
2012-10-08
Termino:
2012-10-12
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Semana 9
Inicio:
2012-10-15
Termino:
2012-10-19
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Exposicin - Documentacin
Semana 10
Inicio:
2012-10-22
Termino:
2012-10-26
EXAMEN PARCIAL ESCRITO
4.3. UNIDAD 3
4.3.1. Denominacin: Lambda Clculo con tipos y otros Mtodos de especificacin
4.3.2. Inicio: 2012-10-29 Termino: 2012-12-07 Nmero de Semanas: 6
4.3.3. Objetivos de Aprendizaje
- Desarrollar y analizar los fundamentos de lambda clculo con tipos
- Desarrollar y analizar los fundamentos de otros mtodos de especificacin
- Analizar la Optimizacin automtica de programas
4.3.4. Desarrollo de la Enseanza-Aprendizaje:
Pg. 3
UNIVERSIDAD NACIONAL DE TRUJILLO
Semana Actividades y/o Contenidos MMEE
Semana 11
Inicio:
2012-10-29
Termino:
2012-11-02
Lambda Clculo con tipos
Programacin Funcional
Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 12
Inicio:
2012-11-05
Termino:
2012-11-09
Mtodos Formales.Mtodos orientados a modelos, Mtodos orientados a
propiedades, Mtodo algebraico, otros mtodos
Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 13
Inicio:
2012-11-12
Termino:
2012-11-16
VDM, CSP, Z Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 14
Inicio:
2012-11-19
Termino:
2012-11-23
Pi Clculo Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 15
Inicio:
2012-11-26
Termino:
2012-11-30
Lambda Clculo implementado Bibliografa y Archivos
digitales
Manuales, hoja de trabajo
de laboratorio
Semana 16
Inicio:
2012-12-03
Termino:
2012-12-07
EVALUACION EVALUACION
4.3.5. Evaluacin Sumativa del Aprendizaje:
Semana Tcnica/Instrumento
Semana 11
Inicio:
2012-10-29
Termino:
2012-11-02
EXAMEN DE REZAGADOS
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Exposicin - Documentacin
Semana 12
Inicio:
2012-11-05
Termino:
2012-11-09
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Exposicin - Documentacin
Semana 13
Inicio:
2012-11-12
Termino:
2012-11-16
Ejercicios de Aplicaciones de Laboratorio - evaluacin de programas
Exposicin - Documentacin
Semana 14
Inicio:
2012-11-19
Termino:
2012-11-23
Exposicin - Documentacin
Semana 15
Inicio:
2012-11-26
Termino:
2012-11-30
Exposicin - Documentacin
EVALUACION DE AVANCE PROYECTO
Semana 16
Inicio:
2012-12-03
Termino:
Pg. 4
EVALUACION DE PROYECTO
UNIVERSIDAD NACIONAL DE TRUJILLO
2012-12-07
4.4. APLAZADO
Semana Tcnica/Instrumento
Semana 17 Examen de Aplazado, evaluaciones pertimentes
del curso.
V. NORMAS DE EVALUACIN
La evaluacin del curso comprende:
3 Notas de Unidad: NU1, NU2 y NU3 que comprende cada una de ellas lo siguiente:
1 Examen Parcial (EP), Pero en la III unidad su equivalente es Exposicin y Documentacin
1 Promedio de laboratorios (PL), prcticas calificadas, intervenciones, proyecto con peso 2
de tal forma que cada NU = (EP+EL)/2
La Nota Promocional se define del modo siguiente:
NP = (NU1 + NU2 + NU3) / 3
- La nota de calificacin est en la escala de 0 a 20
- El alumno aprueba el curso si NP >= 10.5
- El alum no que desapruebe el curso, rendir el examen de aplazado
- Adems es requisito para la aprobacin, tener una asistencia no menor al 70% a las actividades
programadas
- El alumno que falte a uno de los exmenes tendr cero (00) de nota
VI. CONSEJERA/ORIENTACIN
Propsitos: Apoyar a los alumnos a despejar dudas en lo relacionado con el curso.
Da: martes
Lugar: sala de profesores
Horario: 11.00 a.m. - 12.00 m.
VII. BIBLIOGRAFA
- Ruiz Jimnez, Blas Carlos; Guerrero Garca, Pablo. El Lambda-Clculo (sin tipos y con tipos).
Universidad de Mlaga. Espaa 2002.
- Ruiz Jimnez, Blas Carlos; Gutierrez, Francisco; Guerrero Garca, Pablo y Gallardo, Jos E. Razonando
con Haskell, Un curso sobre programacin funcional. Universidad de Mlaga. THOMSON. Espaa 2004.
- Terren se W., Pratt; Marvin V. Zelkowitz. Lenguajes de Programacin diseo e implementacin. Prentice
may Hipanoamericana S:A., 3era ed., Mxico 1998.
El presente Silabo de la Experiencia Curricular "ESPECIFICACION FORMAL DE SISTEMAS", ha sido
Visado por el Director de la ESCUELA ACADEMICO PROFESIONAL DE INFORMATICA, quien da
conformidad al silabo registrado por el docente CRUZ FLORIAN, IRIS AUREA que fue designado por el jefe
del DEPARTAMENTO ACADEMICO DE INFORMATICA.
Pg. 5