m

F Nous contacter

0

Documents  03F99 | enregistrements trouvés : 8

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 228 p.
ISBN 978-0-8218-3014-7

Proceedings of the Steklov institute of mathematics , 0114

Localisation : Collection 1er étage

03F99 ; 46A05 ; 46F05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07533-2

Lecture notes in mathematics , 0500

Localisation : Collection 1er étage

Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle intensionnelle de l'analyse # normalisation forte pour arithmétique # notion classique de vérité # preuve de consistance et ordinal # principe et règle de Markov pour théorie de suite de choix # procédure de type Gentzen # règle et schéma # récursion en types supérieurs # standardisation généralisée en logique combinatoire # système constructif de nombres ordinaux # terme infini # théorie libre de type non-extensionnelle des opérations part # théorème de Church-Rosser pour lambda-calcul avec termes de # variante du système des signes W(X) pour nombres ordinaux # élément réel en preuve de consistance pour théorie des types Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle i...

03Fxx ; 03F99 ; 03D65 ; 03-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 595 p.
ISBN 978-3-540-08353-5

Lecture notes in computer science , 0053

Localisation : Collection 1er étage

automate # intelligence artificielle # langage formel # logique # logique mathématique # machine de turing # programmation # programme # théorie des langages # théorie des machines

03F99 ; 03Fxx ; 03Dxx ; 18B20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07149-5

Lecture notes in mathematics , 0447

Localisation : Collection 1er étage

2ème preuve de consistance de Gentzen # analyse # introduction de répétition # logique du 2ème ordre # procédure de traduction # système d'ordre supérieur dû à Schütte # système de Schütte à partie positive ou négative # système de tableau # théorie des nombres du 1er ordre # théorie des nombres intuitioniste # élimination de coupure

03-02 ; 03A05 ; 03B15 ; 03C60 ; 03F99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-05541-9

Lecture notes in mathematics , 0212

Localisation : Collection 1er étage

analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie intuitioniste formelle analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie ...

03F99 ; 03-02 ; 03B55 ; 03F55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-06491-6

Lecture notes in mathematics , 0344

Localisation : Collection 1er étage

application de modèle de Kripke # arbre et ordinal # définition inductive itérée # fonctionnelle majorable héréditairement de type défini # fonctionnelle récursive primitive # investigation métamathématique d'arithmétique ou analyse int # modèle et calculabilité # réalisabilité et interprétation fonctionnelle # système formel intuitioniste # théorème de normalisation pour système de déduction naturell

03F99 ; 03B55 ; 03F55 ; 03-02

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-06119-9

Lecture notes in mathematics , 0306

Localisation : Collection 1er étage

analyse de Heyting # calcul T de fonctionnelle récursive primitive # calcul T union BR de fonctionnelle récursive bar # définition inductive généralisée # généralisation d'induction bar Bi indice D # induction bar générale sur espèce # interprétation fonctionnelle d'analyse classique # interprétation fonctionnelle d'arithmétique classique # interprétation fonctionnelle de Gödel # interprétation fonctionnelle de Gödel extensionnel # modèle pour T uion BR # modèle récursif bar d'analyse classique # passage de théorie approchée classique à intuitioniste # preuve de consistance par calcul # processus de génération inductif vers arbre sur espèce # système formel d'analyse classique # élimination d'extensionalité analyse de Heyting # calcul T de fonctionnelle récursive primitive # calcul T union BR de fonctionnelle récursive bar # définition inductive généralisée # généralisation d'induction bar Bi indice D # induction bar générale sur espèce # interprétation fonctionnelle d'analyse classique # interprétation fonctionnelle d'arithmétique classique # interprétation fonctionnelle de Gödel # interprétation fonctionnelle de Gödel extensionnel # modèle pour T ...

03F99 ; 03-02

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 137 p.
ISBN 978-90-6196-122-2

Mathematical centre tracts , 0073

Localisation : Collection 1er étage

logique formelle # logique predicative # théorie de la preuve

02C15 ; 03F99

... Lire [+]

Z