| Centro |
| Facultad de Filosofía y Ciencias de la Educación |
| Departamento |
| Lógica y Filosofía de la Ciencia |
| Profesor responsable |
| Sin datos cargados |
| Met. Docent |
| Clases magistrales, clases prácticas y tutorías. |
| Met. Avaluació |
| Examen Final y trabajo |
| Bibliografia |
| - BOOLOS, G. S. & JEFFREY, R. C.: Computability and Logic. Cambridge: Cambridge University Press, 3rd. edition, 1989. - CUENA, J.: Lógica informática. Madrid: Alianza, 1985. - HOPCROFT, J. E. & ULLMAN, J. D.: Introduction to automata theory, languages, and computation. Amsterdam: Addison-Wesley, 1979. Trad. Castellano. Univ. Autónoma. Madrid - KOWALSKI, R.: Lógica, programación e inteligencia artificial. Madrid: Díaz de Santos, 1986. - NILSSON, N. J.: Principios de inteligencia artificial. Madrid: Díaz de Santos, 1987. |
| Continguts |
| Estudio de los conceptos básicos y técnicas generales comunes a la lógica y la informática y su aplicación al análisis de los lenguajes naturales y de programación, al reconocimiento y generación de lenguajes y a la demostración automática de teoremas. TEMAS Tema 1. Conceptos generales de lógica e informática |