Attention, suite à une faille de sécurité, les liens vers les serveurs d'exploration ont été désactivés. Des actions de régénération sont en cours et quelques serveurs sont à nouveau accessibles.
-
Claude Pair : Différence entre versions
De Wicri Informatique
imported>Jacques Ducloy (→Voir aussi) |
imported>Jacques Ducloy |
||
| (4 révisions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | {{ | + | {{Wicri avertissement création lien}} |
| − | + | [[Image:Claude_Pair.jpg|thumb|right|100px|Claude Pair]] | |
| − | + | '''Claude Pair''' est le directeur fondateur du [[Centre de recherche en informatique de Nancy]]<ref>Une partie de cette page a été initialisée à partir de Wikipédia<br/>[http://www.gnu.org/copyleft/fdl.html Contenu soumis à la GFDL]. Source : Article [[wikipedia:Claude Pair|Claude Pair]] de [[wikipedia:Accueil|Wikipédia en français]] ([http://fr.wikipedia.org/w/index.php?title=Claude_Pair&action=history auteurs]) </ref> | |
| − | |||
| − | |||
| − | [http://www.gnu.org/copyleft/fdl.html Contenu soumis à la GFDL]. Source : Article [[wikipedia:Claude Pair|Claude Pair]] de [[wikipedia:Accueil|Wikipédia en français]] ([http://fr.wikipedia.org/w/index.php?title=Claude_Pair&action=history auteurs]) | ||
| − | + | ==Éléments bibliographiques== | |
| − | [[ | + | Ancien élève de l'[[École normale supérieure (Ulm)|École normale supérieure]] (promotion 1953), Claude Pair a été professeur de classe préparatoire au Lycée Henri Poincaré (Nancy). Il a passé une thèse d'État sur la notion de [[pile (informatique)|pile]] en 1965. |
| − | ' | + | ll a été président de l'[[Institut National Polytechnique de Lorraine]], premier président de [[SPECIF]] en 1985, et [[recteur d'académie|recteur]] de l'[[académie de Lille (éducation)|académie de Lille]] (1989-1993). |
| − | + | ==Activités en informatique== | |
Ses recherches ont porté sur l'implantation de la [[récursivité]] dans les [[langages de programmation]] et les méthodes de [[génie logiciel|construction systématique des programmes]] (méthode déductive) avec une visée pédagogique. | Ses recherches ont porté sur l'implantation de la [[récursivité]] dans les [[langages de programmation]] et les méthodes de [[génie logiciel|construction systématique des programmes]] (méthode déductive) avec une visée pédagogique. | ||
Il a participé à la définition d'[[Algol 68|Algol 68]]. On lui doit le premier algorithme de décision de l'égalité de la présentation de deux [[Théorie des types|types]] récursifs. | Il a participé à la définition d'[[Algol 68|Algol 68]]. On lui doit le premier algorithme de décision de l'égalité de la présentation de deux [[Théorie des types|types]] récursifs. | ||
| − | |||
| − | |||
==Voir aussi== | ==Voir aussi== | ||
| − | + | {{Wicri voir aussi, personne}} | |
| − | |||
| − | {{Wicri | ||
===Liens interwikis=== | ===Liens interwikis=== | ||
| Ligne 29 : | Ligne 22 : | ||
Voir Claude Pair sur les wikis : | Voir Claude Pair sur les wikis : | ||
* [[wicri.fr:Claude Pair|Wcri/Wicri]] | * [[wicri.fr:Claude Pair|Wcri/Wicri]] | ||
| + | * [[wicri-lor.fr:Claude Pair|Wcri/Lorraine]] - ''page de référence'' | ||
| + | === Notes === | ||
| − | + | <references/> | |
| − | |||
| − | |||
=== Liens externes === | === Liens externes === | ||
Version actuelle datée du 5 juin 2019 à 10:19
|
Cette page est en phase de création pour des raisons de cohérence des liens dans ce wiki (ou au sein du réseau Wicri). Pour en savoir plus, consulter l'onglet pages liées de la boîte à outils de navigation ou la rubrique « Voir aussi ». |
Claude Pair est le directeur fondateur du Centre de recherche en informatique de Nancy[1]
Sommaire
Éléments bibliographiques
Ancien élève de l'École normale supérieure (promotion 1953), Claude Pair a été professeur de classe préparatoire au Lycée Henri Poincaré (Nancy). Il a passé une thèse d'État sur la notion de pile en 1965.
ll a été président de l'Institut National Polytechnique de Lorraine, premier président de SPECIF en 1985, et recteur de l'académie de Lille (1989-1993).
Activités en informatique
Ses recherches ont porté sur l'implantation de la récursivité dans les langages de programmation et les méthodes de construction systématique des programmes (méthode déductive) avec une visée pédagogique.
Il a participé à la définition d'Algol 68. On lui doit le premier algorithme de décision de l'égalité de la présentation de deux types récursifs.
Voir aussi
Sur ce wiki:(génération automatique par des requêtes sémantiques)
Est cité(e) en tant que personnalité dans :
- Claude Pair (2019) Nancy
- L'informatique de Claude Pair (2021) Créhange (L'informatique de Claude Pair)
- La science informatique en Lorraine (1996) Lescanne (La science informatique en Lorraine)
- TSI (2014) Créhange (L'Informatique universitaire à Nancy : un demi-siècle de développement)
Premier auteur de :
- RIRO (1970) Pair (Mille et un algorithmes pour les problèmes de cheminement dans les graphes)
Intervenant à :
Est cité par :
- Science of Computer Programming (1996) Russling (Deriving a class of layer-oriented graph algorithms)
Liens interwikis
Voir Claude Pair sur les wikis :
- Wcri/Wicri
- Wcri/Lorraine - page de référence
Notes
- ↑ Une partie de cette page a été initialisée à partir de Wikipédia
Contenu soumis à la GFDL. Source : Article Claude Pair de Wikipédia en français (auteurs)
