Inscription à :
Publier les commentaires (Atom)
skip to main |
skip to sidebar
Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)
Membres
Blogs amis
Mes autres blogs
Archives du blog
-
▼
2008
(45)
-
▼
janvier
(35)
- Filocours, riboulware et croquargent
- Les fonctions partielles et les 'valeurs nulles"
- La vraie vie, SIFAC, le Ministre, et le génie logi...
- Notes du test sur l'Atelier B
- Les notes du "DS" sont affichées
- La numération indienne
- Test sur l'Atelier B
- Une perle naturelle ....
- Quelques lectures conseillées
- Voici des questions du prochain examen de spec
- Avec un faible effort on peut éviter...
- Décidabilité et semi-décidabilité
- Oh Oh !
- Produit cartésien ...
- Attention à la lecture ...
- Est-il encore temps ?
- Constat
- Merci au groupe 4 pour son auto-notation du DS
- Encore une autre question
- "Marking scheme", Règles de notation du DS
- Encore une question d'un étudiant.
- La nouvelle immatriculation des véhicules
- C'est bien l'auto-notation
- Le corrigé du DS de 2008
- The B Method: from Research to Teaching
- Merci Arte
- "la plus âpre des leçons"
- Si vous avez loupé les cours et les td
- "C'est peut-être vrai en théorie, mais en pratique...
- Documents qui vous ont été adressés par courriel
- Le DS c'est lundi prochain
- La chaire de Gérard Berry au Collège de France
- Ce que j'ai fait lors du cours du 14 janvier
- L'informatique et les Indiens
- Ce que j'ai fait lors du cours du 8 janvier 08
-
▼
janvier
(35)
Qui êtes-vous ?
- Arédius44
- J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
Livres appréciés
- Claude Gagnière, Pour tout l'or des mots
- Jean-Louis Gardies, Esquisse d'une grammaire pure
- George G. Szpiro, La conjecture de Poincaré
- Barbara Kingslover, Les yeux dans les arbres (The Poisonwood Bible)
- Bernard Diu, Traité de physique à l'usage des profanes
- Aristote, L'organon
Aucun commentaire:
Enregistrer un commentaire