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.

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


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.

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.

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

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

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

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

- 780 P.
ISBN 978-3-540-22811-0

Ergebnisse der mathematik und ihrer grenzgebiete , 0011

Localisation : Ouvrage RdC (FRIE)

corps algébrique # arithmétique des corps # théorie inverse de Galois # corps d'Hilbert # logique # point rationnel # théorie de la décidabilité # complétude # modèle non-standard

12E30 ; 03B25 ; 03C10 ; 03C60 ; 03H05

... Lire [+]

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

- 166 p.

Mathématiques et sciences de l'homme , 0006

Localisation : Ouvrage RdC (LORE)

métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité

03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25

... Lire [+]

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

Banach center publications , 0034

Localisation : Salle des périodiques 1er étage

espace complexe # fonction holomorphique de plusieurs variables complexes # fondement des mathématiques # groupe d

03B25 ; 32A07 ; 32B20 ; 32M10 ; 57M25

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


ISBN 978-0-8218-0595-4

Memoirs of the american mathematical society , 0604

Localisation : Collection 1er étage

algèbre de relation # décidabilité # indécidabilité # logique mathématique

03B05 ; 03B25 ; 03G15 ; 08B15

... Lire [+]

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

- 482 p.
ISBN 978-3-540-57073-8

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BORG)

classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # ...

03-02 ; 03B10 ; 03B25 ; 03C13 ; 03D15

... Lire [+]

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

- 166 p.
ISBN 978-2-225-82567-5

Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

... Lire [+]

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

- 370 p.
ISBN 978-2-225-82104-2

Etudes et recherches en informatique

Localisation : Ouvrage RdC (LALE)

algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

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

Z