Recherche

Voici les résultats de votre recherche. Si vous n'avez pas trouvé ce que vous cherchiez, vous pouvez créer ou modifier la page correspondante à votre requête en cliquant sur le bouton approprié.

Résultats


Spécification Algébrique: 13 Occurrences trouvées
eurs types de données par une **signature** et un ensemble d'**axiomes**.!! ?? signature :: un ensemble de noms de types appelés **sortes** et un ensemble de noms d'opérations tels que chaque nom d'opérat... **termes de même sorte**.!! Une signature et un ensemble de variables sortées (associées à une sorte) définit (engendre) un ensemble d'expressions bien formées appelées **termes**. ?? terme :: un terme
FAIN TD 1: 13 Occurrences trouvées
|7| | 0 |1|2|3|4|5|6|7| | 0 |1|2|3|4|5|6|7| | | ensemble 1 |||||||| | ensemble 2 |||||||| | ensemble 3 |||||||| | ensemble 4 |||||||| - ensemble 1 est 4-connexe, et donc 8-connexe (aussi) - ensemble 2... des pixels du reste. Mais on peut reconnaître un ensemble 4-connexe [(3,3),(3,4),(3,5)] est une figure 8-connexe, ou 4 ensembles 4-connexes. - ensemble 3 est 4-connexe, et donc 8-connexe (aussi). - ense
Recensement de codes circulaires: 11 Occurrences trouvées
up>-1 possibilités à étudier (la cardinalité de l'ensemble des parties de l'ensemble des trils après avoir é... est admissible et cessant l'exploration dès qu'un ensemble est maximale; * soit à partir des ensembles max... blablement il y a des permutations qui donnent un ensemble identique à ce que donnent d'autres qu'il ne faut... pour chaque tril p<sub>i</sub>s<sub>i</sub> de l'ensemble, s<sub>i</sub> p<sub>i</sub> (soit P(p<sub>i</sub
Codes Circulaires: 11 Occurrences trouvées
r, il y a beaucoup moins, car on peut segmenter l'ensemble en vingt "familles" de trois symboles, sachant qu... bres d'une famille peut être présent dans un sous-ensemble satisfaisant les contraintes. Cela nous laisse né... he par taille (longueur) des ensembles. Pour les ensemble de trois symboles, exemple, il y a Combi(20,3) po... ts. La taille (25 octets) de la description d'un ensemble est arbitraire mais même en réduisant à un quart
Sémantique des Programmes Récursifs: 8 Occurrences trouvées
ixe. ==== Théorème du Point Fixe ==== Soit E un ensemble partiellement ordonné (≤) et tel que (E,≤ ) est i... hen 1 else n*facto(n-1) Le CPO considéré est l'ensemble E des fonctions de **//N//** dans **//N//**, muni... se a Le CPO considéré est l'ensemble E des fonctions de <jsm>\mathbb{N}^2 \rightarrow ... z -> a::(concat z y);; Le CPO considéré est l'ensemble E des fonctions de L×L -> L où L est l'ensemble d
6. Codes Circulaires: 6 Occurrences trouvées
===== ===== Définitions ===== ?? code :: un ensemble X de A<sup>+</sup> est un code sur A si pour chaq... >i</sub> pour i=1,...,n. !! ==== Exercice ==== L'ensemble A<sup>3</sup><sub>4</sub> est-il un code? Oui : ... rs u, v ∈ X<sup>*</sup>. !! ==== Exercice ==== L'ensemble A<sup>3</sup><sub>4</sub> est-il un code comma-fr... s un factorisation avec X. ==== Exercice ==== L'ensemble A<sup>3</sup><sub>4</sub> est-il un code circulai
Sémantique Dénotationnelle d'un langage de programmation: 6 Occurrences trouvées
'effet du programme sur un état mémoire : | f: | ensemble des états mémoire | -> | ensemble des états mém... . Le domaine sémantique du langage "L" est dont l'ensemble des fonctions de S dans S où S est l'ensemble des... ication de l'ensmeble des identificateurs dans un ensemble de valeurs. Dans la suite, on notera : * <jsm>... , c'est à dire qui n'est définie que sur un sous-ensemble des états mémoire. * Afin de définir la séman
Les projets SI: 6 Occurrences trouvées
omis est très important, il s'agit de la vision d'ensemble du système. (résumé des fonctions et de l'archite... ication propriétaire). ==== E. Les tests (vue d'ensemble) ==== Vision d'ensemble du test Les tests perme... mise en place du système doit comprendre aussi l'ensemble des processus qui permettent son utilisation et s... t risquer de perdre tout le travail déjà fait) L'ensemble de la sécurité doit être décrit : * quels sont
Définitions: 5 Occurrences trouvées
Alphabet et Mots ===== ?? un alphabet :: un ensemble fini non vide dont les éléments sont appelés des ... e est appelée le **mot vide** et noté ε.!! * L'ensemble des mots sur l'alphabet A est noté A<sup>*</sup> * L'ensemble des mots sur l'alphabet A excepté le mot vide ε est noté A<sup>+</sup> * <jsm>A^{+}... <=> | |x|=|y| x[i]=y[i] pour 0 ≤ i ≤ |x|-1. L'ensemble des lettres sur lequel est formé le mot x est not
Sémantique d'une Spécification: 5 Occurrences trouvées
. ?? modèle :: soit Σ une signature et E un ensemble d'axiomes de cette signature. Une Σ-algèbre qui v... isirons la sémantique d'une spécification parmi l'ensemble des modèles. Selon les modèles retenus, la sémant... fusions ===== Parmi les modèles, certains ont un ensemble support trop grand au sens où un élément n'est l'... n anglais). Inversement, certains modèles ont un ensemble support trop petit au sens où un élément est l'in
Fonctions numériques: 5 Occurrences trouvées
right)\right) \$ * On notera f=DR(g,h) | L'ensemble de fonctions primitives récursives est le plus petit ensemble de fonctions arithmétiques qu'on peut définir avec les fonctions de base (a), (b) et (c... * div(m,n) sinon ==== Dénombrabilité ==== L'ensemble des fonctions primitives récursives est dénombrable. * C'est un ensemble de mots sur l'alphabet \$ \Sigma_{pr} = \left\{zero, id, 0, 1,\circ , \ma
Automates de Localisation: 5 Occurrences trouvées
e F ==== Les états ==== Un automate comporte un ensemble A des états "acceptants"; ici on considère qu'un ... retourne (un pointeur sur) un état non terminal d'ensemble des successeurs étiquetés vide. * CIBLE(p,a) : ... est défini de la façon suivante : * Préf(X) : l'ensemble des états * ε : état initial * X : l'ensemble des états terminaux (acceptant) * flèches (transitions) sont de la forme :(u,a,ua) ((pourquoi 'u,
Grammaire générale (déf.): 5 Occurrences trouvées
<jsm>G=\left(V, \Sigma, R, S\right)</jsm> * V = ensemble de symboles * <jsm>\Sigma \subset V </jsm> : ensemble de symboles terminaux * <jsm>\left( V \setminus \Sigma \right)</jsm> : ensemble des symbole... inus \Sigma \right)</jsm> : start symbole * R : ensemble des règles, sous-ensemble fini de <jsm>V^* \left(
Résumé -- Analyse Syntaxique: 4 Occurrences trouvées
grammaire. Cette technique ne marche que pour un ensemble limité de grammaires, et les restrictions d'appar... (look ahead) est dans <jsm>\sigma</jsm>, un petit ensemble de symboles calculé exprès pour répondre à cette ... (0) avec qu'une petite perte de puissance. * Un ensemble d'items LR a un conflit ''shift/reduce'' si un it... n, compte tenu du symbole suivant (lookahead). Un ensemble d'items LR a un conflit ''reduce/reduce'' si deux
Close by One: 4 Occurrences trouvées
Automate (ou machine) à états finis: 3 Occurrences trouvées
Adjacence des Composantes Connexes: 3 Occurrences trouvées
I. Machines de Turing: 2 Occurrences trouvées
Mon anniversaire, hier: 2 Occurrences trouvées
Classification non-supervisé: 2 Occurrences trouvées
Topologie digitale: 2 Occurrences trouvées
Introduction: 2 Occurrences trouvées
Machine de Turing: 2 Occurrences trouvées
Normes et Réglementations: 2 Occurrences trouvées
FAIN : Cours 1: 2 Occurrences trouvées
Interrogation écrite: 2 Occurrences trouvées
Fondements de la programmation: 2 Occurrences trouvées
Introduction: 1 Occurrences trouvées
Introduction: 1 Occurrences trouvées
TP 3: GaussInt: 1 Occurrences trouvées
Les Systèmes en Production: 1 Occurrences trouvées
Droit et contrat.: 1 Occurrences trouvées
Supports de Cours C. Wemmert: 1 Occurrences trouvées
Arbres de Décision: 1 Occurrences trouvées
Composition de Machines de Turing: 1 Occurrences trouvées
V. Gestion de la table des symboles: 1 Occurrences trouvées
SLR (suite): 1 Occurrences trouvées
Algorithmes de fermeture: 1 Occurrences trouvées
Analyse Syntaxique (2): 1 Occurrences trouvées
Travail Encadré de Recherche: 1 Occurrences trouvées
Format Fichier CSV: 1 Occurrences trouvées
Elections (2/2): 1 Occurrences trouvées
Election (1/2): 1 Occurrences trouvées
TD2 Remplissage: 1 Occurrences trouvées
Structures de données: 1 Occurrences trouvées