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


Sémantique Dénotationnelle d'un langage de programmation: 11 Occurrences trouvées
ence : ''A;B'' * la conditionnelle : ''if b then A'' * l'alternative : ''if b then A else B '... s : * conditionnelle : <jsm> \left[\!| if\;b\;then\;A |\!\right]\left(s\right) =</jsm> * <jsm>\... </jsm> * alternative | <jsm> \left[\!| if\;b\;then\;A\;else\; B |\!\right]\left(s\right) =</jsm> ... do } A |\!\right] = \left[\!| \text{if } b \text{ then } \left\{A; \text{while } b \text{ do } A\right\}
SQL Warehousing Tutorial: 9 Occurrences trouvées
will create a MARTS schema in the data model and then update the GSDB database with the changes. In th... lows that reference objects in the GSDB database. Then you extend the physical data model to add the MAR... ata for the fictional Great Outdoors company. You then create a data warehousing project and a physical ... bles), transform the data by using operators, and then export it into data targets (for example, a data
Détermination de la sémantique de Programmes: 7 Occurrences trouvées
<sub>i</sub>) ^ i+1 | W<sub>i+1</sub> = | if n>0 then | ^ i | | { n:= n-1; if n>0 then { | ^ i-1 | | { n:= n-1; if n>0 then { | ^ ... | | | ^ 0 | | { n:= n-1; bo... array} </jsmath> * W<sub>i+1</sub> = if k<n then * {k:=k+1;x:=x+k; if k<n then * {k:=k+1;x:=x+k; if k<n then * {k:=k+1;x:=x+k; if k<n then * ... i-3 imbrications de plus, p
TD 2 : Analyse Syntaxique Descendante: 7 Occurrences trouvées
contrôle d'un pseudo Pascal de la forme ''if ... then ...endif'', ''if...then...else...endif'', ''while... es sont des symboles terminaux. | I -> "if" C "then" B "endif" | | B -> id = E %%|%% I %%|%% J %%|%% W | | J -> "if" C "then" B "else" B "endif" | | W -> "while" C "do" B "endo" | - T ... T | e - T' -> I | W | A - I -> "if" C "then" T "endif" | "if" C "then" T "else" T "en
Hopping John: 5 Occurrences trouvées
k until tender. Steam rice separately until dry, then add rice to the peas and let simmer until the con... t. ((or more if needed)) | 3 cups | to cover, and then some | | onion | 1, optional | | | \$\frac{1}{... ts in pot , cover the pot and let come to a boil, then reduce heat and let peas simmer until tender--thi... (or withdraw salt?)) || Thoroughly wash the peas, then place them in a 3- to 4-qt casserole ((I prefer v
Eggnog Recipes: 4 Occurrences trouvées
e sugar, add the spirits (and, T-L adds milk) and then refrigerate for a couple of hours or more. In th... ixes everything together, refrigerates overnight, then mixes some more. ==== Cream Whipping and Folding... the cream and egg whites (separately, of course) then folds the cream into the egg whites before foldin... note to whip separately the egg whites and cream, then fold the cream into the yolk mixture, followed by
Formatting Syntax: 4 Occurrences trouvées
[doku>config]] file. Hint: If DokuWiki is a link, then it's enabled. * When a section's heading is cha... ernal) that is not an image (''gif, jpeg, png''), then it will be displayed as a link instead. For link... ay we should > Really? >> Yes! >>> Then lets do it! I think we should do it > No we sho... >> Well, I say we should > Really? >> Yes! >>> Then lets do it! ===== Tables ===== DokuWiki support
nanoweb installation in Ubuntu 10.10: 4 Occurrences trouvées
[|Download]], then extract it. Read INSTALL, run install-sh. Howeve... anoweb/nanoweb.conf''. Open a terminal (console), then type (if gedit is your text editor, otherwise sub... = /nanoconfig/ /usr/share/nanoweb-nanoconfig/ then save and exit. The links should now work, once on... to install the lynx text-only browser. One can then execute nanoctl status to see whether the htt
Enoncé: 4 Occurrences trouvées
t on poursuit une itération. * if lecture==' ' then return "n"; puisque <jsm>a^0 \neq a </jsm> * else right(1); * if lecture==' ' then return "y"; puisque <jsm>a^{1^2} = a </jsm> * else writ... * S1: <jsm>L_\sqcup </jsm>R * if lecture=='€' then return "n"; * else [lecture=='a'] <jsm>\sqcup... * S3: <jsm>L_\sqcup </jsm>R * if lecture=='€' then return "n"; * else [lecture=='a'] <jsm>\sqcup
III. Preuves de correction des programmes: 3 Occurrences trouvées
* {p /\ b} A {q}, {p /\ ~b} B {q} => {p} if ''b'' then A else B {q} * cas particulier de la conditio... {q}, {p /\ ~b} => {q} * => {p} if ''b'' then A else B {q} (en remplaçant B par skip). * Règl... elta\left(A\right)</jsm> | ^ Alternative | δ(if b then A else B) E = \\ δ(A)E si E(b)=vrai \\ δ(B)E s
Sémantique des Programmes Récursifs: 3 Occurrences trouvées
r de récursivité terminale. pgcd(a,b) = if b>0 then pgcd(b, a mod b) else a Version itérative (ave... e <jsm>n\in \mathbb{N}</jsm> facto(n) = if n=0 then 1 else n*facto(n-1) Le CPO considéré est l'ens... rogramme du calcul du pgcd. pgcd(a,b) = if b>0 then pgcd(b, a mod b) else a
An Idealized Re-Design of Collaborative Databases: 3 Occurrences trouvées
tate or solution possible with proven technology, then finding a way to achieve it. It deserves an artic... n to the whole world forever beginning next week, then the editor could limit availability to paying sub... back to paying subscribers (archival access) from then on. The editor might also wish to allow some rea
Ramequin forestière (et alii): 3 Occurrences trouvées
at it can be prepared in advance to ready-to-bake then baked just before serving. The basic recipe with ... ter and oil. When soft, add the flour to thicken, then the heavy cream off the heat. ===== Batter =====... dash of nutmeg Beat in, one by one: * 4 eggs then * 1 C coarsely grated Swiss cheese ===== Assem
Friday XIII: 2 Occurrences trouvées
+1 : a cycle of 7, returning to the same weekday, then advancing one. With these rules, one can constru... on of Holidays]] about "when does a year start." Then there is a treatment much like to one above appli
Prospects: 2 Occurrences trouvées
Recipes: 2 Occurrences trouvées
Aile de Raie - Sauce au Sauternes: 2 Occurrences trouvées
Ratpoison Window Manager: 2 Occurrences trouvées
R-Project: 2 Occurrences trouvées
Raffinement de Programmes: 2 Occurrences trouvées
Génération de code intermédiaire: 2 Occurrences trouvées
Spicy Baked Chicken: 2 Occurrences trouvées
JSMath Debug: 2 Occurrences trouvées
Pollo à la Vinagreta: 2 Occurrences trouvées
Analyse Descendante: 2 Occurrences trouvées
FAIN TD 1: 2 Occurrences trouvées
Frozen spinach with potatoes: 2 Occurrences trouvées
Design Patterns: 1 Occurrences trouvées
Civet de Canard: 1 Occurrences trouvées
Preuves de correction (suite): 1 Occurrences trouvées
College Rankings: 1 Occurrences trouvées
Advice Snippets & Resources: 1 Occurrences trouvées
rsync Overwrote a Newer File!: 1 Occurrences trouvées
Visitor: 1 Occurrences trouvées
what year might that have been?: 1 Occurrences trouvées
GNU Emacs Lisp Package Archive: 1 Occurrences trouvées
my css: 1 Occurrences trouvées
Color Contrast: 1 Occurrences trouvées
IV. Raffinement de Programmes: 1 Occurrences trouvées
el-get package manager for emacs: 1 Occurrences trouvées
Formal Concept Analysis: 1 Occurrences trouvées