| Center |
| Faculty of Philosophy and Educational Sciences |
| Departament |
| Logic and Philosophy of Science |
| Lecturers in charge |
| F0017 - ENRIQUE CASABAN MOYA |
| Met. Docent |
| Lectures, practical workshops and tutorials The practical sessions will be carried out in the coputer lab. |
| Met. Avaluació |
| Final examination and project work |
| Bibliografia |
| - BRATKO, I.: Prolog: Programming for Artificial Intelligence. Reading, MA. Addison-Wesley 1990. - CLOCKSIN, W.F. & MELLISH, C.S.: Programación en PROLOG, Madrid: Gustavo Gili, 1987. - GARRIDO, M.: Lógica simbólica, Madrid: Tecnos, 1989. - KOWALSKI, E.: Lógica, Programación e Inteligencia Artificial. Editorial: Diaz de Santos, 1986. - NILSSON, N. J.: Principios de Inteligencia Artificial. Madrid: Díaz de Santos, 1987. |
| Continguts |
| This subject consists of five practical credits, and along with practical exercises and problems it will form student in "Higher Order Logic with Identity." The unit intends to help students make connections between logical formalism and passages of natural language and to scientific theories, especially those regarding elementary arithmetic, physics and theory of groups. Abundant material will be provided to enable students to classify and exercise their knowledge in Higher Order Logic. Due to its practical aspect, this unit is especially recommended as a complement to the core subject of Logic. PROLOG Language will be used as a tool. THEMES: 1. Ordinary language issues. Formalization and foundation. 2. Formal number theory: Peano s Arithmetic. 3. Basic theory of groups. Logical tests. 4. Aspects of Physics. 5. Classical issues of Philosophy of Language. |