m

F Nous contacter

0

Documents  03D20 | enregistrements trouvés : 32

O

-A +A

P Q

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

- 367 p.
ISBN 978-0-8218-2622-5

Contemporary mathematics , 0270

Localisation : Collection 1er étage

logique # théorie des nombres # 10ème problème de Hilbert # arithmétique # géométrie algébrique # calcul des algorithmes numériques # informatique théorique # classe de complexité # décidabilité # fonction récursive

00B25 ; 03B25 ; 03D20 ; 03D35 ; 11U05 ; 14Gxx ; 65Y20 ; 68Q15

... Lire [+]

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

Lecture notes in mathematics , 0070

Localisation : Collection 1er étage

calcul des propositions de Lukasiewicz # classe de fonction récursive # fragment monadique de calcul des prédicats # logique symbolique # morphologie demi-anneau # oméga-règle # partition et modèle # quantificateur de Chang # schéma de compréhension Pi indice 1 puissance 1 # théorie de la preuve # théorie non catégorique # ultrafiltre hyperarithmétique # équivalence récursive

03-06 ; 03B05 ; 03D20 ; 03D50 ; 03F03

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

Localisation : Salle de manutention

algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'ap...

03B25 ; 03D20 ; 11Dxx ; 68U05 ; 92B20

... Lire [+]

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

- x; 269 p.
ISBN 978-981-3223-51-6

Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0033

Localisation : Ouvrage RdC (SETS)

logique # théorie des ensembles # calcul complexe # théorème de Goodstein # cardinal # limite de Fraïssé # idéal # 10ème problème de Hilbert

03-06 ; 03D20 ; 03E40 ; 03C62 ; 00B25

... Lire [+]

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

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

... Lire [+]

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

- xv; 322 p.
ISBN 978-0-691-16044-3

Localisation : Ouvrage RdC (LOVE)

théorie de la démonstration # théorie de la calculabilité # logique philosophique

03-01 ; 03A05 ; 03B70 ; 03D10 ; 03D20 ; 03F03

... Lire [+]

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

- 372 p.
ISBN 978-90-01-57070-5

Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics

Localisation : Ouvrage RdC (MALC)

recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

... Lire [+]

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

- ix; 157 p.
ISBN 978-1-84800-939-4

Universitext

Localisation : Ouvrage RdC (CHIS)

language formel # informatique # grammaire de Chomsky # machine de Turing # fonction recursive

03D10 ; 03D20 ; 20F10 ; 20F65 ; 68Q05 ; 68Q42 ; 68Q45 ; 68-01

... Lire [+]

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

- xiv; 502 p.
ISBN 978-0-8218-4813-5

Mathematical surveys and monographs , 0155

Localisation : Collection 1er étage

théorie descriptive des ensembles # axiome # fonction récursive # hierarchie # classes d'ensembles # ensemble de Borel # ensemble projectif

03-02 ; 03D55 ; 03E15 ; 28A05 ; 54H05 ; 03E60 ; 03E65 ; 03E45 ; 03D20 ; 03D75 ; 26A21

... Lire [+]

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

- 210 p.

McGraw-Hill series in information porcessing and computers

Localisation : Ouvrage RdC (DAVI)

calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

... Lire [+]

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

- 374 p.
ISBN 978-2-10-005453-4

Localisation : Enseignement RdC (CORI)

logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles

03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30

... Lire [+]

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

- 106 p.

Memoirs of the american mathematical society , 0089

Localisation : Collection 1er étage

logique # fonctionnelle récursive # réalisabilité # théorème de récursion

03-XX ; 03D20

... Lire [+]

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

- 396 p.
ISBN 978-0-19-853450-1

Oxford logic guides , 0027

Localisation : Ouvrage RdC (SMUL)

arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

... Lire [+]

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


ISBN 978-3-540-05566-2

Lecture notes in mathematics , 0218

Localisation : Collection 1er étage

Martin-Löf # Von Mises et Ville # complexité algorithmique # complexité de programme de Kolmogorov # concept de collectif # ensemble nul constructif # espace de probabilité # fonction récursive # hasard et probabilité # historique # loi de hasard d'ordre exponentiel # loi de hasard statistique # propriété d'invariance # représentation de loi forte des grands nombres par martingal # suite contingente # suite hypercontingente # suite optimale pour les banques # suite pseudo-contingente # système de jeu verrouillé # théorie des probabilités et mesure Martin-Löf # Von Mises et Ville # complexité algorithmique # complexité de programme de Kolmogorov # concept de collectif # ensemble nul constructif # espace de probabilité # fonction récursive # hasard et probabilité # historique # loi de hasard d'ordre exponentiel # loi de hasard statistique # propriété d'invariance # représentation de loi forte des grands nombres par martingal # suite contingente # suite hypercontingente # suite optimale pour ...

68Wxx ; 03D20 ; 60A05 ; 03D15

... Lire [+]

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

- 268 p.
ISBN 978-2-7296-0372-4

Localisation : Ouvrage RdC (WOLP)

automate fini # calcul # complexité # fonction récursive # grammaire # langage # machine de Turing # non calculabilité

03D05 ; 03D10 ; 03D20 ; 68Q45 ; 68Q50

... Lire [+]

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

- 318 p.
ISBN 978-2-84074-065-0

Localisation : Ouvrage RdC (STER)

LIPS # PROLOG # Pascal # analyse syntaxique # automate # calcul # calcul propositionnel # fonction récursive # fondement # grammaire # langage # le LIPS # machine de Turing # mathématique de l'informatique # turbo pascal

03B05 ; 03D05 ; 03D20 ; 68Q05 ; 68Q68

... Lire [+]

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

- 176 p.
ISBN 978-2-225-82091-5

Etudes et recherches en informatique

Localisation : Disparu;Ouvrge RdC (KRIV)

fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

... Lire [+]

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

- 347 p.
ISBN 978-2-225-84080-7

Axiomes

Localisation : Ouvrage RdC (CORI)

fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel

03Cxx ; 03D20 ; 03Exx ; 03F40

... Lire [+]

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

Memoirs of the american mathematical society , 0051

Localisation : Collection 1er étage

bon ordonnancement récursif relativement # degré d'insolvabilité récursive # degré d'opérateur de saut # degré de prédicat complet # dual d'opérateur existentiel # définition explicite # hiérarchie de prédicats de type fini # hiérarchie finie # hiérarchie transfinie # opérateur de saut itéré # post # restriction de type # réduction de la définition de O puissance ) gauche m indice # théorème d'énumération # théorème de hiérarchie

03B05 ; 03D20 ; 03Dxx ; 11-XX ; 11Uxx

... Lire [+]

Z