https://get-the.net/ 2026-06-30T01:17:52+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2010-05-24T08:19:25+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_2&rev=1274681965&do=diff II. Sémantique d'un langage de programmation NB On ne peut donner un sens à un énoncé que s'il est bien typé. Les types sont des éléments essentiels dans la construction des programmes. Ils sont liés à des notions de spécification de de preuve (spécification algébrique de types) que nous développerons dans un chapitre dédié. La sémantique d'un langage de programmation est ce qui donne la signification aux programmes, les notions permettant de définir formellement les opérations sur les don… text/html 2010-03-04T18:25:38+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_td_2a&rev=1267723538&do=diff Maurice Lanselle M1-ILC Définition par cas * mult(0, m) = 0 * mult(1, m) = m * mult(n0, m) = add(mult(n,m),mult(n,m)) * mult(n1, m) = add(add(mult(n,m),mult(n,m)), m) Montrons par induction structurelle sur nat que * Premier cas : * Second cas : text/html 2010-01-31T10:16:18+02:00 https://get-the.net/doku.php?id=contrast&rev=1264929378&do=diff Color Contrast It seems there are several steps to the calculation of color contrast: * Convert from 0-255 values to 0-1 values: * * * * Adjust that conversion for some non-linearity: * If then , otherwise. * Same adjustment for G and B. text/html 2010-05-27T21:39:41+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_a&rev=1274989181&do=diff Les types sont des éléments importants dans la construction des programmes. Dans cette partie, nous présentons un cadre qui permet de définir formellement les types et les opérations sur les objets de ces types. Ce cadre est celui des spécifications algébriques. text/html 2010-01-10T08:54:38+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td1&rev=1263110078&do=diff FAIN TD 1 Exercice 1 Reconnaitre des figures 4-connexes et 8-connexes. 7 7 bb b b 7 7 6 6 c d 6 6 5 5 c a d 5 5 4 4 c a d 4 4 3 3 c a d 3 3 2 2 c d 2 2 1 1 dd d d d 1 1 0 0 0 0 0 1234567 0 1234567 0 1234567 0 1234567 ensemble 1 ensemble 2 ensemble 3 ensemble 4 * ensemble 1 est 4-connexe, et donc 8-connexe (aussi) * ensemble 2 n'est ni 4-connexe, ni 8-connexe puisque la “barr… text/html 2010-01-08T13:05:21+02:00 https://get-the.net/doku.php?id=m1ilc:fain_segments&rev=1262952321&do=diff Algorithmes de tracé de segments de droites Problème: étant donné deux points P et Q de coordonnées entières, afficher le segment de droite PQ. C'est à dire, déterminer les pixels approximant le segment et donnant l'impression visuelle. Rappel: Droite de pente k passant par un point et de vecteur directeur . text/html 2010-04-15T13:25:47+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_td_2&rev=1271330747&do=diff Le langage "nat" des suites binaires * sémantique : entiers naturels * syntaxe : représentation unaire Grammaire arithmétique C -> 0 | 1 | ... | 9 N -> C+ E -> N | E+E | E-E | E*E V -> a | b | ... | z Donner sa sémantique dénotationnelle * et * * * * text/html 2010-05-25T20:29:59+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_5&rev=1274812199&do=diff Principe Les principaux modèles probabilistes de l'évolution des gènes et génomes sont les modèles de substitution de lettres au cours du temp et leurs extensions aux modèles de substitution de motifs. Il existe quatre hypothèses probabilistes sur le processus de substitution : text/html 2013-04-28T18:45:25+02:00 https://get-the.net/doku.php?id=recipes&rev=1367167525&do=diff Working long hours and raising children at the same time didn't leave me long hours to prepare meals every day. I also tried to limit my grocery shopping to once a week--on Saturday like everyone else! I'd make a menu plan for the week, prepare my shopping list accordingly (I even had an order-form like sheet I printed with the computer, with product categories arranging in the order of the aisles in my regular supermarket), and shop around noon, when most people were at lunch. text/html 2010-10-03T11:29:44+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_ex_5&rev=1286098184&do=diff Enoncé Trouver/concocter une MT grammaire qui valide engendre . pas sûr que c'était à rendre; j'ai modifié l'énoncé pendant ma réflexion (!) et trouvé (je crois) une MT (machine de Turing) qui vérifie L au lieu d'une grammaire qui l'engendre. text/html 2010-01-01T12:40:57+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_7&rev=1262346057&do=diff Classification non-supervisé Regroupement et modélisation Ici, le but est de trouver une description compacte permettant de résumer et décrire des objets à partir des données initiales (copieuses). Ceci s'inscrit dans la fouille exploratoire et descriptive et “summarization” . Des approches peuvent être empruntées: text/html 2009-10-11T16:33:26+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_def_2&rev=1255271606&do=diff Configuration (d'une MT) Soit une machine de Turing. Une configuration de M est un élément de text/html 2009-10-11T16:26:36+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_def_1&rev=1255271196&do=diff Machine de Turing Une machine de Turing (MT) est un quintuplet où * K est un ensemble fini d'états * est un alphabet (fini) contenant les symboles (blanc) et (début de mot) * : état initial * : ensemble des état d'arrêt * : fonction de transition * * text/html 2010-04-10T09:36:56+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_3&rev=1270885016&do=diff Sémantique Dénotationnelle d'un langage de programmation Consiérons maintenant un langage de programmation impérative simplifié (que nous appellerons “L”) comportant : * instructions de base * l'affectation : x := expr * l'instruction vide : skip text/html 2010-02-08T09:08:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_td_1&rev=1265616491&do=diff Raisonner pour programmer Où l'on cherche à exprimer formellement un problème et à établir les liens entre les différentes formes d'énoncés. Quelques problèmes classiques Pour chacun des problèmes suivants : * Préciser données et résultat * Écrire un énoncé qui qualifie le résultat * Écrire un énoncé qui définit le résultat * Écrire un programme impératif en langage C. text/html 2010-02-01T10:46:28+02:00 https://get-the.net/doku.php?id=fca&rev=1265017588&do=diff Resources * Best place to start for link and examples: FCA Home. Unfortunately, there seems to be little or no information provided about the algorithms, languages, and interoperability (file formats, e.g.) of the various tools listed. I'll try to remedy that here. text/html 2010-10-22T09:37:57+02:00 https://get-the.net/doku.php?id=latex_math&rev=1287733077&do=diff LaTeX Math Symbols You may be looking for a list of LaTeX Math (and other) symbols, and the best place to look is * symbols-a4.pdf, a pdf document containing many, many symbols, listed by type (binary relations, arrows, etc.) and package. This list is also available by ftp, and in letter (i.e. ) format at * text/html 2010-10-08T14:44:03+02:00 https://get-the.net/doku.php?id=m2ilc:design_patterns&rev=1286541843&do=diff Contents * Introduction * What is a Design Pattern? “Each pattern describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can use this solution a million times over, without ever doing it the same way twice.” In general, a pattrn has four essential elements * The pattern name * The problem describes when to apply the pattern * The solution describes the elements that make up th… text/html 2011-01-21T09:14:14+02:00 https://get-the.net/doku.php?id=start&rev=1295597654&do=diff WordCloud As it grows, the list of most-used words will change : Le nuage des mots fréquents sur ce site évoluera avec l'évolution du contenu . En Anglais d'Abord This is where this wiki-powered website begins . It (get the net) doesn't have a mission or well-defined purpose; it only exists because I liked (and registered) the domain name, inspired by a scene near the beginning of Wayne's World. At present, you'll mostly find my transcribed notes from school, in French, and maybe some blog… text/html 2009-10-20T17:03:39+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_def_6&rev=1256051019&do=diff Grammaire générale (déf.) Une grammaire générale est un quadruplet: * * V = ensemble de symboles * : ensemble de symboles terminaux * : ensemble des symboles non-terminaux * : start symbole * R : ensemble des règles, sous-ensemble fini de où contient au moins 1 symbole non-terminal text/html 2014-09-15T20:01:06+02:00 https://get-the.net/doku.php?id=recipes:joes_special&rev=1410804066&do=diff Joe's Special " L.A. Times California Cookbook, p. 202" For 4-6 : 1 Tb butter 1 Tb olive oil 1 lb ground beef Cook beef in large, heavy skillet w/ oil, butter, until browned and crumbly. 1 onion, diced Add onion and cook until tender but not browned 1/2 tsp basil 1/4 tsp marjoram 1/4 tsp oregano 1 tsp salt 1/4 tsp ground pepper Stir in seasonings 1/2 lb. spinach (chopped, cooked) Stir in spinach, cook until “dry”. 4 eggs, beaten … text/html 2009-12-24T14:10:35+02:00 https://get-the.net/doku.php?id=recipes:spicy_baked_chicken&rev=1261660235&do=diff Spicy Baked Chicken * Prepare marinade: * tsp ground cumin * tsp ground paprika * tsp ground cayenne -- reduce or omit if you prefer less spicy, it will still be very tasty. * tsp ground turmeric * tsp ground black pepper * tsp salt * 1-2 cloves garlic, mashed * 3 Tb lemon juice text/html 2012-11-20T15:04:40+02:00 https://get-the.net/doku.php?id=shoes_slip_on&rev=1353420280&do=diff Like many people, my feet are not quite the same size. Not enough to be a problem, but I tend to prefer shoes with laces to slip-on shoes because it is easier (nay, possible!) to match the tightness. I do have a couple of pair, only one of which I've worn much. The other has a little strap across the front that was a little too tight, and it snapped one of the first times I wore them; I tried gluing it back (didn't hold), but I'm not going to pay for a repair that costs more than the shoes did! text/html 2010-01-06T21:20:43+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_a&rev=1262809243&do=diff II.4 Problèmes Indécidables Théorème (rappel) * H n'est pas récursif * Il existe des langages récursivement énumérables qui ne sont pas récursifs * La classe des langages récursivement énumerables n'est pas stable par complément * Exemple : * H n'est pas récursif et n'est pas récursivement énumerable. text/html 2010-05-20T13:33:04+02:00 https://get-the.net/doku.php?id=m1ilc:search_automates&rev=1274355184&do=diff Implantation Informatique La mise en oeuvre informatique est basée sur les files, les états et les . Opérations de base pour les files : * FILE_VIDE() crée puis retourne (un pointeur sur) une file vide * FILE_EST_VIDE(F) retourne vrai si la file F est vide et faux sinon * ENFILER(F,x) ajoute l'élément x en queue de la file F (c'est une file, pas une pile) * TETE(F) retourne l'élément situé en tête de la file F sans l'enlever * DEFILER(F) supprime l'élément en tête de la file F * … text/html 2010-05-20T11:26:28+02:00 https://get-the.net/doku.php?id=m1ilc:search_fsm&rev=1274347588&do=diff Automate (ou machine) à états finis Machine abstraite définie par un quintuplet (Q, ∑, T, s, A), avec : * Q, ensemble fini d’états, * , alphabet fini, * T, fonction de transition ()‏ * qd, état de départ ∈ Q * A, ensemble d’états « acceptants » ∈ Q text/html 2009-04-15T11:41:28+02:00 https://get-the.net/doku.php?id=recipes:pita_bread&rev=1239788488&do=diff Pita Bread This recipe comes from the Los Angeles Times California Cookbook. I've never actually used it as it was intended, but only to make pizza. The people who run a Turkish restaurant nearby make their own bread and use the same dough for pizza (suçuk pizza!); however, they don't put oil in their dough, or so they told me. text/html 2010-01-08T12:54:00+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_3&rev=1262951640&do=diff Election dans un graphe quelconque Maillage complet et diffusion Soit l'algorithme du plus fort (bully algorithme) de Garcia-Molina: Le site initiateur diffuse le message à tous les processus. Puis il attend. A la réception d'un un processus répond text/html 2009-08-06T20:46:53+02:00 https://get-the.net/doku.php?id=wiki:syntax&rev=1249584413&do=diff DokuWiki supports some simple markup language, which tries to make the datafiles to be as readable as possible. This page contains all possible syntax you may use when editing the pages. Simply have a look at the source of this page by pressing the Edit this page button at the top or bottom of the page. If you want to try something, just use the playground page. The simpler markup is easily accessible via quickbuttons, too. text/html 2010-01-03T12:02:19+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_2&rev=1262516539&do=diff Réseaux de Neurones 1. Introduction Fonctions d'activation * seuil : f(s) = 0 si s <= k, f(s)=1 si s>k. On dit qu'on a un réseau neuronal vraiment symbolique * linéaire : f(s) = -1 si s <= -1/k, 1 si s > 1/k, k*s ailleurs * sigmoide : . Si k est grand, f(s) est proche de 0 ou de 1 pour presque toutes les valeurs de s. On dit qu'on a un réseau neuronal relativement symbolique * ou autre : gaussienne, à valeurs discrètes, etc;