LANGAGE, logique mathématique

Articles associés

• APPRENTISSAGE DE LA RÉSOLUTION DE PROBLÈMES VERBAUX

  • Écrit par Catherine THEVENOT
  • 902 mots

  Un problème arithmétique verbal est un problème décrit sous la forme d’une petite histoire et dont la réponse numérique est obtenue en utilisant les données du texte. Un exemple typique de problème verbal est celui-ci :« Jean a 5 pommes et Tom en a 6. Combien Jean et Tom ont-ils de pommes ensemble...

• INFORMATIQUE - Principes

  • Écrit par Jacques HEBENSTREIT
  • 2 693 mots
  • 2 médias
  Unlangage formel est, par définition, un langage ne possédant qu'une syntaxe et pas de sémantique. Un tel langage est très différent des langages naturels puisqu'il ne comporte qu'une grammaire et que le sens des mots n'intervient pas. C'est cependant en partant, non pas de la linguistique, mais de...

• KLEENE STEPHEN COLE (1909-1994)

  • Écrit par Pierre GOUJON
  • 327 mots

  Mathématicien américain né à Hartford (Connecticut). Diplômé de l'Amherst College, Stephen C. Kleene entre, en 1930, à l'université de Princeton. Il est docteur de la même université en 1934. Dès cette époque, il partage son temps entre l'enseignement (université du Wisconsin) et la...

• MALTSEV ANATOLI IVANOVITCH (1909-1967)

  • Écrit par Gabriel SABBAGH
  • 559 mots

  Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen...

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 6 865 mots
  Nous supposons connues les notions de langage du premier ordre L, de L-structure (ou réalisation de L) et de satisfaction d'un énoncé ϕ (formule close, c'est-à-dire sans variable libre) de L, dans une L-structure a, dite modèle de ϕ (on note a ⊨ ϕ). Une théorie de L est, dans...

• ŠAUMJAN SEBASTIAN KONSTANTINOVIČ (1916-2007)

  • Écrit par Zlatka GUENTCHÉVA
  • 646 mots

  Connu comme le créateur du modèle génératif applicationnel, S. K. Šaumjan (ou Chaoumian) a été membre du conseil scientifique de l'Académie des sciences de l'U.R.S.S. et chef de la section des méthodes structurales dans l'étude des langues à l'Institut de la langue russe à Moscou....