m

F Nous contacter

0

Documents  03D05 | enregistrements trouvés : 39

O

-A +A

P Q

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.

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

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

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

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

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


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.

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.

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.

- xiv; 728 p.
ISBN 978-0-521-89833-1

Encyclopedia of mathematics and its applications , 0138

Localisation : Collection 1er étage

méthode graphique # langage formel # logique mathématique # combinatoire # complexité # algorithme de théorie des graphes

68-02 ; 03B15 ; 03D05 ; 05C85 ; 05C90 ; 68Q45 ; 68R10

... Lire [+]

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

- 476 p.

Bibliothèque de l'ingénieur automaticien , 0009

Localisation : Ouvrage RdC (NASL)

circuit logique # automate

03D05 ; 68Q45 ; 93C85

... Lire [+]

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


ISBN 978-3-540-06345-2

Lecture notes in mathematics , 0328

Localisation : Collection 1er étage

axiomatisation # complétude MT[oméga indice 1] # construction de sous-ensemble étendue à oméga indice 1 # filtre d'ensemble co-final fermé # forme normale d'automate déterministe # indépendance de l'axiome de raccordement # lemme de forme prenex # méthode d'élimination des quantificateurs d'ensembles # méthode de décision pour MT[oméga indice 1,<] # oméga indice 0 # oméga indice 1 # ordinal dénombrable # système d'axiome pour MT[co] et pour MT[alpha] alpha < oméga # théorie du second ordre monadique axiomatisation # complétude MT[oméga indice 1] # construction de sous-ensemble étendue à oméga indice 1 # filtre d'ensemble co-final fermé # forme normale d'automate déterministe # indépendance de l'axiome de raccordement # lemme de forme prenex # méthode d'élimination des quantificateurs d'ensembles # méthode de décision pour MT[oméga indice 1,<] # oméga indice 0 # oméga indice 1 # ordinal dénombrable # système d'axiome pour MT[co] et pour ...

03-02 ; 03D05 ; 02G05 ; 02G10 ; 68-02

... 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-2-9029-1894-2

Bibliothèque pour la science

Localisation : Disparu

Gödel # IP= PSPACE # algorithme # automate # calculabilité # cryptographie quantique # désordre # hyperensemble # indécidabilité # informatique # informatique théorique # inférence inductive # logique # machine de Turing # paradoxe # preuve probabiliste # thermodynamique # virus

03D05 ; 03D10 ; 03D35 ; 68Q05 ; 94A60

... Lire [+]

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

- 268 p.
ISBN 978-2-7296-0372-4

Localisation : Ouvrage RdC (WOLP)

automate fini # calcul # complexité # fonction récursive # grammaire # langage # machine de Turing # non calculabilité

03D05 ; 03D10 ; 03D20 ; 68Q45 ; 68Q50

... Lire [+]

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

- 226 p.
ISBN 978-0-8176-3719-4

Progress in theoretical computer science

Localisation : Ouvrage RdC (STRA)

automate fini # jeu de théorie des modèles # langage formel # langage régulier # langage régulier et complexité de circuit # logique du premier ordre # logique formelle # mot et langage # quantificateur modulaire # semi-groupe et homomorphisme # semi-groupe fini # théorème de Krohn-Rhodes # théorème de catégorie

03B10 ; 03Cxx ; 03D05 ; 20F10 ; 20M35

... Lire [+]

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

- 1273 p.
ISBN 978-0-444-88074-1

Handbook of theoretical computer science

Localisation : Ouvrage RdC (Hand)

automate fini # base de données relationnelle # calcul distribué # lambda calcul # langage formel # langage libre de contexte # logique des programmes # logique temporelle et modale # modèle formel # processus concurrents # programmation fonctionnelle # programmation logique # programmation temporelle et modale # réécriture de graphe # système à réécrire # sémantique # série de puissance

03D05 ; 68N17 ; 68Q42 ; 68Q45 ; 68Q68

... Lire [+]

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

- 318 p.
ISBN 978-2-84074-065-0

Localisation : Ouvrage RdC (STER)

LIPS # PROLOG # Pascal # analyse syntaxique # automate # calcul # calcul propositionnel # fonction récursive # fondement # grammaire # langage # le LIPS # machine de Turing # mathématique de l'informatique # turbo pascal

03B05 ; 03D05 ; 03D20 ; 68Q05 ; 68Q68

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

Z