Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Evénements > Soutenances > Soutenances d’HDR

Soutenances d’HDR

 

 

Logical Dynamics

David FERNANDEZ DUQUE - Equipe LILaC - IRIT

Mardi 21 Novembre 2017, 14h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Version PDF :

Abstract

Dynamical systems are models of change or movement over time, and are ubiquitous in many branches of science including physics, biology and computer science. As with any other mathematical object, logic may be used to reason about and discover new facts about dynamical systems. Conversely, logical reasoning may be viewed as a dynamic act of acquiring new information from established facts, and thus dynamical systems can also be used to better understand various phenomena in logic.
In this talk we will discuss these interrelations between logic and dynamical systems and overview some relevant results obtained over the last decade.

 

Retour