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 !

En savoir plus sur ce MOOC : https://www.france-universite-numerique-mooc.fr/courses/ENSCachan/20004/session01/about