Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-85345-5
Studies in logic and the foundations of mathematics , 0101
Localisation : Colloque 1er étage (MADI)
analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # problème de Post # réalisabilité de Kleene # récursion et induction monotone # structure de Frege # théorie de la preuve et analyse non standard # théorie du premier ordre
analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # ...
03-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 595 p.
Localisation : Congrès internationaux 1er étage
EDO # EDP # algèbre de Lie # algèbre et théorie des nombres # anaglyphique # analyse # analyse numérique # congrès international de mathématiciens # fluide de visqueux # fondement des mathématiques # géométrie algébrique # histoire des mathématiques # logique mathématique # mathématique appliquée # modèle de Ising # mécanique des milieux continus # nomographie # physique mathématique # probabilité et statistique # système de controle à relai # série de Fourier # topologie et géométrie différentielle # éducation
EDO # EDP # algèbre de Lie # algèbre et théorie des nombres # anaglyphique # analyse # analyse numérique # congrès international de mathématiciens # fluide de visqueux # fondement des mathématiques # géométrie algébrique # histoire des mathématiques # logique mathématique # mathématique appliquée # modèle de Ising # mécanique des milieux continus # nomographie # physique mathématique # probabilité et statistique # système de controle à relai # ...
00B25 ; 03-XX ; 60-XX ; 62-XX ; 65-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Congrès internationaux 1er étage
EDP # algèbre # analyse classique # analyse fonctionnelle # analyse numérique # chaine de Markov # congrès international de mathématiciens # corps de fonction # fonction de variable complexe # groupe algébrique # groupe nilpotent # géométrie algébrique # géométrie différentielle # géométrie intégrale # histoire et éducation # homéomorphie # logique et fondement # mathématique appliquée # physique mathématique # physique statistique # preuve # probabilité et statistique # régulation # statistique # surface de Riemann # système formel # théorie de Morse # théorie des nombres # théorie quantique des champs # topologie
EDP # algèbre # analyse classique # analyse fonctionnelle # analyse numérique # chaine de Markov # congrès international de mathématiciens # corps de fonction # fonction de variable complexe # groupe algébrique # groupe nilpotent # géométrie algébrique # géométrie différentielle # géométrie intégrale # histoire et éducation # homéomorphie # logique et fondement # mathématique appliquée # physique mathématique # physique statistique # preuve # ...
00B25 ; 03-XX ; 22-XX ; 32-XX ; 54-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-90-277-0614-0
The university of western ontario series in philosophy of science , 0006
Localisation : Colloque 1er étage (LOND)
application minimum de principe de changement # application épistémique # changement de croyance itéré # changement de croyance rationnel # changement de préférence # cinématique de probabilité # complexité de calcul # conditionnalisation # conditionnel contrefactuel # conditionnel de test de Ramsey # description incomplète et langage # fonction de Popper # fondation # indépendance stochastique # inférence statistique # logique pour croyance subjective # observation # probabilité de conditionnel # probabilité précédente # simplicité # stabilité de fréquence relative # théorie des probabilités # théorie statistique de la science
application minimum de principe de changement # application épistémique # changement de croyance itéré # changement de croyance rationnel # changement de préférence # cinématique de probabilité # complexité de calcul # conditionnalisation # conditionnel contrefactuel # conditionnel de test de Ramsey # description incomplète et langage # fonction de Popper # fondation # indépendance stochastique # inférence statistique # logique pour croyance ...
03-03 ; 03-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-85378-3
Studies in logic and the foundations of mathematics , 0097
Localisation : Colloque 1er étage (MONS)
Bernays # Godel # analyse mathématique constructive # anneau de polynome # axiome du choix # cardinal hypermesurable # conjecture de Solevary # logique abstraite # logique mathématique # logique symbolique # modèle de théorie KM des classes # modèle de théorie des ensembles ZFC # successeur de cardinal singulier # théorie algébrique stable # théorie des ensembles intuitioniste
03-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-3-540-11157-3
Lecture notes in computer science , 0122
Localisation : Collection 1er étage
algorithme # algorithmique
01-XX ; 03-XX ; 68-06 ; 68-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 292 p.
ISBN 978-3-540-07407-6
Lecture notes in computer science , 0033
Localisation : Collection 1er étage
automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates
03-XX ; 68-XX ; 94-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 324 p.
ISBN 978-3-540-09118-9
Lecture notes in computer science , 0067
Localisation : Collection 1er étage
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages
03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 1174 p.
ISBN 978-3-540-10849-8
Lecture notes in mathematics , 0872
Localisation : Collection 1er étage
algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles
03-06 ; 03-XX ; 03Cxx ; 03Exx
... 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.
- 297 p.
ISBN 978-0-8218-5110-4
Contemporary mathematics , 0106
Localisation : Collection 1er étage
arithmétique de l'informatique # informatique # mathématiques de l'informatique
03-XX ; 68-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 712 p.
ISBN 978-0-8218-5136-4
Contemporary mathematics , 0131
Localisation : Collection 1er étage
algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique
00B25 ; 03-XX ; 06-XX ; 08-XX ; 12-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 704 p.
ISBN 978-0-8218-5137-1
Contemporary mathematics , 0131
Localisation : Collection 1er étage
algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique
00B25 ; 03-XX ; 06-XX ; 08-XX ; 11-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 704 p.
ISBN 978-0-8218-5138-8
Contemporary mathematics , 0131
Localisation : Collection 1er étage
algèbre # algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique
00B25 ; 03-XX ; 05-XX ; 06-XX ; 08-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-5052-7
Contemporary mathematics , 0065
Localisation : Collection 1er étage
analyse combinatoire # combinatoire # logique # logique symbolique
03-06 ; 03-XX ; 03Fxx ; 05-06 ; 05Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07534-9
Lecture notes in mathematics , 0499
Localisation : Collection 1er étage
approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur
approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # ...
03-XX ; 04-XX ; 68-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-919558-04-5
Localisation : Congrès internationaux 1er étage
Chandrasekharan # EDP hyperbolique # K-théorie algébrique # Tate # algèbre # algèbre non associative # codage # fondement des mathématiques # groupe algébrique # géométrie algébrique # logique mathématique # sous-groupe discret # théorie des nombres # théorie du contrôle # théorie quantique des champs # théorie transversale # topologie algèbrique # topologie différentielle # énergie des marées
00B25 ; 03-XX ; 20-XX ; 81-XX ; 93-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 129 p.
ISBN 978-0-8218-0578-7
DIMACS series in discrete mathematics and theoretical computer science , 0033
Localisation : Collection 1er étage
combinatoire # logique # mathématique discrète # structure aléatoire
03-XX ; 05-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 248 p.
ISBN 978-0-8218-0517-6
DIMACS series in discrete mathematics and theoretical computer science , 0031
Localisation : Collection 1er étage
automate # complexité de calcul # logic # proposition algébrique # système de preuve # théorie du modèle fini
03-XX ; 68-XX
... Lire [+]
