THEORIE DES COMBINATEURS
  

Chapitre 1

Introduction

Chapitre 2

Fonction processus Curryfication

Chapitre 3

Théorie des combinateurs (Présentation non formelle)
H.B. CURRY

Chapitre 4

Théorie des combinateurs (Présentation formelle)
L’INDUCTION

Chapitre 5

Modélisation
Logico-Combinatoire
des réalités informatiques

Chapitre 6

La machine SK de
D. TURNER

 

TABLE DE MATIÈRES

Chapitre 1: Introduction
Chapitre 2: Fonction processus Curryfication
Les fonctions
L’auto-application d’une fonction
Curryfication des fonctions
Chapitre 3: Théorie des combinateurs (Présentation non formelle)
Chapitre 4: Théorie des combinateur (Présentation formelle) L'INDUCTION
Définition par induction(structurelle) Intérêt des preuves sous forme d’arbres
Alphabet de la théorie des combinateurs Le théorie de Church-Rosser
Intérêt de l'induction Unicité de la forme normale 
Démonstration par induction pour les terms Resolubilité
Règles de la théorie des combinateurs L'opérateur de point-fixe
Chapitre 5: Modélisation Logico-Combinatoire des réalités informatiques
Les booléens λ+++x.M
Les entiers λ++++x.M
La substitution Les vecteurs
λ+x.M Théorème de CRAIG
λ++x.M  
Chapitre 6: La machine Sk et D.Turner
La machine SK
L'évaluation partielle
Les équations récursives
Un algorithme paresseux

 
 
Avez-vous des questions?
 
 
Retour