To celebrate World Philosophy Day 2017, we asked philosophers why it's important to them
lunes, 27 de noviembre de 2017
domingo, 26 de noviembre de 2017
viernes, 24 de noviembre de 2017
Los institutos también celebran el día mundial de la filosofía
jueves, 23 de noviembre de 2017
Un ordenador logra superar por primera vez el test de Turing
Enlace a la noticia: Un ordenador logra superar por primera vez el test de Turing
Enlace al foro: facebook.
Una entrada relacionada puede ser esta: ¿superarán las máquinas a los humanos?
martes, 21 de noviembre de 2017
Una introducción a la lógica epistémico dinámica
El jueves 23 de noviembre da una charla el investigador Fernando RaymundoVelázquez Quesada, procedente del "Institute of Logic, Language and Computation" deAmsterdam. La charla (tipo conferencia-seminario) tendrá lugar en el Aulario López dePeñalver, Aula 12A2. El acto comenzará a las 9 de la mañana yacabaremos antes de las 14:00 (con descansos).El título de la charla es"Una introducción a la lógica epistémico dinámica".
jueves, 16 de noviembre de 2017
The Logic of Time: from Aristotle to Computer Science
el martes el martes 21 de noviembre da una charla Davide Bresolin en el aulario López de Peñalver de la Universidad de Málaga (frente al Clínico), en el aula 12A2 de 9:00 a 14:00.
abstract: This short course will explore that continuous thread which connects the discussion about time in philosophy with the modern use of temporal logic in computer science. It will go through the history of temporal logic to show how ideas developed by ancient and medieval philosophy have been rediscovered in modern times and applied to solve relevant problems in computer science. Part 1: An historical perspective on temporal logic • Synthesis: the nature of time is a central issue of classical and medieval phylosophy • Downfall: in the Renaissance the subject loses interest and is removed from the philosophical discussion • Rediscovery: in the 19th and 20th centory temporal logic become a central issue again Part 2: Time in Computer Science • Algorithms, states and computations • Imperative programs and Reactive programs • Temporal Logic for Computer Science: CTL and LTL • The satisfiability problem • The model checking problem
the Perseus Digital Library Project
miércoles, 15 de noviembre de 2017
martes, 14 de noviembre de 2017
lunes, 13 de noviembre de 2017
domingo, 12 de noviembre de 2017
miércoles, 8 de noviembre de 2017
Desconvocadas las I Jornadas sobre el exilio
El Ayuntamiento de Vélez-Málaga y la Fundación María Zambrano informan de que se desconvocan las I Jornadas del Exilio
El Ayuntamiento de Vélez- Málaga y la Fundación María Zambrano informan de que se suspende la celebración de las I Jornadas del Centro de Estudios del Exilio de la Fundación María Zambrano, previstas para los días 9 y 10 de noviembre en el Centro de Arte Contemporáneo del municipio, por motivos evidentes que afectan al estado de salud de D. Antonio Garrido Moraga, director de la Fundación María Zambrano y ponente en dichas jornadas.
Aún se desconoce la gravedad del asunto por lo que se informará próximamente de la nueva convocatoria de los actos.
El alcalde de Vélez-Málaga y presidente de la Fundación María Zambrano, Antonio Moreno Ferrer, lamenta profundamente lo ocurrido y agradece de antemano la comprensión y el respeto ante esta situación.
I Jornadas sobre exilio
Fundación María Zambrano organiza jornadas sobre el exilio
09/11/2017 - 10/11/2017