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.
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.
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.
- 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.
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.
- 254 p.
Mathematics in science and engineering , 0029
Localisation : Ouvrage RdC (MARC)
algèbre # genre grammatical # grammaire # langage # langage formel # langage naturel # linguistique algébrique # linguistique mathématique # logique algébrique
03D05 ; 20M35 ; 68Q45 ; 68Q50 ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 211 p.
Prentice-Hall series in automatic computation
Localisation : Ouvrage RdC (HART)
algèbre de paire # contre réaction et erreur # décomposition d'un état # paire de partition # propriété de substitution # semigroupe et machine # structure algébrique des machines séquentielles # structure sans bouclage des machines
03D05 ; 68Q68
... 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.
- 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.
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.
- 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.
- 784 p.
ISBN 978-0-08-009571-4
Localisation : Oeuvres complètes RdC (NEUM)
Von Neumann # analyse numérique # calcul numérique de problème de flux # calcul à haute vitesse # conception des ordinateurs # conjecture de Kummer # développement en fraction continue # hydrodynamique # inversion numérique de matrice de grand ordre # logique probabiliste # oeuvres complètes # ordinateur électronique # statistique de la diffusion des neutrons # synthèse d'organisme fiable à partir de composant non fiable # théorie des automates générale et logique # équation parabolique
Von Neumann # analyse numérique # calcul numérique de problème de flux # calcul à haute vitesse # conception des ordinateurs # conjecture de Kummer # développement en fraction continue # hydrodynamique # inversion numérique de matrice de grand ordre # logique probabiliste # oeuvres complètes # ordinateur électronique # statistique de la diffusion des neutrons # synthèse d'organisme fiable à partir de composant non fiable # théorie des automates ...
03D05 ; 35-XX ; 60-XX ; 68Q68 ; 76Mxx
... 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.
- 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 [+]
