m

Documents  03-02 | enregistrements trouvés : 122

O

-A +A

P Q

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

Publications mathematiques de l'universite paris vii , 0027

Localisation : Publication 1er étage

logique

03-02 ; 03-06

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

- 287 p.
ISBN 978-0-8218-3013-0

Proceedings of the Steklov institute of mathematics , 0113

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

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

- 329 p.

Proceedings of the Steklov institute of mathematics , 0093

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

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


ISBN 978-0-444-85423-0

Studies in logic and the foundations of mathematics , 0104

Localisation : Colloque 1er étage (HANN)

biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science

00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx

... Lire [+]

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

- 266 p.
ISBN 978-0-8218-3096-3

Proceedings of the Steklov institute of mathematics , 0168

Localisation : Collection 1er étage

algebre # logique # logique mathematiques # logique symbolique # t opologie # theorie des nombres

01-02 ; 01A72 ; 01A74 ; 03-02 ; 03Dxx

... Lire [+]

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

- 383 p.
ISBN 978-0-8247-7746-3

Lecture notes in pure and applied mathematics , 0106

Localisation : Colloque 1er étage (COLL)

algèbre de l'informatique # logique mathématiques # logique symbolique

03-02 ; 68Pxx ; 68Q40

... Lire [+]

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


ISBN 978-3-540-09086-1

Lecture notes in mathematics , 0689

Localisation : Collection 1er étage

conjecture # logique mathematique # theorie des ensembles

03-02 ; 02FXX ; 02HXX ; 02KXX

... Lire [+]

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

- viii; 519 p.
ISBN 978-0-8218-4943-9

Contemporary mathematics , 0558

Localisation : Collection 1er étage

théorie des modèles finis # probabilités combinatoires

03-02 ; 03-06 ; 05-02 ; 05-06 ; 68-02 ; 68-06 ; 03C65 ; 05Axx ; 05Cxx ; 68Q19 ; 00B25

... Lire [+]

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


ISBN 978-0-8218-1425-3

Proceedings of symposia in pure mathematics , 0025

Localisation : Collection 1er étage

03-02 ; 03-06 ; 03Exx

... Lire [+]

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

Publications mathématiques de l'université Paris VII , 0019

Localisation : Publication 1er étage

codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux

03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25

... Lire [+]

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

- 477 p.

Biblioteka matematyczna , 0020

Localisation : Ouvrage RdC (GRZE)

complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité

03-02 ; 03-03 ; 03B25 ; 03D20 ; 03E10

... Lire [+]

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

- 329 p.
ISBN 978-2-7116-8262-1

Localisation : Biographie RdC (LESN)

biographie # histoire de la logique # langage # linguistique # philosophie # sémantique # école de Varsovie # Lesniewski # oeuvres complètes

00A30 ; 03-02 ; 03-05 ; 03B65 ; 03Bxx

... Lire [+]

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

- 715 p.

Collection de logique mathématique Série B , 0002

Localisation : Ouvrage RdC (LADR)

arithmétisation LFG et lemne de Gögel # arithmétisation et fonction récursive # autre fait de limitation # axiomatique # démonstration de Gentzen # fondement de mathématique # formalisation des mathématiques # formalisme # formalisme LFG # indécidabilité # langage # langue # les théorèmes de Tarski # limitation propre au logique combinatoire # logique # metathéorie # modèle non régulier # méthode de Prost # méthode sémantique # notation # paradoxe # philosophie des mathématiques # résultat de Kleene et de Turing # système formel # théorie des prédicats de Kleenne # théorème de Church # théorème de Gödel # théorème de Henkin # théorème de Kleene # théorème de Mostowski # théorème de Rosser # théorème de limitation # épistémologie des mathématiques arithmétisation LFG et lemne de Gögel # arithmétisation et fonction récursive # autre fait de limitation # axiomatique # démonstration de Gentzen # fondement de mathématique # formalisation des mathématiques # formalisme # formalisme LFG # indécidabilité # langage # langue # les théorèmes de Tarski # limitation propre au logique combinatoire # logique # metathéorie # modèle non régulier # méthode de Prost # méthode sémantique # notation # ...

01Axx ; 03-02 ; 03A05 ; 03A30 ; 03Bxx

... Lire [+]

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

- 273 p.
ISBN 978-2-84225-014-0

Nouvelle bibliothèque mathématique , 0005

Localisation : Ouvrage RdC (KRIV)

théorie des ensembles # logique # modèle intérieur # axiome du choix # axiome de Zermelo-Frenkel # modèle de Fraenkel-Mostowski # ensemble constructible # théorème d'incomplétude de Göbel # Forcing # algèbre de Boole # arbre # exercice # indépendance de l'hypothèse du continu # indépendance de l'axiome du choix # chaîne # anti-chaîne

03-01 ; 03Exx ; 03-02 ; 03G05

... Lire [+]

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

- 276 p.

Philosophies pour l'age de la science

Localisation : Ouvrage RdC (TARS)

logique # sémantique # métamathématique # théorème de Tarski

03-02 ; 03-XX ; 01A75

... Lire [+]

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

- 166 p.

Mathématiques et sciences de l'homme , 0006

Localisation : Ouvrage RdC (LORE)

métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité

03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25

... Lire [+]

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

- 146 p.

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

Localisation : Ouvrage RdC (PORT)

logique # système formel # système connectif

03G25 ; 18A15 ; 03-02

... Lire [+]

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

- 584 p.
ISBN 978-2-9500919-0-1

Nur al-mantiq wal-ma'rifah¶ , 0001

Localisation : Ouvrage RdC (POIZ)

théorie des modèles # logique mathématiques

03-01 ; 03-02 ; 03C45 ; 03C07

... Lire [+]

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

- xv; 218 p.
ISBN 978-2-04-007244-5

Programmation

Localisation : Ouvrage RdC (AZRA)

recursivité # logique # informatique

03Dxx ; 03-02

... Lire [+]

Z