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.
- 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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.
Research schools;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 schools;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.
- 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.
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.
- 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.
- 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.
- 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.
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.
- 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.
- 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.
- 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.
