Logique, réduction, résolution / René Lalement,... ; préf. de Michel Demazure [ Livre]

Auteur principal: Lalement, RenéLangue: Français.Publication : Paris, Milan, Barcelone : Masson, 1990Description : XII-370 p. ; 24 cmISBN: 2225821046.Collection: ERI. Etudes et recherches en informatique, 0763-2770Classification: F 4 1 Logique mathématiqueRésumé: Sommaire I - Le paysage syntaxique 1. Mots 2. Termes finis 3. Termes du lambda-calcul 4. Termes formels II - Réduction 1. Lambda-calcul 2. Systèmes de réécriture 3. Programmation fonctionnelle 4. Terminaison et confluence III - Logique du premier ordre 1. Formules du premier ordre 2. Déduction naturelle 3. Formes normales 4. Théories IV - Modèles 1. La sémantique de la logique du premier ordre 2. Les modèles d'une théorie 3. Le théorème de Herbrand 4. L a sémantique du calcul V - Logique équationnelle 1. Algèbre et équations 2 . Unification 3. Preuves équationnelles VI - Résolution 1. Programmes logiques 2. Sémantique des programmes définis 3. Structures de contrôle 4. La négation 5. Egalité et résolution VII - Le paysage effectif 1. Calculabilité 2. Décidabilité 3. Métaprogrammation 4. Une classification des problèmes 5. Complexité.Sujet - Nom commun: Logique symbolique et mathématique | Lambda-calcul
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 LAL (Browse shelf) Exclu du prêt F 4 1 Logique mathématique 00001325
ENS Rennes - Bibliothèque
Informatique
F 4 1 LAL (Browse shelf) Available F 4 1 Logique mathématique 000013251

Bibliogr. p. 359-363. Index

Sommaire
I - Le paysage syntaxique
1. Mots
2. Termes finis
3. Termes du lambda-calcul
4. Termes formels
II - Réduction
1. Lambda-calcul
2. Systèmes de réécriture
3. Programmation fonctionnelle
4. Terminaison et confluence
III - Logique du premier ordre
1. Formules du premier ordre
2. Déduction naturelle
3. Formes normales
4. Théories
IV - Modèles
1. La sémantique de la logique du premier ordre
2. Les modèles d'une théorie
3. Le théorème de Herbrand
4. L a sémantique du calcul
V - Logique équationnelle
1. Algèbre et équations
2 . Unification
3. Preuves équationnelles
VI - Résolution
1. Programmes logiques
2. Sémantique des programmes définis
3. Structures de contrôle
4. La négation
5. Egalité et résolution
VII - Le paysage effectif
1. Calculabilité
2. Décidabilité
3. Métaprogrammation
4. Une classification des problèmes
5. Complexité

Powered by Koha