m

Documents  03-06 | enregistrements trouvés : 134

O

-A +A

P Q

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

Collection de logique mathématiques. Série A , 0019

Localisation : Colloque 1er étage (TIHA)

ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de symbôle # théorie abstraite des automates et des calculatrices électro # théorie des circuits # traduction automatique # transport # tube électronique # typologie des langues ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de ...

03-06 ; 03Dxx ; 68-06 ; 68Qxx ; 68Txx

... Lire [+]

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

- 494 p.
ISBN 978-0-7204-2233-7

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BERK)

algèbre cylindrique # algèbre de Boole # catégorie algébrique # foncteur algbrique # forcing # géométrie elliptique # insolvabilité # mathématique non-archimédienne # mesure de Haar # système de Lewis # théorie algébrique # théorie de la définition # théorie des ensembles de Godel-Bernays # théorie des modèles # théorie quantique

03-06 ; 03Cxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (HANN)

03-06 ; 03Bxx ; 03C60 ; 03Dxx ; 03Gxx

... Lire [+]

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

- 516 p.

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BUFF)

logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand

03-06 ; 03Bxx ; 03Fxx ; 00B25

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (OXFO)

03-06 ; 03D05 ; 03Dxx

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


ISBN 978-0-444-86417-8

Studies in logic and the foundations of mathematics , 0107

Localisation : Colloque 1er étage (MARS)

arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # théorème de Girard # théorème de Herbrand # théorème de Ramsey # théorème de finitude # vérité arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # ...

03-06 ; 03Fxx

... Lire [+]

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

- 274 p.
ISBN 978-0-8218-3033-8

Proceedings of the Steklov institute of mathematics , 0133

Localisation : Collection 1er étage

01A70 ; 03-03 ; 03-06 ; 04-03 ; 20-03

... Lire [+]

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

- 454 p.
ISBN 978-83-01-02145-0

Banach center publications , 0009

Localisation : Salle des périodiques 1er étage

algèbre universel # algèbre classique # système algébrique # structure ordonnée # théorie des groupes # logique # treillis # logique quantique

08-06 ; 06-06 ; 20-06 ; 03-06

... Lire [+]

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-951-41-0352-0

Localisation : Congrès internationaux 1er étage

algèbre # algèbre de Von Neumann # analyse micro-locale # fonction l # fondement des mathématiques # géométrie # logique mathématique # théorie des nombres # topologie

00Bxx ; 03-06 ; 11-06 ; 51-06 ; 54-06

... Lire [+]

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


ISBN 978-0-444-86706-3

Studies in logic and the foundations of mathematics , 0111

Localisation : Colloque 1er étage (SING)

analyse non standard # axiome du choix # cardinal grand séquentiellement # combinatoire à valeur booléenne # ensemble # forcing # indécidabilité # manifestation d'attribut # matroide # méthode axiomatique # orthologique # quantification de Henkin # structure # système formel # théorie de la récursion # théorie des modèles # théorème d'approximation de Barwise # équivalence récursive

03-06 ; 03Dxx

... Lire [+]

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

Localisation : Colloque 1er étage (BERK)

aleph indice alpha # algèbre cylindrique # algèbre de Boole # deux puissance aleph indice 0 # géométrie elliptique # théorie de quantification # théorie des modèles # théorie des nombres

03-06 ; 03Cxx

... Lire [+]

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

Colloques internationaux du CNRS , 0036

Localisation : Colloque 1er étage (PARI)

axiomatisabilité # calcul affirmatif # calcul déductif # calcul intuitionniste # espace de Hilbert # formalisation de théorie mathématique # interprétation sémantique de système axiomatique # intuitionisme # langue # méthode formelle en axiomatique # parallélisme logico-mathématique # système formel

03-06

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


ISBN 978-0-444-86876-3

Studies in logic and the foundations of mathematics , 0112

Localisation : Colloque 1er étage (FLOR)

NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

... Lire [+]

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

- 407 p.
ISBN 978-0-387-15236-3

Lecture notes in mathematics , 1130

Localisation : Collection 1er étage

03-06 ; 03Bxx ; 03Dxx ; 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.


ISBN 978-951-95054-8-0

Acta philosophica fennica , 0035

Localisation : Colloque 1er étage (MOSC)

03-06 ; 03Bxx ; 03Cxx

... Lire [+]

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

Localisation : Colloque 1er étage (COLU)

00A30 ; 03-06 ; 03A05

... Lire [+]

Z