Trabajos Fin de Máster: Lógica

Traducciones lógicas: de la lógica híbrida de segundo orden a la lógica multivariada

En la actualidad la lógica se constituye como una disciplina intrínsecamente plural, albergando diversos sistemas diseñados para razonar sobre objetos muy diferentes.

La lógica híbrida como extensión de la lógica temporal

El objetivo de este trabajo consiste en explicar el origen de la lógica híbrida a partir de la modal/temporal para mostrar qué añade a ambos sistemas en la representación de información, porqué es más potente que ellos y qué relación guarda con el lenguaje de correspondencia de la lógica de...

La Teoría de los números transfinitos de Georg Cantor

Director/a: Mª José Frápolli

El presente trabajo trata sobre el nacimiento y desarrollo de la teoría de los números transfinitos.

Páginas

En el curso 2017-2018 la sede del máster es la Universidad de Valladolid

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