Rien ne va de soi. Rien n'est donné. Tout est construit.

"les problèmes ne se posent pas d'eux-mêmes. C'est précisément ce sens du problème qui donne la marque du véritable esprit scientifique. Pour un esprit scientifique, toute connaissance est une réponse à une question. S'il n'y a pas eu de question, il ne peut y avoir connaissance scientifique. Rien ne va de soi. Rien n'est donné. Tout est construit."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, p. 1

Bref, y'a du boulot ! Le pré-cuit, le pré-maché, le digest c'est indigeste. Ca fait crever les sociétés... et les "promotions" d'étudiants.
Ma bonne dame, mon bon monsieur, notre promotion universitaire : trois années d'études pour le prix d'une ! Pas d'examens, pas de dossiers, pas de livres à lire, de cours à suivre, d'exercices à pratiquer. Et le wifi pour tous.


Madame la boulangère, du pain pas cuit s'il vous plait ! que de fois j'entends cette demande formulée par de jeunes clients ... Le femme du boulanger, elle en a de la chance ! bientôt elle ne sera plus réveillée en pleine nuit par son boulanger de mari. Merci client, merci client.

la première connaissance objective ... une première erreur

"Au spectacle des phénomènes les plus intéressants, les plus frappants, l'homme va naturellement avec tous ses désirs, avec toutes ses passions, avec toute son âme. On ne doit donc pas s'étonner que la première connaissance objective soit une première erreur."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, page 54

Le programme de la conférence FORMED 2008, Budapest

ICI

Votre déclaration d'amour pour la Saint-Valentin

Robert Solé dans son billet du Monde de ce jour, nous informe que la Cité des sciences et de l'industrie de Paris propose son assistance.Sur le site http://www.cite-sciences.fr/declaration-st-valentin/, vous indiquez le prénom de l'élu(e), sa qualité première, la couleur de ses yeux, son adresse électronique, et en moins d'une seconde la machine lui envoie un joli poème de votre part.Robert Solé a essayé ... lire son papier

Je vous offre un psychothérapeute

"Les enseignants doivent de nos jours être des personnes à l'écoute des problèmes des élèves"
a dit ....
alors, voici

ICI

Parlez-lui en Anglais.

Je vous adresserai ses honoraires. Paiement en euros, cartes acceptées : Visa, Master card, American Express

Mais si vous voulez une thérapie en français, c'est moins cher, mais donc bien moins efficace. Lisez Freud !

ICI

Les TD au labo d'automatisme

ICI

Du fait du comportement de la majorité d'étudiants d'il y a 3 ans, vous en avez de la chance !
ces td sont supprimés.

Economie : le département informatique n'a plus à participer au financement du labo et comme ses étudiants séchaient ces td, on a amélioré nos performances !

Ma poubelle n'était pas vidée

J'ai donc le cours de parallélisme (projet Européen Papillon).

Le parallélisme, un dictionnaire en ligne

ICI

et n'oubliez pas les pages du module SPEC2 (je me répète. D'aucuns disent que c'est de la bonne pédagogie. Je ne le pense pas !)

Autre chose : vous avez maintenant les sujets des "PT".
J'ai vu que mon sujet a été découpé en plusieurs sujets. Il faut considérer que mes questions font un tout cohérent. Cherchez le lien...

J'avais proposé (un courriel envoyé à tous) un cours complet sur le parallélisme. Pas de réponse, il est passé à la poubelle. Il avait été financé par des fonds européens. Bof, bof, bof...

Je vous rappelle que les photos des tableaux de cours et de TD de 2006-2007 sont sur ce bloc-notes

...je sais, il faut y naviguer un peu. Mais les voyages forment la jeunesse !

Cours du 11 février 8h15-9h15

Amphi 4

Le cours s'est déroulé par une belle matinée. Ciel tout bleu. Froid sec agréable à 8h 15. Amphi bien chauffé.

11 absents du groupe 1
19 absents du groupe 2
7 absents du groupe 3
18 absents du groupe 4



J'ai traité :

• J'ai distribué une petite spec en B. Il s'est agi de faire le diagramme de transition d'états. J'ai fait un automate simple et un automate structuré (un automate de Harel).
• La prochaine fois, je ferai la spec en B événementiel
• le renommage. Illustré par des chaussettes thaïlandaises et des gants français et par un exemple en FSP(LTSA) Client/Serveur
• le produit de processus (avec FSP)
• la sémantique du losange pour le parallèlisme. Illustrations avec exemples en FSP
• processus types et instances de processus types (processus) en FSP
• un exemple de partage de ressources

Ca c'était pour avoir l'essentiel de LTSA pour pouvoir l'utiliser pour les différents exercices de td

Je suis passé alors aux

• Réseaux de Petri, avec un exemple. J'ai fait l'automate (un état est un vecteur de marquage). J'ai bien insisté : avec les RDP, il ne s'agit pas de déplacement de jetons. Un marquage d'une place avec 2 jetons n'est ni plus ni moins que dire que cette place a pour valeur l'entier 2.
• Il n'y a pas forcément conservation du nombre de jetons. Il peut y avoir dans un problème donné, un invariant qui dit par exemple que le marquage de telle place + le marquage de telle autre doit toujours être égal à 5. Mais cela n'est pas une loi générale des RDP !

J'ai distribué un texte complément au cours de Michael Jackson et un texte sur le modèle relationnel avec la notation NIAM. Bien sûr, il y aura des questions du DS sur ces textes.

J'ai à la disposition des étudiants intéressés, un texte rédigé par J.F. Monin et J. Sifakis (Prix Turing) intitulé "Eléments de classification des méthodes formelles". On y retrouve notre programme de Spec1 et celui de Spec2.