m

F Nous contacter

0

Documents  03D40 | enregistrements trouvés : 11

O
     

-A +A

P Q

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


ISBN 978-0-444-85343-1

Studies in logic and the foundations of mathematics , 0095

Localisation : Colloque 1er étage (OXFO)

amalgamation # construction semi-sapin # groupe clos algébriquement # groupe de Burnside # groupe de Jonsson # groupe finiment présenté # groupe à forme normale # logique # machine modulaire # problème de décision pour théorie des anneaux # problème de mot résoluble # système de Thue commutatif # théorie d'annulation # théorème de plongement de Higman-Clapham-Valiev # tresse réductible

03D40 ; 08A50 ; 20F10

... Lire [+]

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

- 301 p.
ISBN 978-3-540-54495-1

Lecture notes in computer science , 0530

Localisation : Collection 1er étage

algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...

03D40 ; 18-06 ; 68-06

... Lire [+]

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

- 234 p.
ISBN 978-3-540-90749-7

Studies in the history of mathematics and physical sciences , 0009

Localisation : Ouvrage RdC (CHAN)

logique mathématique et bases # théorie et généralisation # générateurs # relation # présentation de groupe

01A05 ; 03D40 ; 20-03 ; 20F05

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

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

- 400 p.
ISBN 978-2-86601-206-9

Localisation : Ouvrage RdC (LOTH)

D-représentations de semigroupes # algèbre de Lie libre # automates finis # distance discrète # fraction continue # grammaire cyclique # groupe d'antimorphismes # identité # langage et connaissance # mathématiques concrète # mots et permutations finies # permutation colorée # phonologie # représentation des groupes symétriques finis # tableau gauche # variété tonique # zigzags du plan

03D05 ; 03D40 ; 14M25 ; 17B01 ; 20C30

... Lire [+]

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


ISBN 978-0-86720-244-1

Localisation : Ouvrage RdC (W)

aspect spécial des groupes finis ou infinis # calcul des prédicats # logique # logique des propositions classique # problème de mots # théorie des groupes # traitement des mots dans les groupes

03B25 ; 03D40 ; 20-XX

... Lire [+]

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

- 84 p.
ISBN 978-2-89276-140-5

Publications du laboratoire de combinatoire et d'informatique mathématique , 0020

Localisation : Ouvrage RdC (BERS)

Thue # code et encodage # morphisme libre en carré # mot libre en chevauchement # motif évitable # position relative de partie égales dans des suites de symbol # répétition sur les mots # suite de Thue-Morse # suite infinie de symboles # système de Thue # système dynamique symbolique

03D40 ; 06B25 ; 08A50 ; 20F10 ; 68R15

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

- 120 p.

Localisation : Salle de manutention

algorithme d'arbre récursif # complexité d'algorithme # langage algébrique # langage reconnaissable # mot en arithmétique # mot infini # problème combinatoire en théorie des codes # théorie des langages

03D40 ; 06B25 ; 08A50 ; 11T71 ; 68Qxx

... Lire [+]

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

- 328 p.

Localisation : Ouvrage RdC (PERR)

algorithme de Dehn # condition de petite simplification # extension d'Higman-Neumann- Neumann # graphe valué dans un groupe # groupe de présentation finie # problème de mots # produit libre amalgamé # éventail

03D40 ; 06B25 ; 08A50 ; 20F10 ; 68R15

... Lire [+]

Z