Hubert Comon

 

 


 

Professeur à l'ENS Cachan et chercheur en logique et sécurité des protocoles au Laboratoire Spécification et Vérification.




Customize your search:

E.g., 2016-12-03
E.g., 2016-12-03
E.g., 2016-12-03
Feb 1st 2016

La logique est une discipline millénaire, branche de la philosophie puis des mathématiques (programme de Hilbert). Bases de données, programmation, intelligence artificielle, automates... la logique joue aujourd'hui un rôle central en informatique. Ce cours vous en donnera la preuve !

Average: 2 (1 vote)
Nov 9th 2015

La logique est une discipline millénaire, branche de la philosophie puis des mathématiques (programme de Hilbert). Bases de données, programmation, intelligence artificielle, automates... la logique joue aujourd'hui un rôle central en informatique. Ce cours vous en donnera la preuve!

No votes yet