m

F Nous contacter

0

Documents  03F55 | enregistrements trouvés : 23

O

-A +A

P Q

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

Localisation : Colloque 1er étage (STRA)

analyse non standard # efficience # fonction différentiable # forme de Pfaff # optimisation # perturbation # singulière # équation différentielle

03F55 ; 03H05 ; 03H10 ; 34C05 ; 34D15

... Lire [+]

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


ISBN 978-3-540-05569-3

Lecture notes in mathematics , 0337

Localisation : Collection 1er étage

arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de priorité pour construction d'ensemble dénombrable # nombre chromatique de graphe et système d'ensemble # ordinal admissible et argument de priorité # relation régulière de Lindström # réalisabilité de combinateur d'analyse du type fini construc # sentence de Vaught # somme maximum d'une famille d'ordinal # théorie arithmétique de construction # théorie des ensembles ZF intuintioniste # théorie des ensembles descriptive # théorie des modèles modale # théorème de préservation pouro interprétation # ultrafiltre complet en descendant arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de ...

03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx

... Lire [+]

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

- 347 p.
ISBN 978-3-540-10850-4

Lecture notes in mathematics , 0873

Localisation : Collection 1er étage

fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve

03-XX ; 03F50 ; 03F55 ; 03F65 ; 03Fxx

... Lire [+]

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


ISBN 978-0-444-87933-2

Colloquia mathematica societatis janos bolyai , 0048

Localisation : Colloque 1er étage (SIOF)

convexite # geom etrie combinatoire # geometrie discrete # geometrie intuitive # mathematiques intuitives

03F50 ; 03F55 ; 05Bxx ; 53-06

... Lire [+]

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

Proceedings of symposia in pure mathematics , 0005

Localisation : Collection 1er étage

ambiguité et paradoxe # calculateur digital # fonction récursive # forme de négation de prédicat # générateur de suite # hiérarchie # isol # langage mécanique # machine de Turing universelle # mathématique intuitioniste # modèle non-standard # programme informatique # système de Post Tag # système formel # théorie des nombres # vérification de preuve mathématique

03D20 ; 03D55 ; 03Dxx ; 03F55 ; 03Hxx

... Lire [+]

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

Research talks;Logic and Foundations

We discuss classical realizability, a branch of mathematical logic that investigates the computational content of mathematical proofs by establishing a correspondence between proofs and programs. Research in this field has led to the development of highly technical constructions generalizing the method of forcing in set theory. In particular, models of realizability are models of ZF, and forcing models are special cases of realizability models.

03E70 ; 03F50 ; 03F55

... Lire [+]

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

- 122 p.
ISBN 978-0-521-62401-5

Localisation : Ouvrage RdC (BELL)

analyse infinitésimale # analyse non standard # fondement # intuition # logique mathématique # mathématique non standard # modèle # théorie de la preuve # théorie des fonctions

00A05 ; 03F55 ; 26E35

... Lire [+]

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

- 170 p.
ISBN 978-0-19-853163-0

Oxford logic guide

Localisation : Ouvrage RdC (TROE)

logique des prédicats # mathématique intuitioniste # opération logique # suite du choix

03B10 ; 03B20 ; 03F55

... Lire [+]

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

- 467 p.
ISBN 978-0-19-853158-6

Oxford logic guides

Localisation : Ouvrage RdC (DUMM)

formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

03F50 ; 03F55 ; 03F60 ; 03F65

... Lire [+]

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

- 466 p.
ISBN 978-0-387-12173-4

Ergebnisse der mathematik und ihrer grenzgebiete 3 folge , 0006

Localisation : Ouvrage RdC (BEES)

logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60

... Lire [+]

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

- 350 p.
ISBN 978-0-19-856651-9

Oxford logic guides , 0048

Localisation : Ouvrages RdC (From)

logique # théorie des ensembles # analyse constructive # mathématiques constructives # mathématiques intuitives

03-06 ; 00B25 ; 03F55 ; 03F60 ; 03F65

... Lire [+]

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

- 246 p.

Collection de logique mathématque. Série A , 0016

Localisation : Disparu;Ouvrage RdC (TARS)

calcul des propositions # logique mathématique # méthode déductive # méthodologie # théorie des relations

03B05 ; 03B80 ; 03F55 ; 03F65

... Lire [+]

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

- 191 p.
ISBN 978-0-7204-2256-6

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (FITT)

logique et fondation # intuitionisme

03Cxx ; 03F55

... Lire [+]

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


ISBN 978-0-8218-4520-2

Translations of mathematical monographs , 0067

Localisation : Collection 1er étage

logique # logique mathematique # logique symbolique # mathematique intuitive

03F55

... Lire [+]

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

- 555 p.

Grundlehren der mathematischen wissenschaften in einzeldarstellungen , 0069

Localisation : Collection 1er étage

décidabilité des théories et des ensembles de sentences # déduction # intuition # logique des propositions # logique des prédicats # logique déductive # logique mathématique # logique modale # mathématique intuitioniste # philosophie # table de vérité # épistémologie

03A05 ; 03B45 ; 03Bxx ; 03Cxx ; 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.

- 237 p.
ISBN 978-90-6196-244-1

Mathematical centre tracts , 0152

Localisation : Collection 1er étage

mathéma tiques intuitives # mathématiques constructives # théorie de la preuve logique mathématiques # théorie des modèles

03C65 ; 03C90 ; 03F25 ; 03F50 ; 03F55

... Lire [+]

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

- 553 p.
ISBN 978-90-277-1573-9

Synthese library , 0169

Localisation : Ouvrage RdC (FITT)

logique modale # logique mathématique et base # logique intermédiaire # théorie de preuve et mathématique constructive

03A05 ; 03Bxx ; 03Cxx ; 03F55

... 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.

- 52 p.

Collection de logique mathématique série A , 0021

Localisation : Ouvrage RdC (DIEG)

algèbre de Hilbert # algèbre topologique # calcul des propositions # mathématique intuitionniste

03B05 ; 03F55 ; 46K15

... Lire [+]

Z