m

F Nous contacter

0

Documents  Van Dalen, D. | enregistrements trouvés : 3

O
     

-A +A

P Q

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


ISBN 978-0-444-86465-9

Studies in logic and the foundations of mathematics , 0108

Localisation : Colloque 1er étage (PRAG)

addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de ...

03-06 ; 03Fxx

... Lire [+]

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


ISBN 978-0-444-86494-9

Studies in logic and the foundations of mathematics , 0110

Localisation : Colloque 1er étage (NOOR)

Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # théorie de l'approximation constructive # théorie des ensembles constructibles # théorie des nombres algébriques # théorème barre # théorème de l'éventail # topos collant Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # ...

03Fxx

... Lire [+]

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

- 162 p.
ISBN 978-90-01-59775-7

Localisation : Ouvrage RdC (DALE)

Bourbaki # Riemann # axiome de choix # développement # histoire # intégration de Lebesgue # intégraton # jeux # stratégie

01A05 ; 01A55 ; 01A60 ; 04-03 ; 28-03

... Lire [+]

Z