PREMIERE JOURNEE MONDIALE DE LA LOGIQUE

Cet évènement est passé

Le 14 janvier 2019 de 15:00 à

PREMIERE JOURNEE MONDIALE DE LA LOGIQUE

LUNDI 14 JANVIER 2019 15:00-19:00

Salle SC 001 Polytech (bâtiment 31), Campus Triolet

Séminaire conjoint LIRMM – IMAG

15:00 UNE HISTOIRE DE LA LOGIQUE MATHEMATIQUE: DE LA PHILOSOPHIE A L’INFORMATIQUE

Christian Retoré, LIRMM, Université de Montpellier, CNRS, Montpellier, France

16:00 VÉRITÉ VERSUS VALIDITÉ À LA LUMIÈRE DE LA MÉTHODOLOGIE DES SCIENCES DÉDUCTIVES DE TARSKI

Viviane Durand-Guerrier, IMAG, Université de Montpellier, CNRS, Montpellier, France

17:00 LA LOGIQUE DANS LE DEBAT PUBLIC

Jean Sallantin LIRMM, Université de Montpellier, CNRS, Montpellier, France

18:00 DEMO DU LOGICIEL DE DECOUVERTE DE LA LOGIQUE

« LOGICAL MIYSTERIES » DE CHRISTOPHER DARTNELL (VIDEO DE OLIVIER ROIZES)

Jean Sallantin LIRMM, Université de Montpellier, CNRS, Montpellier, France

18:15 PROUVER UN PROGRAMME, ÇA VEUT DIRE QUOI ?

David Delahaye, LIRMM, Université de Montpellier, CNRS, Montpellier, France

2019-01-11T10:28:08+00:0011 janvier 2019|