1) Je vous ai fait tirer un chapitre de mon livre "Introduction à la spécification" sur les bases de la logique. Essentiel pour le cours de spécification et pour tout informaticien.
Lire aussi :
http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/histoirelogique.html
http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/symboles.html
http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/attribut.html
2) je considère que tous les étudiants dispose du poly Spécifications avec B faute de réclamation avant ce soir 18 heures.
3) prévoyez un test sous peu. Questions : idem à celles des td et des petits exemples du poly ou du cours en amphi.
4) prévoyez aussi un "travail à faire chez soi" à rendre à 8 janvier date impérative.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire