m

Documents  03D05 | enregistrements trouvés : 39

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.

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (OXFO)

03-06 ; 03D05 ; 03Dxx

... Lire [+]

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

- 456 p.
ISBN 978-3-540-13331-5

Lecture notes in computer science , 0171

Localisation : Collection 1er étage

algorithme # automate # complexité # indécidabilité # logique # machine

03D05 ; 20F10 ; 68Q30 ; 68Qxx

... Lire [+]

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

- 508 p.
ISBN 978-3-540-96022-5

Lecture notes in computer science , 0170

Localisation : Collection 1er étage

algèbre # automatique # engineering # logique mathématique # logique symbolique

03D05 ; 68Q68

... Lire [+]

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

- 215 p.
ISBN 978-0-387-15641-5

Lecture notes in computer science , 0192

Localisation : Collection 1er étage

arbres # automate # informatique théorique # logique

03D05 ; 68Q68 ; 68Qxx

... Lire [+]

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

- 272 p.
ISBN 978-3-540-54377-0

Lecture notes in mathematics , 1478

Localisation : Collection 1er étage

Q-polynome # S-plynome de Schur # algèbre # application algébro-géométrique # catégorie dérivée # corps gauche de série de Laurent # espace projectif pondéré # expression rationnelle sur anneau # groupe fini # invariant du groupe symétrique # opérateur différentiel semi-invariant # représentation # sous-corps de fraction rationnelle # structure algébrique et géométrique # théorie de la déformation # théorie des invariants # tore

03D05 ; 05A99 ; 12E15 ; 13D25 ; 14M15

... Lire [+]

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


ISBN 978-0-8405-0073-1

SMS , 0021

Localisation : Salle de manutention

grammaire à deux variables # grammaire à trois variables # grammaire à une variable # logique du premier ordre # modèle généralisé # modèle relativisé # modèle standard # relation d'égalité non-standard # relativisation # système déductif # système logique avec nombre fini de symboles # univers relativisé

03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05

... Lire [+]

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

Localisation : Colloque 1er étage

H- accrétivité # analyse d'image # automate cellulaire # configuration effaçable # croissance des plantes # ensemble fonctionnellement complet # espace discret # inéquation variationnelle stationnaire # jardin d'Edin # organisation biologique # système de type cellulaire # système réparti # tableau cellulaire de microprocesseur # transformation linéaire aux noeuds d'un graphe # tri de proximité # verre de spin

03D05 ; 68-06 ; 68Q80

... Lire [+]

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

Research School;Computer Science;Logic and Foundations

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 School;Computer Science;Logic and Foundations

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.

- 451 p.
ISBN 978-0-12-234001-7

Pure and applied mathematics , 0059

Localisation : Ouvrage RdC (EILE)

automate # générale # théorie des automates

03D05 ; 94A25 ; 94A30

... Lire [+]

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

- 637 p.
ISBN 978-0-387-12044-7

Localisation : Ouvrage RdC (Auto)

03-04 ; 03B35 ; 03Bxx ; 03Cxx ; 03D05

... Lire [+]

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

- 160 p.
ISBN 978-2-225-80266-9

Etudes et recherches en informatique

Localisation : Ouvrage RdC (PIN)

hiérarchisation # informatique théorique # langage des automates # langage rationnel # langage testable # semi-groupe # structure des semi-groupes finis # théorème de Schutzenberger # théorème de Simon # variété de groupes # variété de langages

03D05 ; 68Q68 ; 68Qxx

... Lire [+]

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

- 352 p.
ISBN 978-0-12-597140-9

Pure and applied mathematics , 0090

Localisation : Ouvrage RdC (ROZE)

grammaire d'itérations # homomorphisme unique itéré # langage formel # plusieurshomomorphisme itérés # substitution finie simple itérée # système iL # systèmes DOL,OL,EOL,TOL,ETOL # théorie mathématique des systèmes L

03D05 ; 68Q42 ; 68Q45 ; 68Q50

... Lire [+]

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

Localisation : Disparu

03D05 ; 68C05 ; 68E10

... Lire [+]

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


ISBN 978-3-540-09501-9

Lecture notes in mathematics , 0718

Localisation : Collection 1er étage

complexite # deductibilite # informatique theorique # logique # recessivite # systeme logique classique

02B10 ; 03D05 ; 02G05 ; 68A40 ; 69A20

... Lire [+]

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

- 21 p.
ISBN 978-0-8218-1663-9

CBMS regional conference series in mathematics , 0013

Localisation : Collection 1er étage

analy se combinatoire # automate sur des objets infinis # problème de church # théorie de la machine

03D05 ; 94A30

... Lire [+]

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

- Pp. 76-131

Actualités scientifiques et industrielles , 0609

Localisation : Ouvrage RdC (CAVA)

adjonction d'idéaux # axiomatique # catégoricité # fonction récurrente # indépendance # non contradiction # problème du continu # saturation # système formel

03D05 ; 03E50 ; 04A30 ; 43A60 ; 68Q45

... Lire [+]

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

- 160 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (Comp)

analyse d'inférence # déduction # heuris tique # informatique théorique # mathématique mécanique # mécanisation de la théorie des équations # méthode de la preuve # programmation informatique # système formel # théorie algébrique des langages à contexte libre # théorie des automates

03D05 ; 03Fxx ; 68Q45 ; 68Q68 ; 68Qxx

... Lire [+]

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

- 81 p.

Lectures in advanced mathematics , 0003

Localisation : Ouvrage RdC (ENGE)

automate # grammaire formelle # langage algorithmique # langage formel # machine séquentielle # signature des programmes # structure mathématique # théorie algorithmique des nombres

03D05 ; 68Q45 ; 68Q50

... Lire [+]

Z