GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...
GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ... GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...
II (Ciclo 2) Lógica para la Computación Cuatrimestral, Optativa, 7.5 Créditos (4.5T + 3P) Descriptores - Lógica de primer orden. - Deducción automática. - Programación lógica. - Lógicas no-estándar. Profesores José María Barja Pérez jmbarja@dc.fi.udc.es Objetivos docentes Proporcionar un conocimiento activo de partes de la lógica relevantes para la computación. Bibliografía Recomendada Ben-Ari, M. Mathematical Logic for Computer Science. Prentice Hall, 1993. Gibbins, P. Logic with Prolog. Claredon Press - Oxford, 1988. Nedore, A. y Shore, R. A. Logic for Applications. Springer-Verlag, 1993. Reeves, S. y Clarke, M. Logic for Computer Science. John Wiley & Sons, 1990. Schöning, U. Logic for Computer Scientist. Birkhäuser, 1989. Complementaria Barwise, J. y Etchemendy, J. Hyperproof. CSLI Publications, 1989. Duffy, D. Principles of automated theorem proving. John Wiley & Sons, 1991. Lalement, R. Lógique, reductión, resolution. Masson, 1990. Popkorn, S. First Steps in Modal Logic. Cambridge University Press, 1994. Contenido 1. Nociones generales o Sintaxis: Formalización de argumentos. Especificación de la sintaxis. o Semántica proposicional. Consecuencia semántica. o Métodos de deducción: Sistemas de deducción: tablas semánticas, resolución, deducción natural. Coherencia y completitud. Decidibilidad. 216
2. Lógica de primer orden o Sintaxis: Necesidad de los cuantificadores. Formalización de argumentos. Especificación de la sintaxis. o Semántica: Interpretaciones. Tablas semánticas en el cálculo de predicados. o Semántica vs sintaxis: Forma estándar de Skolem. Universos de Herbrand. Insatisfactibilidad. o Resolución y unificación: Substituciones. Unificación. Resolución en predicados. o Deducción automática: Deducción natural y secuentes. Teorías. Teoría de la igualdad. Aritmética. 3. Lógica y computación o Programación lógica: Generación de respuestas. Programas de cláusulas de Horn. Bases de datos deductivas. o Lógicas no estándar: Semántica modal. Sistemas de lógica modal. y temporal. Lógica intuicionista. 217
- 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
- Page 175 and 176: APARICIO SALOM, J., Estudio sobre l
- Page 177 and 178: 1. Nociones generales. 2. La Propie
- Page 179 and 180: 6. Nulidad y caducidad de la marca
- Page 181 and 182: o Redundancia en tiempo. o Toleranc
- Page 183 and 184: Tema 1 Introducción 1.1 Visión Ge
- Page 185 and 186: Ullman, J.; Widom, J. A first cours
- Page 187 and 188: 3. Modelo de bases de datos deducti
- Page 189 and 190: Evolución y cognición. Mente cons
- Page 191 and 192: Comunicaciones Digitales Descriptor
- Page 193 and 194: o Operaciones complementarias o Tra
- Page 195 and 196: Gestión de Redes Descriptores - Ca
- Page 197 and 198: PARTE V. PLATAFORMAS DE GESTIÓN DE
- Page 199 and 200: o Introducción. o Características
- Page 201 and 202: o Dibujo de curvas 3. Dibujo de obj
- Page 203 and 204: Contenido TEMA 1. DIRECCIÓN Y GEST
- Page 205 and 206: 2. Instrumentación biomédica. 3.
- Page 207 and 208: Chapter 11: Information Systems Cha
- Page 209 and 210: Inteligencia Artificial Descriptore
- Page 211 and 212: 10. ANÁLISIS DE COSTES/BENEFICIOS
- Page 213 and 214: o Entrada o Salida o Sistemas de ve
- Page 215: a. Segmentación de textos b. Morfo
- Page 219 and 220: 3. Adaptación de las señales a lo
- Page 221 and 222: 1. Introducción. 2. Problemas de c
- Page 223 and 224: 1. Control de Calidad. Introducció
- Page 225 and 226: o Generación de números pseudo-al
- Page 227 and 228: 4. Microsoft Powerpoint o Introducc
- Page 229 and 230: • Revisión de las arquitecturas
- Page 231 and 232: Contenido 1. Arquitectura de ordena
- Page 233 and 234: 1992. P. Hudak, J. Peterson, J. Fas
- Page 235 and 236: Braude, Eric J. Software Engineerin
- Page 237 and 238: Internet como en Intranet. En concr
- Page 239 and 240: Bibliografía Recomendada Arbib, M.
- Page 241 and 242: 1. Introducción. Conceptos de sist
- Page 243 and 244: 2. Sensores y transductores • Car
- Page 245 and 246: Definición 1. Transformada de Lapl
- Page 247 and 248: Sistemas de tiempo real Descriptore
- Page 249 and 250: Sistemas expertos Descriptores •
- Page 251 and 252: Técnicas de simulación Descriptor
- Page 253 and 254: II (Ciclo 1) - ITIG Técnicas opera
- Page 255 and 256: Teoría de códigos Descriptores
- Page 257 and 258: Teoría de colas Descriptores II (C
- Page 259 and 260: II (Ciclo 1) - ITIS Tratamiento dig
- Page 261 and 262: Visión Arificial Descriptores II (
- Page 263 and 264: Teoría de Juegos Descriptores Libr
2. Lógica <strong>de</strong> primer or<strong>de</strong>n<br />
o Sintaxis: Necesidad <strong>de</strong> los cuantificadores. Formalización <strong>de</strong><br />
argumentos. Especificación <strong>de</strong> la sintaxis.<br />
o Semántica: Interpretaciones. Tablas semánticas en el cálculo <strong>de</strong><br />
predicados.<br />
o Semántica vs sintaxis: Forma estándar <strong>de</strong> Skolem. Universos <strong>de</strong><br />
Herbrand. Insatisfactibilidad.<br />
o Resolución y unificación: Substituciones. Unificación. Resolución en<br />
predicados.<br />
o Deducción automática: Deducción natural y secuentes. Teorías. Teoría<br />
<strong>de</strong> la igualdad. Aritmética.<br />
3. Lógica y computación<br />
o Programación lógica: Generación <strong>de</strong> respuestas. Programas <strong>de</strong> cláusulas<br />
<strong>de</strong> Horn. Bases <strong>de</strong> datos <strong>de</strong>ductivas.<br />
o Lógicas no estándar: Semántica modal. Sistemas <strong>de</strong> lógica modal. y<br />
temporal. Lógica intuicionista.<br />
217