m

F Nous contacter

0

Documents  03D35 | enregistrements trouvés : 18

O
     

-A +A

P Q

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

- 150 p.
ISBN 978-0-8218-3819-8

Contemporary mathematics , 0425

Localisation : Collection 1er étage

logique

03C52 ; 03D25 ; 03D35 ; 03D80 ; 03E05 ; 03E15 ; 03E55 ; 03E60 ; 05C12 ; 52C20

... Lire [+]

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.

- 333 p.
ISBN 978-0-8218-3086-4

Proceedings of the Steklov institute of mathematics , 0154

Localisation : Collection 1er étage

03D35 ; 03E10 ; 14E15 ; 18D10 ; 58Exx

... Lire [+]

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

Research schools;Combinatorics;Logic and Foundations

One of the most fundamental problem in tiling theory is to decide, given a surface, a set of tiles and a tiling rule, whether there exist a way to tile the surface using the set of tiles and following the rules. As proven by Berger in the 60’s, this problem is undecidable in general.
When formulated in terms of tilings of the discrete plane by unit tiles with colored constraints, this is called the Domino Problem and was introduced by Wang in an effort to solve satisfaction problems for ??? formulas by translating the problem into a geometric problem.
In this course, we will give a brief description of the problem and to the meaning of the word “undecidable”, and then give two different proofs of the result.
One of the most fundamental problem in tiling theory is to decide, given a surface, a set of tiles and a tiling rule, whether there exist a way to tile the surface using the set of tiles and following the rules. As proven by Berger in the 60’s, this problem is undecidable in general.
When formulated in terms of tilings of the discrete plane by unit tiles with colored constraints, this is called the Domino Problem and was introduced by Wang in an ...

03D35 ; 05B45

... Lire [+]

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

- xi; 98 p.
ISBN 978-0-7204-2246-7

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (TARS)

indécidabilité

03-02 ; 03D35

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

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

- 72 p.

Memoirs of the american mathematical society , 0066

Localisation : Collection 1er étage

logique # problème des dominos # indécidabilité # problème des dominos # machine de Turing

03D35

... Lire [+]

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


ISBN 978-2-9029-1894-2

Bibliothèque pour la science

Localisation : Disparu

Gödel # IP= PSPACE # algorithme # automate # calculabilité # cryptographie quantique # désordre # hyperensemble # indécidabilité # informatique # informatique théorique # inférence inductive # logique # machine de Turing # paradoxe # preuve probabiliste # thermodynamique # virus

03D05 ; 03D10 ; 03D35 ; 68Q05 ; 94A60

... Lire [+]

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

- 521 p.
ISBN 978-0-201-53082-7

Localisation : Ouvrage RdC (PAPA)

NP et co NP # algorithme # approximabilité # calcul aléatorisé # calcul parallèle # calculabilité # complexité de calcul # cryptographie # espace logarithmique # espace polynomial # indécidabilité en logique # logique booléenne # logique du premier ordre # machine de Turing # problème NP complet # relation entre classes de complexité # réduction et complétude

03B10 ; 03B25 ; 03D10 ; 03D15 ; 03D35

... Lire [+]

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

Memoirs of the american mathematical society , 0057

Localisation : Collection 1er étage

axiome des choix dépendants # fermeture booléenne de sigma indice j # formule en sigma indice 0 # hiérarchie de formule en théorie des ensembles # hiérarchie relative # niveau inférieur de hiérarchie # phénomène de réflexion # prédicat de satisfaction # sentence indécidable # terme admissible # théorie des ensembles d'Ackermann # théorème de Skolem-Lowenheim # théorème de hiérarchie sémantique ou syntactique

03D35 ; 03D55 ; 03Exx

... Lire [+]

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


ISBN 978-0-8218-2241-8

Memoirs of the american mathematical society , 0241

Localisation : Collection 1er étage

03D30 ; 03D35

... Lire [+]

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

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

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

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

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

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

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

- 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

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

... Lire [+]

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

- 240 p.
ISBN 978-0-387-09710-7

Lecture notes in mathematics , 0759

Localisation : Collection 1er étage

03-02 ; 03D30 ; 03D35 ; 03F30

... Lire [+]

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

- 190 p.
ISBN

Notas de logica matematica , 0038

Localisation : Salle de manutention

C*-algèbre de logique Post # algèbre d'abstraction lambda # analyse infinitésimale # fermeture minimale pour classe d'calgèbres partielles # fragment positif à variable libre consistant finitairement # groupe abélien ordonné en treillis libre # indécidabilité # jeu de Ehrenfeucht-Fraïssé # logique mathématique # opérateur modal en logique d'implication conséquentielle # partition et ensemble parfait # sous-algèbre d'algèbre de Lukasasiewicz à 3 valeurs finie # variété de MV-algèbre # équivalence élémentaire entre faisceaux C*-algèbre de logique Post # algèbre d'abstraction lambda # analyse infinitésimale # fermeture minimale pour classe d'calgèbres partielles # fragment positif à variable libre consistant finitairement # groupe abélien ordonné en treillis libre # indécidabilité # jeu de Ehrenfeucht-Fraïssé # logique mathématique # opérateur modal en logique d'implication conséquentielle # partition et ensemble parfait # sous-algèbre d'algèbre de Lukasasiewicz à 3 ...

03-06 ; 03B25 ; 03B50 ; 03D35 ; 03G20

... Lire [+]

Z