Système de déduction automatique : application à la construction de programmes - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1980

Système de déduction automatique : application à la construction de programmes

Résumé

L'étude des moyens de déductions pour entreprendre une construction assistée de programmes mène à la définition d'un système de déduction automatique capable :
- de traiter l'égalité d'une façon générale ;
- d'entreprendre la preuve de formules qui ne sont pas des théorèmes, d'étudier les causes d'échec ;
- d'effectuer un tri pour retirer d'un large ensemble d'informations, celles utiles à la preuve.

Ces caractères ont pu être pris en compte dans le cadre d'un système général, de genre "déduction matérielle".
Certaines classes d'expression reçoivent toutefois un traitement particulier. Ainsi une méthode de codage permet de déterminer, sans simplification ni mise en forme normale, l'équivalence d'expressions numériques.
Fichier principal
Vignette du fichier
Ouabdesselam.Farid_1980_these.pdf (3.73 Mo) Télécharger le fichier

Dates et versions

tel-00293250 , version 1 (04-07-2008)

Identifiants

  • HAL Id : tel-00293250 , version 1

Citer

Farid Ouabdesselam. Système de déduction automatique : application à la construction de programmes. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1980. Français. ⟨NNT : ⟩. ⟨tel-00293250⟩

Collections

UGA CNRS TDS-MACS
161 Consultations
38 Téléchargements

Partager

Gmail Facebook X LinkedIn More