m

F Nous contacter

0

Documents  03Dxx | enregistrements trouvés : 72

O

-A +A

P Q

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

- x-181 p.
ISBN 978-981-4360-53-1

Localisation : Colloque 1er étage (SING)

logique mathématique # théorie des modèles # informatique

03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx

... Lire [+]

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

- 456 p.
ISBN 978-0-7204-2276-4

Studies in logic and foundations of mathematics , 0079

Localisation : Colloque 1er étage (OSLO)

récursivité # ordinal de Mahlo # théorie des modèles # ensemble admissible # ordinal admissible # induction # problème de Post

00Bxx ; 03-06 ; 03Dxx

... Lire [+]

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


ISBN 978-3-11-014803-9

Localisation : Colloque 1er étage (KAZA)

algèbre et anneau commutatifs # aspect spécial # bi-module # fondement # groupe abélien # groupe fini # groupe infini # idéal # logique mathématique # module # théorie de recursion # théorie de représentation d'anneau et d'algèbre # théorie général d'anneau commutatif

03Dxx ; 13Axx ; 16Dxx ; 16Gxx ; 20Kxx

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


ISBN 978-3-540-05744-4

Lecture notes in mathematics , 0255

Localisation : Collection 1er étage

Choquet # Pi indice 1 puissance 1 catégoricité # Pi indice 1 puissance 1- modèle # Puritz # Russell # analyse non- standard non-axiomatisabilité en langage infini # application d'ultra-produit pour anneau de premier à identit # delta indice 1 tilde-définabilité en théorie des ensembles # définition inductive et analogue # foncteur local # grand cardinal # injectif compact # logique contenant S4 sans propriété de modèle fini # logique mathématique # modèle d'arithmétique # modèle et sous-modèle d'arithmétique # propriété infinitaire # puissance directe à diagonale distinguée # structure d'ordre supérieur # système de epsilon-calcul pour S4 du premier ordre # système de fonction ordinal # théorème d'interpolation de Craig pour logique modale # treillis non distributif de plongement en degré éumérable Choquet # Pi indice 1 puissance 1 catégoricité # Pi indice 1 puissance 1- modèle # Puritz # Russell # analyse non- standard non-axiomatisabilité en langage infini # application d'ultra-produit pour anneau de premier à identit # delta indice 1 tilde-définabilité en théorie des ensembles # définition inductive et analogue # foncteur local # grand cardinal # injectif compact # logique contenant S4 sans propriété de modèle fini # logique ma...

03B25 ; 03B45 ; 03Dxx

... Lire [+]

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

Lecture notes in mathematics , 0072

Localisation : Collection 1er étage

algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes

03C40 ; 03C75 ; 03Dxx

... Lire [+]

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


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

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

- 252 p.
ISBN 978-3-540-55121-8

Lecture notes in computer science , 0570

Localisation : Collection 1er étage

algorithme # algorithme parallèle # analyse des algorithmes # circuit # classe de complexité # complexité # géométrie de l'informatique # gestion des systèmes # grammaire # information des systèmes # informatique théorique # logique # logique mathématique # parallèle # reécriture des systèmes # structure de données # théorie des graphes # traitement de données

03Dxx ; 68D05 ; 68P05 ; 68Q25 ; 94Cxx

... Lire [+]

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

- 393 p.
ISBN 978-3-540-52772-5

Lecture notes in mathematics , 1432

Localisation : Collection 1er étage

caculabilité relative # calcul non détermine # complexité # conjecture # énumération # énumération récursive # espace topologique # indécidabilité # informatique # non récursive # récursion # théorie de la récursion

03Dxx ; 03Exx ; 68Qxx

... Lire [+]

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


ISBN 978-3-540-51527-2

Lecture notes in mathematics , 1388

Localisation : Collection 1er étage

logique mathematique

03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # analyse non standard # logique # logique mathematique # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # epistemologie # logique # logique formelle # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # logique # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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


ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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

- 595 p.
ISBN 978-3-540-08353-5

Lecture notes in computer science , 0053

Localisation : Collection 1er étage

automate # intelligence artificielle # langage formel # logique # logique mathématique # machine de turing # programmation # programme # théorie des langages # théorie des machines

03F99 ; 03Fxx ; 03Dxx ; 18B20

... Lire [+]

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


ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique # theorie de la recursion # theorie des ensembles

03Dxx ; 03Exx ; 04-XX

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

- 431 p.
ISBN 978-3-540-11161-0

Lecture notes in mathematics , 0891

Localisation : Collection 1er étage

logique

03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... 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 [+]

Z