David Baelde

 

 


 

Maître de conférences à l'ENS Cachan et chercheur en preuve formelle et sécurité des protocoles au Laboratoire Spécification et Vérification.




Customize your search:

E.g., 2016-12-05
E.g., 2016-12-05
E.g., 2016-12-05
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