Translate

jueves, 23 de noviembre de 2017

La filosofía ha muerto?

Una respuesta a Hawking

Un ordenador logra superar por primera vez el test de Turing

La noticia es sólo relativamente reciente, de hace unos años, pero el tema es bastante actual. Un tema interesante para discutir en nuestro habitual foro, y quizás en algunas de vuestras clases.

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

El rap de Parménides

La celebración más original del día mundial de la filosofía, en RTVE

Una introducción a la lógica epistémico dinámica

El jueves 23 de noviembre da una charla el investigador Fernando Raymundo
Velázquez Quesada, procedente del "Institute of Logic, Language and Computation" de
Amsterdam. La charla (tipo conferencia-seminario) tendrá lugar en el Aulario López de
Peñalver, Aula 12A2. El acto comenzará a las 9 de la mañana y
acabaremos 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

Since planning began in 1985, the Perseus Digital Library Project has explored what happens when libraries move online. Two decades later, as new forms of publication emerge and millions of books become digital, this question is more pressing than ever. Perseus is a practical experiment in which we explore possibilities and challenges of digital collections in a networked world. For the mission of Perseus and its current research, seehere.
Perseus maintains a web site that showcases collections and services developed as a part of our research efforts over the years. The code for the digital library system and many of the collections that we have developed are now available. For more information, please go here.
Our flagship collection, under development since 1987, covers the history, literature and culture of the Greco-Roman world. We are applying what we have learned from Classics to other subjects within the humanities and beyond. We have studied many problems over the past two decades, but our current research centers on personalization: organizing what you see to meet your needs.