La logique mathématique, ou logique formelle, est une discipline des mathématiques qui définit et étudie les représentations formelles du langage mathématique. Les objets fondamentaux de la logique mathématiques sont les formules modélisant les énoncés mathématiques, les dérivations modélisant les raisonnements mathématiques et les sémantiques établissant les liens entre ces modèles et les objets qu'ils sont censés représenter.
Cet article écrit par ces auteurs est issu de Wikipédia et est conforme aux termes de la GFDL.
Catégorie : Logique mathématique
Page imprimée jeudi 17 mai 2012 à partir de l'url :
« http://www.science-et-vie.net/definition-logique-mathematique-1062.html »
Site déclaré à la Commission Nationale de l'Informatique et des Libertés (CNIL) sous le n°871314
© 2002-2012 www.science-et-vie.net