Centre |
Facultat de Filosofia i Ciències de l'Educació |
Departament |
Lògica i Filosofia de la Ciència |
Professor responsable |
Sin datos cargados |
Met. Docent |
Clases magistrales, clases prácticas y tutorías. |
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 |