En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03D40 11 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computability and unsolvability Davis, Martin D. | McGraw-Hill Book Company 1958

Ouvrage

- 210 p.
Cote : 00027579
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

Localisation : Ouvrage RdC (DAVI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algorithms and recursive functions Mal'Cev, A. I. | Wolters-Noordhoff Publishing 1970

Ouvrage

- 372 p.
Cote : 00037029
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

Localisation : Ouvrage RdC (MALC)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The history of combinatorial group theory
a case study in the history of ideas Chandler, Bruce ; Magnus, Wilhelm | Springer-Verlag 1982

Ouvrage

- 234 p.
Cote : 00005902
logique mathématique et bases # théorie et généralisation # générateurs # relation # présentation de groupe

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

Localisation : Ouvrage RdC (CHAN)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Word problems II
this book grew out of the working conference 'decision problems in algebra' Adian, S. I. ; Boone, W. W. ; Higman, G. | North-Holland Publishing Co. 1980

Congrès


Cote : 00000187
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

Localisation : Colloque 1er étage (OXFO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Notions sur les grammaires formelles Gross, Maurice ; Lentin, André | Gauthier-Villars 1967

Ouvrage

- 196 p.
Cote : 00007324
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

Localisation : Ouvrage RdC (GROS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mots :
mélanges offerts à M.-P. Lothaire, M. | Hermes 1990

Ouvrage

- 400 p.
Cote : 00015778
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

Localisation : Ouvrage RdC (LOTH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Word processing in groups Cannon, James W. ; Epstein, David B. A. ; Holt, Derek F. | Jones and Bartlett Publishers 1992

Ouvrage


Cote : 00016361
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

Localisation : Ouvrage RdC (W)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Category theory and computer science :
the papers of this volume were presented at the fourth biennal Summer conference on category theory and computer science#Sept. 3-6 Abramsky, S. ; Curien, P. L. ; Pitt, D. H. | Springer-Verlag 1991

Congrès

- 301 p.
Cote : 00016864
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Conditions de petites simplifications et problème des mots Perraud, Jean | Université De Nantes 1982

Thèse

- 328 p.
Cote : 00005413
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

Localisation : Ouvrage RdC (PERR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Axel Thue's papers on repetitions in words
a translation Berstel, Jean | Departement de Mathematiques Et Informatique ; Université du Québec 1995

Ouvrage

- 84 p.
Cote : 00018465
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

Localisation : Ouvrage RdC (BERS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue