Résultats de la recherche

Créer la page « Théorie des types » sur ce wiki ! Voyez également les résultats de votre recherche.

• Claude Pair
  ...mmation]] et les méthodes de [[génie logiciel|construction systématique des programmes]] (méthode déductive) avec une visée pédagogique. ...décision de l'égalité de la présentation de deux [[Théorie des types|types]] récursifs.
  2 Kio (318 mots) - 5 juin 2019 à 10:19
• Hiérarchie de Chomsky
  ...ge importée de Wikipédia pour mettre au point les éléments d'écriture des articles d'informatique théorique}} ...msky''' est une classification des [[langage formel|langages formels]] et des [[grammaire formelle|grammaires formelles]], décrite par [[Noam Chomsky]]
  14 Kio (2 084 mots) - 22 mars 2012 à 22:32
• Réseaux inform. répartie (1993) Thomesse
  ...S (Distributed Intelligent Actuators and Sensors (FAN 92] sont arrivés à des résultats reconnus importants, il nous a semblé utile de faire le point s ...avec les laboratoires qui l'ont voulu et ne l'oublions pas, avec l’aide des pouvoirs publics.
  84 Kio (14 004 mots) - 1 septembre 2015 à 10:12
• Claude Pair (Wikipédia)
  |url = url des auteurs ...= 24 juin 1993|consulté le = }}</ref>) et président de la [[Conférence des recteurs français]] (1992-1993).
  8 Kio (1 095 mots) - 8 juin 2019 à 11:47
• La science informatique en Lorraine (1996) Lescanne
  ..., dans ''Encyclopédie Illustrée de la Lorraine, Histoire des Sciences et des Techniques'', Les Éditions Serpenoise, 1996, 105-116 p.. Au milieu des années 1950 personne ne pouvait prévoir le
  38 Kio (6 370 mots) - 16 juin 2019 à 10:44
• TSI (2014) Créhange
  ...ités de Nancy », mai 2003. En particulier : A. Renaud, « Du rayonnement des mathématiques lorraines : J. Legras et l’aventure informatique », pp. 4 ...toire, [[A pour personnalité citée::Claude Pair]], que Nancy a été une des pionnières de l’informatique universitaire. L’informatique nancéienne
  46 Kio (7 373 mots) - 12 juin 2019 à 15:31
• L'informatique de Claude Pair (2021) Créhange
  ...es travaux menés au sein d'un groupe de travail mémoire de l'association des émérites de Lorraine. présenter son activité scientifique en tant que l’un des fondateurs de l’informatique
  73 Kio (11 543 mots) - 18 avril 2022 à 12:03