Extension du systeme t de godel dans les domaines finis. Etude de la complexite algorithmique

par Jean-Yves Marion

Thèse de doctorat en Sciences appliquées

Sous la direction de Serge Grigorieff.

Soutenue en 1992

à Paris 7 .

    mots clés mots clés


  • Résumé

    Cette etude porte sur la calculabilite d'un domaine fini. Cette etude a plusieurs liens avec l'informatique theorique entre autre des liens avec les bases de donnees la complexite algorithmique et la theorie des langages de programmation. Pour cela, nous definissons la notion de fonction globale: une fonction globale f est une fonction globale telle que f(n) est une fonction sur le domaine fini o,. . . , n. Le systeme t de godel est un langage de programmation fonctionnelle qui generalise les fonctions primitives recursives. Nous introduisons les operateurs de recurrence pour chaque type et obtenons, ainsi, une extension du systeme t. En considerant les quatre parametres: 1) le rang de la fonctionnelle utilisee, 2) le rang de la fonctionnelle definie, 3) le rang de la fonctionnelle definie par recurrence, 4) le rang de la fonctionnelle sur lequel est faite la recurrence. Nous montrons que la classe dspace (exp(k,poly(domaine))) est capturee par les classes de termes suivantes: (1)=2k+3+j (2)=k+1 (3)+(4)=2k+2. D'autre part, dtime (exp(k,poly(domaine))) est capturee par les classes de termes suivantes: (1)=2k+2+j (2)=k+1 (3)+(4)=2k+1

  • Titre traduit

    Extension of godel's system t over finite domains. Study of algorithmic complexity


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 14 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris Cité - BU des Grands Moulins (Paris). Direction générale déléguée aux bibliothèques et musées. Bibliothèque universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1992
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : MARION e

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1991-MAR
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.