This module provides an approach to different types of 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 search engines, which has led to the creation of the Semantic Web. 

Students will be trained in the logical and the formal aspects of IT and communication, while at the same time gaining expertise in logic; they will be trained in research in order to be able 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.