Département Informatique

Accueil > UES > UEs par domaine > AISL > NFP108 : Spécification et Modélisation Informatiques
Envoi vers Viadeo Envoi vers Twitter Envoi vers LinkedIn Envoi vers Facebook Format d'impression Accessibilité malvoyants (Format Texte)  
Supports de cours

Horaires et lieux 2016-1017

- Cours et ED le mardi, 18H15-21H45, Consultez l’emploi du temps pour connaitre la salle.

Notes de Cours

Cours à distance du 31/10

- Vidéo de cours sur un automate de la norme TCP (excusez la qualité sonore)
- Document complémentaire : la norme RFC793
- Énoncé de l’exercice sur HTTP
- Commentaire sur l’énoncé de l’exercice (vidéo)
- Faites l’exercice avant de consulter le corrigé. corrigé de la question 1
corrigé de la question 2
- Il y a un exercice sur les regexp dans l’espace NFP108 de pleiad avec correction automatique. Connectez-vous via https://lecnam.net

Partie Automates (F. Barthelemy)

- Notes de cours sur les automates
- Lien vers le cours UML de Laurent Audibert (sur developpez.com).
C’est surtout le chapitre 5 sur les diagrammes d’états-transitions qui nous intéresse.
- support de cours sur TCP
- norme TCP (RFC793)
- document sur l’implémentation des automates
- document complémentaire sur les transducteurs

Ainsi que les premières feuilles d’exercices :
- feuille 1
- feuille 2
- feuille 3
- feuille 4
- feuille 5
- feuille 6
- feuille 7
- feuille 8
- feuille 9
- feuille 10

Nouvelle série :
- exercices sur les automates
- exercices sur la modélisation par automates
- exercices sur les expressions régulières
- exercices sur la modélisation par expressions régulières
- exercices sur les transducteurs

TP sur les automates

- Le sujet du TP sur les automates finis.
- Le sujet du TP python.
- Le sujet du TP sur l’extraction d’information (nouvelle version).
- Le sujet du TP sur l’extraction d’information (ancienne version).
- Le sujet du TP sur les expressions régulières en Java.

Partie Logique (O. Pons)

Ebauches de notes de cours de logique en cours de mise à jours (sep 2016) :
- partie1 : Poly Intros, langages, propositions,
slide
- partie 2 :Prédicats et Théorie des ensembles
- regles de deduction naturelles

Premières feuilles d’exercices de logique :
- feuille 1
, corrigé

- feuille 1 bis
, corrigé

- feuille 2
, corrigé

- feuille 3
, corrigé

- feuille 4
, corrigé

- feuille de revision
, corrigé

- revision et predicat en DN (avec corrigé)

Ancienne feuilles
- WP
, corrigé

Le sujet du TP sur la déduction naturelle et son corrige

Le démonstrateur utilisé est disponible

Annales

- seconde session 2016/2017
- première session 2016/2017
- seconde session 2015/2016
- première session 2015/2016
- seconde session 2014/2015
- seconde session 2013/2014
- première session 2013/2014
- seconde session 2010/2011
- seconde session 2009/2010
- première session 2009/2010


Archives

Projet sur les transducteurs
Vous trouverez ci-dessous des documents des années précédentes.
- Le sujet du projet.
- Le fichier de symboles ISO-8859-1
- L’automate représentant l’union de tous les caractères de l’alphabet (format texte)
- Une page d’accueil du monde compilée en automate (forme texte)
- Un script python pour compiler une page du monde
- Pour rendre le projet, il y a un formulaire sous une plateforme de télé-enseignement appelée Moodle. Pour accéder à ce formulaire, il faut utiliser vos identifiants et mots de passe du CNAM (les mêmes que pour le TP, pas ceux de pleiad). Lorsque vous arrivez sur la plateforme, vous devez faire une opération appelée "inscription" au cours. Il ne s’agit pas de votre inscription administrative, mais juste de vous enregistrer sous Moodle comme suivant le cours NFP108. Ensuite vous avez accès au formulaire de remise du devoir.
Accès au formulaire ici.
Si vous n’avez pas vos identifiants ou mots de passe, consultez 
le site http://ressources-informatiques.cnam.fr

TP sur les automates

- Le sujet du TP sur les automates finis.
- Télécharger FSM
- Télécharger Lextools (pour linux)
- Télécharger graphviz

Devoir sur les automates

Un délai est accordé : vous pouvez remettre votre devoir jusqu’u dimanche 29 janvier 2012.
- Enoncé du devoir
- Pour remettre votre devoir et pour utiliser le webservice lextools et fsm, il faut vous identifier avec votre login et votre mot de passe du cnam. Si vous ne les connaissez pas, consultez :
ressources-informatiques.cnam.fr
- webservice lextools et fsm
- démo du webservice
- page d’annonces (exemple pour le devoir, convertie en ISO-8859-9)
- lien sur une page réelle du même genre
- complément sur les transducteurs en lextools et fsm
- formulaire de remise du devoir
- explications à propos de votre identifiant et de votre mot de passe
- formulaire pour obtenir votre mot de passe

Devoir sur les automates

- Enoncé du devoir
- formulaire de remise du devoir
- explications à propos de votre identifiant et de votre mot de passe
- formulaire pour obtenir votre mot de passe

Devoir sur les automates

- Enoncé du devoir

Devoir logique

- Enoncé du devoir 2
- formulaire de remise du devoir

Devoirs 2007/2008

A titre indicatif, voici les énoncés des devoirs de l’an dernier.

- énoncé du premier devoir de l’an dernier

- énoncé du second devoir de l’an dernier

TP 2007/2008

Le sujet du TP sur la déduction naturelle

Le démonstrateur utilisé est disponible

corrige du TP

Notes de cours des années antérieures

Vous trouverez ici les notes de cours de l’année passée, données à titre
indicatif. Le cours est susceptible d’évoluer et les notes de cours seront mises à jour.

Notes sur le calcul des propositions
ici

Notes sur le calcul des prédicats et
la théorie des ensembles ici

Vous pouvez trouver le devoir de l’année 2005/2006
ici

Bibliographie

Un livre assez proche de l’approche faite en cours :
Mathématiques discètes appliquées à l’informatique. Rod Haggarty, Coll Synthex , Pearson Education.

Pour les premiers chapitres sur la Theorie des Ensembles :
Program Derivation : The Development of Programs from Specifications
de Geoff Dromey, Addison-Wesley (mars 1989) ISBN : 0201416247

une bibliographie plus complète
ici
test



Documents joints:
Calcul des propositions
(PDF - 280.9 ko)
Prédicats et ensembles (Chapitre 3 et 4 des notes)
(PDF - 211.2 ko)
examen 2005 2006
(PDF - 27.6 ko)
bibliographie (bibliographie plus complete)
(PDF - 25.5 ko)
Contacts | FORUMS | CEDRIC | CNAM | Réseau CNAM | Mentions légales