Logic

Key L

This module provides and approach to the different types logic, focusing on their application to IT, the formal problems associated to their development, and the possibility of artificial intelligence and its evolution into intelligent systems. An example of this is the development of specific internet languages able to support useful terminological information for searching purposes, which has led to the creation of the Semantic Web. Students will be trained in the logical and formal aspects of IT and communication, while at the same time gaining expertise in logic; they will be trained in research so that they develop the ability to carry out critical analyses of formal models applicable to scientific research; and they will also learn how to collaborate in the design of computer languages and programmes, and in the creation of semantic webs and expert systems.

Related Courses

Philosophy of Logic I
Frápolli Sanz, María José
Philosophy of Logic II
Sagüillo Fernández-Vega, José Miguel
Logic & Computing
Sobrino Cerdeiriña, Alejandro
Logic & Argumentation
Alcolea Banegas, Jesús
Logic & Language
Barba Escribá, Juan Luis
Non-classical Logic
Martínez Vidal, Concepción
Metalogic I: Completion & Its Consequences
Manzano Arjona, María
Metalogic II: Limit Theorems
Alonso González, Enrique
Set Theory
Úbeda, José Pedro