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.

Listado de Cursos

Este curso la sede del máster es la Universidad de Salamanca

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad