m

F Nous contacter

0

Documents  03B25 | enregistrements trouvés : 37

O

-A +A

P Q

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.

- 514 p.
ISBN 978-0-387-12689-0

Lecture notes in computer science , 0158

Localisation : Collection 1er étage

03B25 ; 03D05 ; 58B05 ; 60C05 ; 68F20

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

Theoretical computer science , 0175

Localisation : Colloque 1er étage (KANA)

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

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

Research schools;Computer Science;Dynamical Systems and Ordinary Differential Equations;Logic and Foundations

Subshifts of finite type are of high interest from a computational point of view, since they can be described by a finite amount of information - a set of forbidden patterns that defines the subshift - and thus decidability and algorithmic questions can be addressed. Given an SFT $X$, the simplest question one can formulate is the following: does $X$ contain a configuration? This is the so-called domino problem, or emptiness problem: for a given finitely presented group $0$, is there an algorithm that determines if the group $G$ is tilable with a finite set of tiles? In this lecture I will start with a presentation of two different proofs of the undecidability of the domino problem on $Z^2$. Then we will discuss the case of finitely generated groups. Finally, the emptiness problem for general subshifts will be tackled. Subshifts of finite type are of high interest from a computational point of view, since they can be described by a finite amount of information - a set of forbidden patterns that defines the subshift - and thus decidability and algorithmic questions can be addressed. Given an SFT $X$, the simplest question one can formulate is the following: does $X$ contain a configuration? This is the so-called domino problem, or emptiness problem: for a given ...

68Q45 ; 03B25 ; 37B50

... Lire [+]

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

Research schools;Computer Science;Logic and Foundations;Number Theory

The theorem of Büchi-Bruyère states that a subset of $N^d$ is $b$-recognizable if and only if it is $b$-definable. As a corollary, the first-order theory of $(N,+,V_b)$ is decidable (where $V_b(n)$ is the largest power of the base $b$ dividing $n$). This classical result is a powerful tool in order to show that many properties of $b$-automatic sequences are decidable. The first part of my lecture will be devoted to presenting this result and its applications to $b$-automatic sequences. Then I will move to $b$-regular sequences, which can be viewed as a generalization of $b$-automatic sequences to integer-valued sequences. I will explain bow first-order logic can be used to show that many enumeration problems of $b$-automatic sequences give rise to corresponding $b$-regular sequences. Finally, I will consider more general frameworks than integer bases and (try to) give a state of the art of the research in this domain. The theorem of Büchi-Bruyère states that a subset of $N^d$ is $b$-recognizable if and only if it is $b$-definable. As a corollary, the first-order theory of $(N,+,V_b)$ is decidable (where $V_b(n)$ is the largest power of the base $b$ dividing $n$). This classical result is a powerful tool in order to show that many properties of $b$-automatic sequences are decidable. The first part of my lecture will be devoted to presenting this result and its ...

68R15 ; 11B85 ; 68Q45 ; 03B25

... Lire [+]

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

Research schools

Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ;
- présentation logique des transducteurs, et clôture par composition.
Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ;
- présentation logique des ...

68Q45 ; 03D05 ; 03B25

... Lire [+]

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

Research schools

Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ;
- présentation logique des transducteurs, et clôture par composition.
Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ;
- présentation logique des ...

68Q45 ; 03D05 ; 03B25

... Lire [+]

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

- 143 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ANDR)

logique mathématique

03B20 ; 03B25 ; 03B65 ; 03Cxx ; 03Dxx

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

Localisation : Colloque 1er étage (VARE)

hypothèse du continu # logique mathématique # modèle de théorie des ensembles # modèle syntactique # problème et méthode # semi-ensemble # théorie de la décidabilité # théorie des ensembles # théorie des modèles

03B25 ; 03C55 ; 03Cxx

... Lire [+]

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


ISBN 978-0-8218-2204-3

Memoirs of the american mathematical society , 0204

Localisation : Collection 1er étage

03C99 ; 03C60 ; 03C10 ; 03B25 ; 12L05 ; 11E95 ; 14G20

... Lire [+]

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

Lecture notes in mathematics , 0120

Localisation : Collection 1er étage

arithmétique du successeur de second ordre monadique de Büch # calcul séquentiel SC # dérivation # preuve du théorème de forme normale # processus infini # procédure de décision # variable de prédicat libre # variable individuelle libre

03B25 ; 03C35 ; 03D05 ; 20F10

... Lire [+]

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

- 118 p.
ISBN 978-2-225-82632-0

Manuels Informatiques Masson

Localisation : Disparu;Ouvrage RdC (AUTE)

calculabilité # classe de complexité # complexité d'espace # complexité de temps # décidabilité # langage récursif # langage récursivement énumérable # modèle de machine de Turing # modème de machine RAM # problème NP- complet # problème insalubre # réduction algorithmique d'un problème à un autre # réduction polynomiale # thèse de Church

03B25 ; 03D15 ; 68Q05 ; 68Q15

... Lire [+]

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

- 77 p.
ISBN 978-2-85978-055-5

Localisation : Ouvrage RdC (BOUL)

03A05 ; 03B25 ; 03E60

... Lire [+]

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


ISBN 978-2-287-00416-2

Mathématiques & applications , 0012

Localisation : Disparu

algorithme # calcul booleen # complexité # complexité de l'addition des entiers # complexité de l'arithmétique # complexité des logiques du premier ordre # décidabilité # fonction récursive # machine # machine de Turing # machine universelle # simulation d'algorithme

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35

... Lire [+]

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

- 200 p.
ISBN 978-3-540-56899-5

Mathématiques & applications , 0012

Localisation : Collection 1er étage

décidabilité # fonction récursive # algorithme # théorie de la complexité # logique de premier ordre # calcul booléen # arithmétique # machine de Turing

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35 ; 68Q05 ; 68Q10 ; 68Q15

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


ISBN 978-0-8218-2246-3

Memoirs of the american mathematical society , 0246

Localisation : Collection 1er étage

03B25 ; 03C05 ; 08A15 ; 08B10 ; 08B99

... Lire [+]

Z