- Notice
Automates mathématiques, Théorie des
Vedette matière nom commun. S'emploie en tête de vedette.
Sous cette vedette, on trouve les documents sur les modèles mathématiques de dispositifs
intégrés à un système logique selon un algorithme donné. Cette théorie mathématique
sert à la représentation des dispositifs, mais ne s'intéresse aucunement à leur aspect
matériel
<Employé pour :
Automates, Théorie des
Machines, Théorie des
Théorie des automates mathématiques
Théorie des machines
Automates, Théorie des
Machines, Théorie des
Théorie des automates mathématiques
Théorie des machines
>>Terme(s) spécifique(s) :
Séparation (informatique)
Automates de Büchi
Groupes auto-similaires
Commande, Théorie de la
Apprentissage automatique
Automates
Codage
Commutation, Théorie de la
Complexité de calcul (informatique)
Informatique
Intelligence artificielle
Langages formels
Lindenmayer, Systèmes de
Machines séquentielles, Théorie des
Ordinateurs
Réécriture, Systèmes de (informatique)
Structure logique
Turing, Machines de
Séparation (informatique)
Automates de Büchi
Groupes auto-similaires
Commande, Théorie de la
Apprentissage automatique
Automates
Codage
Commutation, Théorie de la
Complexité de calcul (informatique)
Informatique
Intelligence artificielle
Langages formels
Lindenmayer, Systèmes de
Machines séquentielles, Théorie des
Ordinateurs
Réécriture, Systèmes de (informatique)
Structure logique
Turing, Machines de
Domaine(s) : 621
. - 510
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Machine theory http://id.loc.gov/authorities/subjects/sh85079341
- LCSH (Library of Congress Subject Headings) : Machine theory http://id.loc.gov/authorities/subjects/sh85079341
Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Automates mathématiques, Théorie des
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Automates mathématiques, Théorie des
Identifiant de la notice : ark:/12148/cb119395737
Notice n° :
FRBNF11939573
Création :
81/05/22
Mise à jour :
03/11/10