Lógica

Este módulo proporciona una aproximación a los diferentes tipos de lógica, centrándose en su aplicación a la IT, los problemas formales asociados con su desarrollo, y la posibilidad de la inteligencia artificial y su evolución en sistemas inteligentes. Un ejemplo de esto es el desarrollo de idiomas específicos para el Internet capaces de soportar información terminológica útil para fines de búsqueda, lo que ha llevado a la creación de la Web Semántica.

Los estudiantes serán entrenados en los aspectos lógicos y formales de IT y comunicación, mientras que al mismo tiempo adquieren experiencia en lógica; se formarán en investigación para  desarrollar la capacidad de realizar análisis críticos de modelos formales aplicables a la investigación científica; y también aprenderán a colaborar en el diseño de lenguajes y programas informáticos y en la creación de redes semánticas y sistemas expertos.

Listado de Cursos

Conferencia "Confluencias en la lógica híbrida", impartida por Mara Manzano (USAL), evento que formó parte de la III Escuela de Invierno del Master en Lógica y Filosofía de la Ciencia "Las lógicas de la lógica", 3 y 4 de Marzo de 2016. Para más videos visita la página de la Escula

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