Ce cours se veut efficace. Il a été
conçu pour être parcouru de façon linéaire.
Il se veut progressif avec des apports et des applications
dès le début. Cette approche est fort discutable
et peut paraître plutôt fouillie pour certains.
De même, elle engendre parfois des liaisons délicates
ou des oublis dans les notions. Elle est le fruit d'une
expérience pédagogique personnelle autant
auprès d'étudiants que d'enseignants.
L'objectif est de mettre en oeuvre rapidement
et d'éviter les phases laborieuses d'apports syntaxiques.
Ce qui est attendu de la part du lecteur est de faire les
choses le plus sérieusement du monde. A savoir ...
- Pratiquer le chapitre consacré
au combinatoire
- S'assurer d'une bonne compréhension
des exemples
- Faire les exercices (ne pas aller voir
les solutions, sauf pour vérifier - faîtes
vous les mots croisés avec la grille « solution »
sous les yeux ?)
- Installer le logiciel
- Parcourir le chapitre consacré
à l'usage du logiciel
- Programmer son travail, débogguer, valider les exercices faits précédemment
- Aborder le chapitre sur la description
comportementale
- Faire la suite avec le même
esprit
Pour les projets : la solution n'est
volontairement pas fournie, mais si vous avez été
sérieux et méthodique ...
Il vous en coûtera une trentaine d'heures minimum pour tout pratiquer
sérieusement. Malheureusement et heureusement, vous ne
connaîtrez alors que 20% des possibilités du langage. Vous
aurez sûrement compris
dans quelle direction souffle l'avenir de la logique et envie d'aller plus loin.