5769 - Thérorie des combinateurs

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

Format :

HTML

URL de référence :

http://www.ifi.auf.org/combinateurs/

Notice mise en ligne le 04/02/2004