NFP108 : Specification et modelisation Informatique

Dans le cadre des cours du CNAM, j'ai suivi l'unité NFP108 sur la spécification et modélisation informatique ( CNAM Champagne Ardennes ). Il s'agit essentiellement une unité de mathématiques.Cet article donne un aperçu de cette unité.Si vous voulez avoir une idée plus précise, vous pouvez consulter le devoir à la maison que j'ai réalisé (cf ci-dessous ).

Les différents chapitres

Chaque chapitre fait l'objet d'une ou plusieurs visioconférence ( rythme de 1 par semaine ). La visioconférence est partagée en deux ( 1/2 heure correction des exercices et 1/2 de cours ).

Partie 1

Chapitre01 : Problèmes et langages
Chapitre02 : Automates finis
Chapitre03 : Opérations sur les automates
Chapitre04 : Les expressions régulières
Chapitre05 : Automates et expressions régulières
Chapitre06 : Application des expressions régulières
Chapitre07 : exemple

Partie 2

Chapitre08 : logique des propositions
Chapitre 09 : logique des prédicats
Chapitre10 : démonstrations
Chapitre11 : Le calcul des séquents
Chapitre12 : égalité et théorie des ensembles

Les Examens

Il y a une note pour le devoir à la maison et une note pour l'examen final.

Devoir à la maison

Le devoir à la maison est à rendre une semaine avant l'examen.Il porte sur la partie 1 et compte pour 1/3 de la note si la note est supérieur au devoir.Ce devoir à la maison est accessible et il est possible d'avoir 20.De mon point de vue, avoir une bonne à ce devoir est indispensable pour réussir l'unité.

Voici le devoir que j'ai réalisé :  Devoir_a_la_maison

Examens

L'examen porte sur les deux parties.Il est très long et quasiment impossible à faire en entier ( voir même la première partie ). Il n'y a pas beaucoup d'annales sur cette unité mais je pense que le format reste le même d'année en année.
A noter :

•  la dernière séance est une vidéo sur un examen corrigé.

Quelques conseils

• Il y a beaucoup de définition à savoir par chapitre.
• Il faut s'appliquer sur le devoir à la maison.
• Il faut éviter de prendre de retard et bien suivre les cours chaque semaine.
• Le jour du devoir on a le droit au cours.Cela peut aider mais vu que l'examen est très long, il ne faut pas trop compter dessus.

Conclusion

C'est une unité qui peut paraître difficile au premier abord car il s'agit essentiellement d'une unité de mathématique.Cependant, si on suit les cours régulièrement, on comprend bien.Seule une petite partie est plus difficile d'accès mais pas impossible.Le format de visio rend difficile le fait de pouvoir poser des questions à cause des symboles des formules.