https://get-the.net/ 2026-09-14T20:26:04+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2011-05-10T17:55:20+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_tp_rapport&rev=1305042920&do=diff étudiants M2ILC FRIGUI Rassil LANSELLE Maurice Question 1) Aperçu des données * On s'intéresse maintenant aux données D1. Lire le README et comprendre la structure des fichiers plats movies.dat, users.dat et ratings.dat * a) Quel est le nombre moyen de notes par utilisateur ? * b) En moyenne quel est le pourcentage de films notés par un utilisateur ? 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 2010-05-23T16:14:05+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_2&rev=1274624045&do=diff Introduction Algorithme Naïf Pour perspective, partons de l'algorithme naïf et le calcul de son complexité. L'algorithme naïf cherche un mot x de longueur |x|=m dans un texte y de longueur |y|=n. Il étudie tous les cas possibles, en comparant x au contenu d'une fenêtre glissante sur y de longueur m. text/html 2010-01-05T06:39:03+02:00 https://get-the.net/doku.php?id=m1ilc:compil_3&rev=1262669943&do=diff Analyse Syntaxique (2) Analyse Ascendante Ceci conduit à des analyseurs plus puissants au sens où elle réussit avec un sur-ensemble stricte de grammaires. Exemple La grammaire G0 mais sans la multiplication * E -> E + T * E -> T * T -> (E) * T -> id text/html 2010-02-18T13:32:12+02:00 https://get-the.net/doku.php?id=java:nary&rev=1266496332&do=diff L'extraction de concepts par treillis de Galois sur les relations binaires peut être vu comme une spécialisation d'une procédure d'élaboration des intents et extents plus générale. Les Données en Entrée Relation Binaire Lorsqu'on traite un contexte binaire, chaque objet est décrit par la liste de ses attributs, soit sous forme de liste, soit sous forme d'un vecteur binaire ou logique indiquant pour chaque attribut présence ou absence. Les opérations de fermeture sont intersection pour les i… text/html 2010-11-08T17:50:46+02:00 https://get-the.net/doku.php?id=m2ilc:uml_exo_4&rev=1289235046&do=diff Exo 4 Modéliser un système permettant d'effectuer un virement bancaire (avec contrôle d'identité) distant (via internet ou un minitel) ou local (directement à l'agence). Pour cela il faut: * Déterminer les acteurs et les relations d'héritage entre acteurs (si nécessaire) * Déterminer les use cases * Déterminer les relations entre acteurs et Use cases * Déterminer les relations entre les différents use cases * Si VB (distant ou local) > 1000 Euros vérifier le CB et si VB > 1000000 eu… text/html 2010-04-13T06:16:39+02:00 https://get-the.net/doku.php?id=fca:fuzzy_csv&rev=1271132199&do=diff  Format Fichier CSV Traits & Modalities Les deux premières lignes doivent contenir les libellés des traits et de leurs modalités, dans cet ordre, avec * deux premières colonnes vides, ou avec titres qui seront oubliés. * lorsqu'un trait a plusieurs modalités, le libellé du trait doit paraitre dans la même colonne que le libellé de sa première modalité, et les colonnes des autres modalités doivent être vides (mais pas fusionnées, sinon l'alignement des autres traits avec leurs modalité… text/html 2010-05-24T11:18:12+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_c&rev=1274692692&do=diff Dans ce chapitre, nous présentons la logique dite équationnelle, utilisée pour faire la preuve de théorèmes et nous établissons le lien entre les théorèmes d'une spécification et les propriétés des opérations dans les modèles de la spécification. text/html 2011-06-07T19:15:43+02:00 https://get-the.net/doku.php?id=m2ilc:parallelisme&rev=1307466943&do=diff Applications Distribuées * Prof. Stéphane Genaud * Prof. Stéphane Vialle pour sa page perso, et page avec supports spécifique à notre cours. * * " Objectif : connaître les technologies disponibles pour réaliser des traitements (et stockage?) informatiques répartis." text/html 2009-12-19T15:18:55+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_tp&rev=1261232335&do=diff TP Clustering Introduction K-Means Clustering Exercice 2.2 Dans le premier résultat, on lit : Class attribute: play Classes to Clusters: 0 1 2 <-- assigned to cluster 1 3 5 | yes 1 3 1 | no Cluster 0 <-- No class Cluster 1 <-- no Cluster 2 <-- yes Or, les clusters portent des labels “yes”, “no”, et “No class”. Le cluster #1 contient 3 des 5 “no”, le cluster #0 contient 5 des 9 “yes” : ces clusters contienent des majorités des instances de ces deux classes et se voient attr… 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 2010-11-10T14:04:52+02:00 https://get-the.net/doku.php?id=m2ilc:uml_jour_2&rev=1289394292&do=diff Basée sur RUP. Analyse/conception adaptée à leur (celui de C-S) métier. a.k.a. UML-NEPTUNE Requirements Analysis Deux type d'acteurs, * external entity (fournisseurs de données, notamment) * active actor : interagit avec le système On recense les acteurs, et les classe. On va les décrire par text/html 2010-02-06T18:59:27+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_1&rev=1265479167&do=diff Fondements de la programmation Un objectif de ce cours est de découvrir sur quoi repose la programmation en se basant sur l'étude des programmes et des langages. Les langages révèlent des modes de programmation. Mais qu'est-ce qu'un mode de programmation? text/html 2010-04-21T10:51:25+02:00 https://get-the.net/doku.php?id=fainbis_applications&rev=1271839885&do=diff <philippe.foucher@developpement-durable.gouv.fr> Laboratoire Régional des Ponts et Chaussées Imagerie-méthodes optiques -- prennent des stagéaires. Plan * Problématique * Détection de la signalisation * informations géométiques * Informations colorimétiques * Combinaison des deux text/html 2010-05-13T22:29:20+02:00 https://get-the.net/doku.php?id=java:tondeuse&rev=1273782560&do=diff Enoncé Projet de optimisation stochastique : optimisation évolutionnaire de FSM * Tondre un terrain par un automate à états finis. * Terrain de 1024×768 * Tondeuse de 10×10 * Avance case par case * 20 arbres dans le terrain, répartis aléatoirement, de 10×10. * Position initiale aléatoire. * Détection de choc / détection de périmètre. * Détection de l'herbe coupée. text/html 2009-12-29T13:33:07+02:00 https://get-the.net/doku.php?id=m1ilc:edid_td_3&rev=1262089987&do=diff Tutoriel d'exploration de données Module 1 : modèle d'association Recherche de relations dans vos données à l'aide d'un modèle d'association " Un modèle d'association recherche des schémas dans vos données en décernant des associations entre des articles. Un modèle d'association recherche ces schémas en appliquant la formule “Les clients qui achètent le produit A achètent aussi le produit B.” " text/html 2009-11-16T19:36:02+02:00 https://get-the.net/doku.php?id=m1ilc:compil_9&rev=1258396562&do=diff VI. Optimisation du Code Intermédiaire Introduction La phase d'optimisation de code prend en entrée du code intermédiaire et retourne en sortie du code intermédiaire “optimisé.” Elle a lieu avant la phase de génération de code. Donc, les optimisations qui sont réalisées sont indépendantes de la machine cible. La plupart de ces optimisations concernent les boucles car généralement ceux sont ces parties du code qui sont les plus consommatrices de temps CPU. text/html 2010-05-25T18:24:52+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_5_3&rev=1274804692&do=diff Énoncé du problème Matrice de substitution à 2 paramètres : il existe deux taux de substitution, un à l'intérieur des purine et pyrimidines, et un entre purines et pyrimidines. Soient * α le taux de transition (intra-classe) * β le taux de transversion (entre classes) text/html 2011-01-14T12:01:21+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_3&rev=1295002881&do=diff Les activités et documents de validation Le cycle en V A Plan B besoins F tests G Rapport mise en production maintenance retrait données C conception E tests D construction Les rôles et responsabilités -pour un système Propriétaire du système : c'est le “client final” -- celui qui repésente les utilisateurs, et l'utilisation du système. Il sera responsable de “ce qu'on fait avec le système” -- des résultats et données contenues dans le système. C'est l'appro… text/html 2010-05-25T20:13:06+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_4&rev=1274811186&do=diff Concept de Populations de Gènes Exercice Proposer des hypothèses de structures de gènes primitifs et de modes d'évolution de ces gènes. Est-ce que le gène primitif était aléatoire ou non? Et l'évolution, aléatoire ou non-aléatoire? Considérons les possibilités, et leurs conséquences reflétées dans les gènes actuels. 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-11-09T21:14:33+02:00 https://get-the.net/doku.php?id=m2ilc:uml_2002&rev=1289333673&do=diff Reformulation des besoins--à partir d'un cahier de charges texte--en diagrammes UML. 1. Identifier le contexte du système (“détournement” collaboration diagramme) * Système (à libeller) : un rectangle conteneur * Actor : “stick figure” * Actor (autre système) : boîte avec nom de l'acteur/système entre guillemets * Flux symbolisés par flêches * flux entrants: évènement système 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-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; text/html 2009-12-29T15:43:14+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_1&rev=1262097794&do=diff Introduction Motivations * Il y a des questions, des prémisses de décisions, que l'humain a besoin ou envie (économique) de traiter; * Ces “études” peuvent impliquer des quantités de données et besoins en calcul énormes; * La technologie permet économiquement de faire des traitements qu'on ne pouvait pas faire il y a peu d'années. * De quoi a-t-on besoin ? Extraire des connaissances intéressantes et utiles à partir des text/html 2010-10-06T13:57:42+02:00 https://get-the.net/doku.php?id=m2ilc:droit_1&rev=1286366262&do=diff Règles Règle à l'égard des autres, pas de soi-même; s'applique à tous. Sanctions Sanctions peuvent être de trois sortes * civile : réparation d'un préjudice * pénale : peine d'emprisonnement * peine d'amende (à l'état, pas aux victimes) text/html 2011-04-10T15:04:11+02:00 https://get-the.net/doku.php?id=m2ilc:parallelisme_mpi&rev=1302440651&do=diff TP MBI Nous avons expérimenté l'utilisation des protocoles MPI pour un problème de multiplication de matrices. énoncé La stratégie de parallélisation était de distribuer des blocs contigu de lignes et de colonnes, puis faire circuler les colonnes de façon ordonnée pour que chaque processus garde son bloc de lignes et traite (reçoive et transmette) chaque bloc de colonnes une seule fois (moins 1 pour les transmissions). Les blocs de colonnes étaient transposés pour optimiser l'exploitation d'a… text/html 2013-03-24T16:55:04+02:00 https://get-the.net/doku.php?id=culture:questions&rev=1364140504&do=diff " Avis d'un expéditeur: C'est excellent !!!! il y a de la logique certes mais aussi beaucoup d'imagination ....." Justice sociale * Le Professeur: Que dois-je faire pour répartir 11 pommes de terre entre 7 personnes ? * L'élève: Purée de pommes de terre, m'sieur ! text/html 2013-03-24T18:29:33+02:00 https://get-the.net/doku.php?id=culture:tests&rev=1364146173&do=diff Le Test de la Baignoire Lors de ma visite médicale, j'ai demandé à mon médecin, “Comment déterminez-vous si on doit placer un patient dans une maison de retraite pour personnes âgées ?” “Et bien,” répond-t-il, “nous remplissons une baignoire, ensuite vous avez le choix entre une petite cuillère, une tasse à thé, et un seau pour vider la baignoire.” text/html 2016-03-14T09:51:07+02:00 https://get-the.net/doku.php?id=emacs:gpg4win_install&rev=1457945467&do=diff [2016-03-13 dim.] Acquisition Téléchargement de l'installateur gpg4win-2.3.0.exe depuis le site du projet via le site GnuPG. Pour validé le fichier, il fournissent un SHA-A checksum: 88d90ee9a1ea3e66b198ea866063140b882444d5 Mais comment comparer ? Il a fallu trouver un programme de hashage pour Windows 10. Après plusieurs recherches qui ne rendaient que des résultats pour Windows 2000/Vista/XP sur un site de microsoft, j'ai trouvé un outil qui me parait très bien dans le Windows Store … text/html 2011-11-15T08:24:21+02:00 https://get-the.net/doku.php?id=emacs:emacs-build&rev=1321341861&do=diff Contexte Pour des raisons de stabilité, contrôle de la qualité, tests avant diffusion d'une nouvelle distribution d'Ubuntu, les paquets des applications sont généralement pas les plus récents. En effet, Ubuntu 10.10, d'octobre 2010, comporte emacs 23.1 de juillet 2009! Tandis que les binaires pour Windows sont de version 23.3, de mars 2011. Aussi je souhaite installer cette nouvelle version (23.3a) pour utilisation avec Ubuntu. text/html 2011-05-13T10:44:45+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_6&rev=1305276285&do=diff Annexe 11 -- EU GMPs (Pharmas Européenne) * L'annexe 11 est le texte réglementaire de référence pour les bonnes pratiques de fabrication (industrie pharma). * elle a été récemment modifiée * texte très court : 2,5 pages * implications sont potentiellement grandes text/html 2011-03-11T10:28:29+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_2&rev=1299835709&do=diff " " Préambule : Exemple Netflix * -- fiche de lecture * Lecture complémentaire : * Brewer's 2000 Talk : * Gilbert and Lynch's proof : Netflix : utilisation de S3 en high availability * avantage et inconvénients * application de recommandation text/html 2011-04-09T08:26:55+02:00 https://get-the.net/doku.php?id=m1ilc:preuves&rev=1302330415&do=diff Ingénierie de la preuve Enseignant Site/Liens Cours TD TP ECTS Cours : J. Narboux TP : N. Magaud, P. Schreck Lien externe 18 18 Objectifs - Apprentissage des outils de preuve formelle et de certification de logiciels - Utilisation de l'outil Coq pour décrire, prouver et extraire des programmes certifiés Contenu Techniques et systèmes de spécification et de preuve de logiciels. Rôles des mathématiques, de la logique et de la programmation. Définition de types, fonctions, p… text/html 2010-09-16T11:39:21+02:00 https://get-the.net/doku.php?id=m2ilc:sd_1&rev=1284629961&do=diff Applications Distribuées 1 Voir : slides , sachant qu'on navigue avec ⇑ et ⇓ (css=slides). slides reformattés Mes gribouillages * Introduction * RMI * Web Services (SOAP) * REST * JSON * MPI (parallèle par passage de messages) : adaptée aux gros calculs * MapReduce : très spécialisée, promue par Google pour son moteur de recherche; adaptée aux grosses données * JXTA (pair-à-pair), d'un intérêt et d'un avenir discutables text/html 2011-01-18T10:13:56+02:00 https://get-the.net/doku.php?id=multidimensional_scaling&rev=1295342036&do=diff Principes L'échelonnement multidimensionnel (multidimensional scaling) est une famille de procédures--dont certaines métriques, d'autres non métriques-- d'analyse de matrices de dissimilarité. Ceci peut être vu comme une alternative à (ou généralisation de?) l'analyse factorielle : des matrices de corrélation, similarité ou dissimilarité peuvent être analysées. text/html 2010-05-13T09:41:49+02:00 https://get-the.net/doku.php?id=m1ilc:fainbis_1&rev=1273736509&do=diff Introduction aux images L'image et les capteurs Une image est l'acquisition par un capteur d'une scène réelle. Le capteur peut être sensible à différentes sources (signaux): * ondes électromagnétiques * ré-émission : réflexion et réfraction * visibles, infrarouge, ultraviolet, rayons gamma, rayons x, autres text/html 2010-01-06T21:22:17+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_b&rev=1262809337&do=diff II.5 Problèmes indécidables pour les grammaires Théorème Les problèmes suivants sont indécidables: * Etant donnée une grammaire générale G et un mot w, est-ce que ? * Etant donnée une grammaire générale G, est-ce que ? * Etant donnée deux grammaires et , est-ce que ? * Etant donnée une grammaire G, est-ce que ? * Il existe une grammaire générale pour laquelle le problème suivant est indécidable : étant donné w, est-ce que ? text/html 2010-01-09T20:29:50+02:00 https://get-the.net/doku.php?id=m1ilc:algorithmes_distribues&rev=1263065390&do=diff Algorithmes Distribués Synoptique Prof Site Cours TP TD ECTS M. P. Gançarsky site perso du prof 24h 3 Contenu Aspects algorithmiques des systèmes distribués (ou répartis). Etude d'algorithmes distribués pour la résolution de problèmes de communication, d'allocation de ressources et de synchronisation. Exclusion mutuelle par échange de messages. Diffusion. Arbres couvrants. Tâches : ordonnancement, terminaison, répartition des calculs. Coopération et concurrence entre process… text/html 2010-01-10T11:20:36+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td3&rev=1263118836&do=diff Géométrie Discrète Connexité des droites discrètes Nous avons entamé l'étude du traitement des droites avec le cas d'un segment d'épaisseur juste assez pour être 8-connexe : un pixel par colonne si pente faible, un pixel par ligne si pente forte, avec l'algorithme de Bresenham notamment. Considérons maintenant des “droites” d'épaisseur paramétrable; des ensembles de points (x,y) entiers tels que <jsmath>0 \leq ax - by + \mu \lt \omega</jsm>. De plus, on va supposer que tous les paramètres s… text/html 2010-01-06T14:43:50+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_d&rev=1262785430&do=diff III. Complexité Introduction Deux exemples pour rentrer dans le sujet : * Problème du voyageur de commerce. Etant donné une carte routière et une liste de N villes, comment réaliser un circuit qui visite les N villes en parcourant la plus courte distance possible. * Géométrie tortue : void triangle(float x, float y, float d, float h){ if (y+d)<h {tracer(x-d, y+d); triangle(x-d, y+d, d, h); tracer(x+d, y+d); triangle(x+d, y+d, d, h); tracer(x,y);}} . complexité ~ sk avec y+kd < h < y+(k… text/html 2010-01-04T17:28:33+02:00 https://get-the.net/doku.php?id=m1ilc:compil_2&rev=1262622513&do=diff Analyse Syntaxique Introduction Le rôle de l'analyse syntaxique est de * déterminer si la suite de tokens est conforme à la grammaire définissant le langage source; * repérer [et signaler] les erreurs syntaxiques; * définir l'arbre de syntaxe abstraite. text/html 2009-11-03T08:29:06+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_7&rev=1257233346&do=diff <= section préc. Fonctions numériques * Remarque : calcul et manipulation de symboles sont équivalents. Les entiers correspondent à des mots sur un alphabet, en unaire, base b, nombres romains... * fonctions polynomiales telles sont construites avec * des fonctions de base * des combinaisons de fonctions text/html 2009-12-23T15:05:22+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_1&rev=1261577122&do=diff Analyse Lexicale Une suite de caractères est lu par un analyseur lexical, et celui-ci produit une suite de symboles (unités syntaxiques, “tokens”). Ces symboles comprennent des identifiants, des mots réservés, des constantes, des délimiteurs , des opérateurs simples ou composés (+ - * / := , e.g., qui sont de petits mots réservés). text/html 2010-01-10T16:51:55+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_1&rev=1263138715&do=diff Election (1/2) I) Proposer un algorithme d'élection dans les cas suivants : * Election sur un anneau unidirectionnel * Election sur un arbre couvrant Solution #1 D'abord, comprenons ce que c'est qu'un anneau unidirectionnel : chaque machine à un, et un seul destinataire (dit “successeur”) pour ses messages, et une seule source. Cependant, l'anneau ne suit pas nécessairement une numérotation des machines, ni même des connections physiques (tant qu'il existe un chemin physique pour réalis… text/html 2010-01-28T13:45:31+02:00 https://get-the.net/doku.php?id=m1ilc:lattices_0&rev=1264682731&do=diff Choisir l'algorithme Après (première) lecture de “Comparing performance of algorithms for generating concept lattices” by SERGEI O. KUZNETSOV, j'ai constaté : " Compte tenu des résultats qu'il affiche et d'autres considérations, plusieurs paires se suggèrent. Une axe est celle du type de problème :(a) petit et éparse (ou contexte creuse?), (b) moyen, ou (c) grand et à contexte dense. Donc, une sorte de paire serait (a)-(b) [Godin et Bordat], (b)-(c) [Bordat et un parmi Norris, CbO et Nex… text/html 2010-05-25T18:40:34+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_5_4&rev=1274805634&do=diff 5.4 Distance évolutive Le problème est de définir une distance entre deux mots qui ont évolué d'un même ancêtre. Rappel, la probabilité que le site soit occupé au temps t par une lettre identique à celle au temps 0 et . La probabilité que deux mots aient 2 lettres identiques dans un même site au temps t qui soient identiques à la lettre au temps 0, puisqu'ils sont censés évoluer indépendamment, est P(t)*P(t). text/html 2010-05-26T18:51:16+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_9&rev=1274892676&do=diff Raffinement de Programmes Le raffinement établit une relation entre des programmes. => La propriété de satisfaction peut être par exemple * la correction partielle. * * la correction total : * . En particulier, : si P termine, alors P' termine aussi. text/html 2010-05-27T22:33:46+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_b&rev=1274992426&do=diff Nous avons vu que plusieurs Σ-algèbres pouvaient être associées à une signature Σ. Parmi ces Σ-algèbre certaines ne correspondent pas au type que l'on souhaite spécifier. Par exemple, dans l'interprétation Num4 de Nat, 3 est plus grand que son successeur, ce qui est correcte dans cette algèbre, mais incorrecte dans ce que nous voulions spécifier, le type des entier naturels. text/html 2010-05-24T10:09:55+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_5&rev=1274688595&do=diff Sémantique des Programmes Récursifs On considère une autre construction dans les langages de programmation, celle des programmes récursifs. Un programme récursif (fonction ou procédure) est récursivement associé à un nom. Le corps du programme fait explicitement référence à ce nom (c'est ce qu'on désigne par “appel récursif”). text/html 2009-10-09T18:44:50+02:00 https://get-the.net/doku.php?id=m1ilc:compil_1&rev=1255106690&do=diff Introduction Le problème : Homme et machine n'utilisent pas la même langage. Homme Machine langage de programmation langage machine basé s/ modèles mathématiques reflète architecture matérielle Structuration, modularité au niveau binaire, manipulation de registres => besoin de réaliser la traduction d'un langage source vers un langage cible. 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-03-18T08:36:03+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_6&rev=1268897763&do=diff III. Preuves de correction des programmes Sémantique et preuve Comme nous l'avons vu, l'objectif premier des définition et développements formels de l'activité de programmation est de garantir la correction des programmes. Alors que la sémantique d'un programme donne toute la signification de ce programme, la preuve de correction, ell, se limite à démontrer une propriété de ce programme. text/html 2010-09-16T11:59:05+02:00 https://get-the.net/doku.php?id=m2ilc:sd_intro&rev=1284631145&do=diff Stéphane Genaud Thèmes abordés Les thèmes que recouvre “Applications distribuées”: toutes les tentatives de faire participer des machines distantes à un traitement informatique. * système d'échange de messages, * systèmes d'exploitation distribués * applications réparties/parallèles