m

F Nous contacter

0

Documents  03B25 | enregistrements trouvés : 38

O

-A +A

P Q

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.

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.


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.

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.

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

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.

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.

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


ISBN 978-0-8218-2246-3

Memoirs of the american mathematical society , 0246

Localisation : Collection 1er étage

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

... Lire [+]

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

- 147 p.
ISBN 978-0-8176-3530-5

Progress in computer science and applied logic , 0010

Localisation : Ouvrage RdC (RAAT)

intelligence artificielle # langage informatique # logique # mécanisation de la preuve # opération logique # théorie de la preuve

03B25 ; 68T25

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

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

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

- 287 p.
ISBN 978-0-14-022728-4

Localisation : Ouvrage RdC (DEVL)

chaos # efficacité des algorithmes # indécidable # noeud # nombre premier # problème de Hilbert # problème des quatre couleurs # théorème de Fermat

00A05 ; 03B25 ; 11A41 ; 58F13 ; 68Q25

... Lire [+]

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

- 271 p.
ISBN 978-0-201-02540-8

Localisation : Ouvrage RdC (DREB)

calcul des prédicats # classe résoluble de formule quantificationnelle # insolvabilité # problème de décision # solvabilité et coinstantiation

03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10

... Lire [+]

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

- 196 p.

Collection programmation

Localisation : Ouvrage RdC (GROS)

automate fini # calculabilité # décidabilité # grammaire formelle # grammaire transformationnelle # langage algébrique # langage de Chomsky # langage de Kleene # machine de Turing # monoïde libre # mot # programmation # système combinatoire # système formel

03B25 ; 03D40 ; 68Q05 ; 68Q45 ; 68Q50

... Lire [+]

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

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

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

... Lire [+]

Z