Agence universitaire de la Francophonie

Infothèque francophone
RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES


5769 - Thérorie des combinateurs

Ressource pédagogique

Description bibliographique

Auteur :
Vo Thi Huyen Chi ; Bellot, Patrick (dir.) (AUF. Agence universitaire de la Francophonie. IFI. Institut de la Francophonie pour l'informatique. Hanoï. Vietnam)
Éditeur :
AUF. Agence universitaire de la Francophonie. Montréal. Canada
Ressource AUF
Page source :
Théorie des combinateurs, http://www.ifi.auf.org/combinateurs/
Langue :
français

Description du contenu

Spécialité :
Electronique, informatique et télécommunications - Théories, méthodes - Informatique théorique
Mots clés :
logique ; programmation ; mécanisme calculatoire ; langage informatique ; théorie des combinateurs ; Curry, H.B. ; Schoenfinkel, M. (1905) ; Church-Rosser ; modèles de Scott ; Boole, G.
Table des matières :
1. Introduction
2. Fonction processus Curryfication
3. Théorie des combinateurs (présentation non formelle). H.B. Curry
4. Théorie des combinateurs (présentation formelle). L'induction
5. Modélisation logico-combinatoire des réalités informatiques
6. La machine SK de D.Turner
Résumé :
Ce cours d’informatique théorique est donné à l’Institut de la Francophonie pour l’Informatique en deuxième année. Ce cours a aussi été donné pendant de nombreuses années à l’Ecole nationale supérieure des télécommunications à Paris dans le cadre plus général d’un cours sur les fondements logiques de la programmation. Il a pour objet d’apporter une compréhension fine des mécanismes calculatoires à l’œuvre dans les langages de programmation. Le chapitre 2 établit les bases nécessaires, langage et conventions, à la compréhension du cours. Le chapitre 3 introduit la théorie des combinateurs de manière informelle avec de nombreux exemples et exercices interactifs. Le chapitre 4 décrit la théorie d'une manière formelle sous la forme d'un système de déduction naturelle. Le chapitre 5 montre comment les mécanismes des langages informatiques peuvent être modélisés en utilisant les combinateurs. Le chapitre 6 montre une mise en oeuvre astucieuse des combinateurs appelée Machine SK de Turner. (d'après présentation de l'auteur)

Informations pédagogiques

Niveau d'études :
1er cycle
Pré-requis :
Aptitude raisonnable aux mathématiques et (mais non indispensable) connaissance d'un langage de programmation fonctionnelle de type Lisp, Scheme ou ML
Objectifs pédagogiques :
Avoir une compréhension fine des mécanismes calculatoires à l'oeuvre dans les langages de programmation.

Accès à la ressource

gratuit
Format :
HTML
URL de référence :
http://www.ifi.auf.org/combinateurs/

Notice mise en ligne le 04/02/2004