| Center |
| Faculty of Philosophy and Educational Sciences |
| Departament |
| Logic and Philosophy of Science |
| Lecturers in charge |
| Sin datos cargados |
| Met. Docent |
| Lectures, practical workshops and tutorials |
| Met. Avaluació |
| Final examination and project work |
| 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 |
| Study of basic concepts and general techniques common to logic and computer science, and their application in analysis of programming and natural languages. Recognition and creation of languages and automatic theorem proofs. THEMES: Theme 1. General concepts of logic and computer science Theme 2. Grammar, languages and robots Theme 3. Procedures and algorithms Theme 4. Natural languages and programming languages Theme 5. Logic and calculation. Theme 6. Informal aspects of logic Theme 7. Classification of types of problems |