Les pages d'un collègue de Bordeaux

http://www.labri.fr/perso/sutre/Teaching/B/2005-2006/index.html

A lire et à faire avant le premier cours 2007-08

Pour le premier cours qui aura lieu la semaine 45, vous devez avoir étudié les pages suivantes :

http://www.sciences.univ-nantes.fr/info/perso/permanents/habrias/methodb.html#3

Le cours sera organisé à partir de vos questions sur ces pages.

Nous rappelons que des représentants de groupe ne sont toujours pas venu chercher le polycopié des TD.
Le polycopié du cours sera sans doute disponible avant jeudi soir prochain.

Le blog de spec1 est :

http://nantespec1.blogspot.com

Vous devez le consulter régulièrement. Mes messages passeront via ce bloc-notes.

Les pages web sont à

http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/coursb/

et

http://www.iut-nantes.univ-nantes.fr/%7Ehabrias/spec1/


N.B. : blog et pages web sont accessibles à toutes et tous, c'est de l' extranet.

Le cours en amphi ne doit pas être

Le cours en amphi ne doit pas être un défilé de transparents même en

couleur!

Henri Habrias

Professeur

Université de Nantes, I.U.T. de Nantes, Département informatique

Responsable de l’enseignement de spécifications

Enseignant d’informatique et organisation sociale

Responsable du DESS Génie logiciel, économie, droit et normes

henri.habrias@univ-nantes.fr

http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/

« En informatique, la tentation d’imprimer beaucoup et de réfléchir peu est inquiétante. (…) Le problème des étudiants aujourd’hui, c’est qu’ils ne lisent pas de livres » Pierre-Gilles de Gennes, cité par C-X. Durand in La nouvelle guerre contre l’intelligence, Isbn : 2-86839-734-4

Gutenberg ayant inventé l’imprimerie (1440), nous nous efforçons de l’utiliser. Les étudiants reçoivent par courriels ce que nous traiterons le prochain cours (pages de livre, si possible livres que nous avons écrit, ou nos pages web) et le sujet de l’exercice que nous utiliserons pour notre présentation.

Voir

http://www.iut-nantes.univ-nantes.fr/~habrias/spec1/deroulement0001.html

Ils reçoivent aussi de petits exercices dont ils devront fournir la solution au début du «cours». Le cours consiste pour nous à traiter de petits exemples devant les étudiants et non à débiter un flot de paroles. Nous faisons passer des étudiants au tableau, nous leur demandons de vérifier ce que nous écrivons, etc. Les concepts sont ainsi systématiquement illustrés. Si les étudiants veulent un cours avec chapitre 1, section 1, paragraphe 1.1. , ils disposent de l’écrit pour cela (nos pages web, les livres que nous avons écrits, la bibliothèque, etc.).

Notre méthode n’est guère originale en Europe. Bien de nos collègues britanniques des anciens Polytechniques font ainsi. Un professeur ne parle pas plus de 8 minutes avant de donner un exercice aux étudiants dans l’amphi. Certains livres d’informatique illustrent cela. Chaque concept, notation, etc. est illustré d’un exemple, puis suivi d’un « selft test », puis au bout de deux à trois pages, d’un ensemble de petits exercices. Puis le chapitre se termine par des exercices utilisant l’ensemble de ce qui a été traité dans le chapitre.

Aux Usa (au moins dans les universités où j’ai séjourné), l’étudiant ne va pas en cours s’il n’a pas lu les pages du livre dont la lecture a été demandée. Dans l’amphithéâtre, le professeur répond aux questions des étudiants, vérifie la compréhension et, si besoin, fait des mises au point, des reformulations, des synthèses. Mais, en France, nos étudiants sont fort étonnés de cette pratique ! Quand nous l’avons pu, nous avons fait intervenir des collègues britanniques dans notre cours, ce qui a valorisé notre pratique aux yeux de…certains étudiants. Un étudiant nous a dit dans un courriel : « un cours en anglais c’est très bien car, pour suivre, on est obligé d’écouter ». A la fin du cours, j’adresse, aux étudiants et aux intervenants en TD, un compte-rendu détaillé de ce que j’ai traité (qui souvent a pu ne pas être ce que j’avais annoncé…il peut se passer des choses dans l’amphi…). Je rédige aussi parfois une partie sur laquelle j’ai pu un peu «cafouiller» (des étudiants posent des questions et je peux être amené à faire des détours qui peuvent perdre d’autres étudiants peu attentifs).

Enfin, je donne régulièrement des travaux à faire chez soi, dont je fournis un corrigé écrit et dont je corrige oralement les points essentiels non compris. Et je demande ensuite aux étudiants de me fournir un document où ils doivent dire en quoi ce qu’ils ont écrit est erroné et dire, si possible, ce qui les a conduit à l’erreur.

Je termine en insistant sur un point, particulièrement crucial en informatique : l’attention au sens des mots employés. Trop souvent, le terme anglais entoure un « terrain vague d’idées ».

Est-ce que cela est facile ?

Non. Car :

• il est difficile de changer les habitudes souvent inculquées aux élèves. Est-il vrai qu’il a été donné comme consigne aux enseignants du secondaires de demander aux élèves de ne pas prendre de notes ? L’axiome latin Qui scribit, bis legit est passé de mode (et pendant ce temps on a multiplié les enseignements de « technique d’expression » !)

• il est difficile de faire faire.

• cela suppose une discipline d’écoute dans un amphithéâtre (et que chaque enseignant la fasse respecter)

• cela suppose que l’on arrête les tentatives vouées à l’échec comme les polycopiés « à trou », les polycopiés distribués aux seuls présents dans l’amphithéâtre, etc. Si le cours peut être remplacé par le polycopié, il faut supprimer le « cours » !

• et que l’on n’abuse pas de Power Point et des transparents. Il faut montrer au élèves le déroulement d’un raisonnement. Et cela est fort difficile en projetant des pages. Le cours est fait pour ce qu’il est très difficile de faire par écrit ou même par « audio-visuel » et TIC plus ou moins N.

• Enfin, il faut réhabiliter la lecture… ce qui suppose que les étudiants ne perdent pas de temps à des choses inutiles comme être présents dans des amphithéâtres sans écouter.

• Surfer est rester à la crête des vagues. Surfer sur l’Internet est rester sur la tranche des pages ! Ne pas « mettre les étudiants sur l’ordinateur » sous prétexte fallacieux de pédagogie moderne. Nous conseillons de lire Stella Barruk (Echec et maths, L’Age du capitaine, Dictionnaire des mathématiques élémentaires)

Payment in

"Outre les coûts, l'un des instruments favorisant ce taux de transaction est la procédure dite du " Payment in ". Elle permet au défendeur d'une action en dommages-intérêts ou en paiement d'une dette de déposer auprès de la juridiction la somme qu'il propose au plaignant pour clore le litige. S'il refuse cette offre et qu'à l'issue du procès le juge, qui lui-même n'en a pas connaissance, lui accorde une somme égale ou inférieure, le plaignant doit prendre en charge ses frais et ceux de son adversaire à compter de la date du dépôt de la somme. Compte tenu de l'importance de ces frais, la partie gagnant le procès peut donc le perdre financièrement.

Le plaignant se trouve ainsi placé par son adversaire devant un véritable pari sur la jurisprudence qui relève parfois du quitte ou double."

Extrait du rapport du sénat sur le système judiciaire britannique (à lire, il existe d'autres systèmes que le français ! avec du bien et du moins bien)

A modéliser en B (imaginez un système logiciel "support" du travail du juge)

http://www.senat.fr/rap/r97-009/r97-0092.html

Réponse fournie à celui qui nous aurons communiqué la sienne.

Ils font ...

SETS
PAYS; SON
VARIABLES
pays, sons
INVARIANT
pays <: PAYS &
sons <: SON &
les chiens de ... font ... : pays +-> sons

Instanciations

les chiens de ... font ... =
{
(albanie |-> ham-ham),
(chine |-> wang-wang),
(grèce |-> gave-gave),
(slovénie |-> hov-hov),
(ukraine |-> haf-haf),
(islande |-> woff),
(indonésie |-> gong),
(italie |-> bau-bau)
}

Application de fonction

les chiens de ... font ... (islande) = woff

domaine
dom(les chiens de ... font ...) = {albanie, chine, grèce, slovénie, ukraine, islande, indonésie, italie}

codomaine ou range
ran (les chiens de ... font ...) = {ham-ham, wang-wang, gave-gave, hov-hov, haf-haf, woff, gong, bau-bau}

On ne sait pas si la relation inverse est une fonction.

Les déserts

/* Un désert est une zone géographique qui reçoit moins de 254 mm de précipitations par an */

Spécifiez en notation B ASCII (maths ensemblistes)
: est pour l'appartenance
--> est pour ensemble de fonctions totales (ce qu'en France on appelle "applications")
|> est la restriction de domaine d'une relation
== se lit "se définit comme" (à différencier du prédicat d'égalité, noté =)

précipitations_annuelles : zones_géographiques --> NAT

déserts == dom (précipitations_annuelles |> 0..254)

Vallées Sèches de l'Arctique : min (déserts)


source de l'info : Llyod, Mitchinson, Les autruches ne mettent pas la tête dans le sable, Dunod, 2007

2007-2008, le polycopié du cours est disponible

en ligne,

voir ici

2007-2008, Le polycopié des TD est disponible

Vous pouvez (il est fortement conseillé) y traiter les exercices relatifs aux ensembles et aux relations.

Que les représentants de groupe prennent contact avec moi par courriel

henri.habrias at univ-nantes point fr