GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...
GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ... GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...
Booch, G.; Rumbaugh, J.; Jacobson, I. El Lenguaje Unificado de Modelado. Addison Wesley Iberoamericana, 1999. Contenido Teoría 1. Introducción a la ingeniería del software. 2. Configuración de un producto software. 3. Características del diseño modular. 4. Programación estructurada. 5. Programación orientada a objetos. 6. Pruebas de unidad e integración. Práctica 1. Programación orientada a objetos empleando el lenguaje JAVA. 2. Pruebas de unidad y de funcionalidad. 124
Programación Declarativa Descriptores - Programación funcional. - Programación lógica. Profesores II (Ciclo 1) Cuatrimestral, Obligatoria, 6 Créditos (3T + 3P) David Cabrero Souto cabrero@dc.fi.udc.es José María Molinelli Barba molineli@dc.fi.udc.es Objetivos docentes Introducción a la programación lógica y a la programación funcional. Bibliografía Recomendada L. Sterling y E. Shapiro. The Art of Prolog. MIT Press. 1986. Ä Wikström. Functional Programming Using Standard ML. Prentice Hall. Complementaria Manuel Vilares, Miguel Alonso y Alberto Valderruten. Programación lógica. Tórculo Edicións. 1994. P. Weis y X. Leroy. Le languaje Caml. InterEditions. 1993. X. Leroy y P. Weis. Manuel de référen du languaje Caml. InterEditions. 1993. L. C. Paulson. ML for the Working Programmer. Cambridge University Press. 1991. G. Cousineau y M. Mauny. The Functional Approach to Programming. Cambridge University Press. 1998. Contenido 1. Programación lógica: lenguaje PROLOG o Programación lógica: conceptos fundamentales o Programas lógicos, cláusulas y cuestiones o Objetos en programación lógica. La variable lógica o Concepto de unificación: substituciones e instancias o Un intérprete lógico simple o Semántica de un programa lógico: corrección y completud 125
- Page 73 and 74: Matlab. Pirámide, 1999. Contenido
- Page 75 and 76: o Rendimiento 2. El repertorio de i
- Page 77 and 78: Wesley Iberoamericana, 1999. Conten
- Page 79 and 80: los SOM. Propiedades de los SOM. Ej
- Page 81 and 82: o Soluciones hardware y software al
- Page 83 and 84: Identificadores libres y ligados. o
- Page 85 and 86: Hall 2002. Contenido Parte I: Jerar
- Page 87 and 88: Tema 4: Análisis de Fourier de se
- Page 89 and 90: o ICMP y los protocolos básicos de
- Page 91 and 92: o Creación y terminación de proce
- Page 93 and 94: 2. Lenguajes Regulares o Lenguajes
- Page 95 and 96: Mathematica. Prensas Universitarias
- Page 97 and 98: o Funciones continuas. Teorema de B
- Page 99 and 100: o Listas con cabecera 3. Pilas o Pi
- Page 101 and 102: 2. Descripción estadística de var
- Page 103 and 104: Contenido 1. Conceptos de inferenci
- Page 105 and 106: 2. Electrostática. Campo eléctric
- Page 107 and 108: 1. Introducción a la Lógica. o Pr
- Page 109 and 110: Contenido ALGORITMOS, PROGRAMAS Y L
- Page 111 and 112: II (Ciclo 1) Tecnología de computa
- Page 113 and 114: Tecnología Electrónica Descriptor
- Page 115 and 116: Algoritmos Descriptores II - Inducc
- Page 117 and 118: Bases de Datos I Descriptores II -
- Page 119 and 120: II Computación Numérica Cuatrimes
- Page 121 and 122: II Estructura de Computadores I Cua
- Page 123: Metodología de la Programación De
- Page 127 and 128: Sistemas Conexionistas Descriptores
- Page 129 and 130: Sistemas Operativos I Descriptores
- Page 131 and 132: Tecnología de la programación Des
- Page 133 and 134: Contenido PARTE I: Jerarquía de Me
- Page 135 and 136: 1. Conceptos de inferencia estadís
- Page 137 and 138: • Solución gráfica de problemas
- Page 139 and 140: Tema 4: Análisis de Fourier de se
- Page 141 and 142: 1. El protocolo IP, con una descrip
- Page 143 and 144: o Creación y terminación de proce
- Page 145 and 146: o Autómatas finitos deterministas.
- Page 147 and 148: 2. Paralelismo a nivel de instrucci
- Page 149 and 150: Contenido 1. Introducción. o El m
- Page 151 and 152: Ullman, J. y Widom, J. A first cour
- Page 153 and 154: MÓDULO I - Conceptos básicos 1. I
- Page 155 and 156: Page-Jones, M. The Practical Guide
- Page 157 and 158: Borrajo, J. y Martínez y Pazos. In
- Page 159 and 160: permutaciones, y combinaciones con
- Page 161 and 162: Russel, S. y Norvig, P. Inteligenci
- Page 163 and 164: IEEE Guide to Software Requirements
- Page 165 and 166: 2001. McLaughlin, B. Java and XML,
- Page 167 and 168: Complementaria Tanenbaum. Redes de
- Page 169 and 170: Análisis y Diseño Orientado a Obj
- Page 171 and 172: II (Ciclo 2) - ITIG Arquitectura Cl
- Page 173 and 174: Aspectos Jurídicos y Deontológico
Programación Declarativa<br />
Descriptores<br />
- Programación funcional.<br />
- Programación lógica.<br />
Profesores<br />
II (Ciclo 1)<br />
Cuatrimestral, Obligatoria, 6 Créditos (3T + 3P)<br />
David Cabrero Souto cabrero@dc.fi.udc.es<br />
José María Molinelli Barba molineli@dc.fi.udc.es<br />
Objetivos docentes<br />
Introducción a la programación lógica y a la programación funcional.<br />
Bibliografía<br />
Recomendada<br />
L. Sterling y E. Shapiro. The Art of Prolog. MIT Press. 1986.<br />
Ä Wikström. Functional Programming Using Standard ML. Prentice Hall.<br />
Complementaria<br />
Manuel Vilares, Miguel Alonso y Alberto Val<strong>de</strong>rruten. Programación lógica. Tórculo<br />
Edicións. 1994.<br />
P. Weis y X. Leroy. Le languaje Caml. InterEditions. 1993.<br />
X. Leroy y P. Weis. Manuel <strong>de</strong> référen du languaje Caml. InterEditions. 1993.<br />
L. C. Paulson. ML for the Working Programmer. Cambridge University Press. 1991.<br />
G. Cousineau y M. Mauny. The Functional Approach to Programming. Cambridge<br />
University Press. 1998.<br />
Contenido<br />
1. Programación lógica: lenguaje PROLOG<br />
o Programación lógica: conceptos fundamentales<br />
o Programas lógicos, cláusulas y cuestiones<br />
o Objetos en programación lógica. La variable lógica<br />
o Concepto <strong>de</strong> unificación: substituciones e instancias<br />
o Un intérprete lógico simple<br />
o Semántica <strong>de</strong> un programa lógico: corrección y completud<br />
125
Change language