F Nous contacter

0

Documents  03D20 | enregistrements trouvés : 30

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

V

Localisation : Séminaire 1er étage

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

V

Lecture notes in mathematics , 0070

Localisation : Collection RdC

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

V

Proceedings of symposia in pure mathematics , 0005

Localisation : Collection RdC

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

V

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

Contemporary mathematics , 0270

Localisation : Collection RdC

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

V

- 307 p.
ISBN 978-0-387-12155-0

Perspectives in mathematical logic

Localisation : Ouvrage RdC (LERM)

degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis

03D20 ; 03D25 ; 03D30 ; 03D35 ; 03D55

... Lire [+]

V

- 189 p.
ISBN 978-0-19-853189-0

Oxford logic guides , 0009

Localisation : Ouvrage RdC (ROSE)

fonction de base # hiérarchie étendue de Grzegorczyk # induction transfinie # petite classe de type Grzegorczyk # récursion ordinaire et nichée # sous-récursion # théorie de la hiérarchie # théorème d'incomplétude de Godel

03D20 ; 03F15 ; 03F40

... Lire [+]

V

Memoirs of the american mathematical society , 0051

Localisation : Collection RdC

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

V

- 482 p.
ISBN 978-0-262-68052-3

Localisation : Ouvrage RdC (ROGE)

logique

03D20

... Lire [+]

V

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

V

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

V

- 141 p.

Localisation : Ouvrage RdC (GRZE)

ensemble récursivement énumérable # fonction calculable # fonction récursive # hiérarchie # indécidabilité # métamathématique # problème de décision # théorie des nombres intuitioniste # théororème de Gödel

03D20 ; 03D25 ; 03D35 ; 03D55 ; 68Qxx

... Lire [+]

V

- 100 p.

Collection de logique mathématique série A , 0017

Localisation : Ouvrage RdC (GRZE)

effectivité des méthodes de réduction # ensemble non récursif # ensemblement récursivement énumérable # fonction récursive # logique mathématique # problème de décision # représentabilité de relation récursive

03D20 ; 03D25 ; 03Dxx

... Lire [+]

V

- 477 p.

Biblioteka matematyczna , 0020

Localisation : Ouvrage RdC (GRZE)

complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité

03-02 ; 03-03 ; 03B25 ; 03D20 ; 03E10

... Lire [+]

V

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

V

- 550 p.
ISBN 978-0-7204-2103-3

Bibliotheca mathematics , 0001

Localisation : Ouvrage RdC (KLEE)

calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel

00A30 ; 03B22 ; 03D10 ; 03D20

... Lire [+]

V

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

V

- 412 p.

Actualités scientifiques et industrielles , 1317

Localisation : Ouvrage RdC (OUSP)

constructivisation de définition négative # ensemble récursivement énumérable # ensemble universel # fonction calculable # fonction partielle récursive # fonction primitive récursive # fonction universelle # logique mathématique # machine à calculer abstraite # prédicat général récursif # prédicat primitif récursif # prédicat récursivement énumérable # séparation des réels calculables # théorie des ensembles # théorie des fonctions constructivisation de définition négative # ensemble récursivement énumérable # ensemble universel # fonction calculable # fonction partielle récursive # fonction primitive récursive # fonction universelle # logique mathématique # machine à calculer abstraite # prédicat général récursif # prédicat primitif récursif # prédicat récursivement énumérable # séparation des réels calculables # théorie des ensembles # théorie des fonctions

03D20 ; 03D25 ; 03D80 ; 03Dxx

... Lire [+]

V

- 117 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (MOST)

arithmétique formalisée # fonction et relation # logique # récursivité et définabilité # sentence indécidable # système (S) # sémantique de (S) # théorie de Gödel # théorème arithmétique prouvable dans (S) # théorème d'incomplétude

03B25 ; 03D20 ; 03D35

... Lire [+]

V

- 482 p.

McGraw-Hill series in higher mathematics

Localisation : Ouvrage RdC (ROGE)

calculabilité effective # degré d'insolvabilité # ensemble récursif et énumérable récursivement # hiérarchie analytique et arithmétique # problème de Post # problème insoluble # réductibilité de Turing # théorie des fonctions récursives

03D03 ; 03D20 ; 03D25 ; 03D30 ; 03D55

... Lire [+]

V

- 147 p.
ISBN 978-0-691-08047-5

Annals of mathematics studies , 0047

Localisation : Ouvrage RdC (SMUL)

arithmétique constructive # créativité et effective inséparabilité # incomplétude # indécidabilité # oméga-consistance # représentabilité formelle # système formel mathématique # théorie de Gödel et Rosser # théorie des fonctions récursives # théorie des systèmes formels # énumérabilité récursive arithmétique constructive # créativité et effective inséparabilité # incomplétude # indécidabilité # oméga-consistance # représentabilité formelle # système formel mathématique # théorie de Gödel et Rosser # théorie des fonctions récursives # théorie des systèmes formels # énumérabilité récursive

03D20 ; 03D25 ; 03D35 ; 03F40 ; 03Fxx

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z