Horaires et lieux
Notes de Cours
Notes de cours sur les automates (mises à jour le 22/11/2011)
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
Ainsi que les premières feuilles d’exercices :
feuille 1 (nouvelle version 11/10/2011)
feuille 2
feuille 3
feuille 4
feuille 5
feuille 6 (nouveau 22/11/2011)
feuille 7 (nouveau 11/2011)
feuille 8 (nouveau 1/2012)
Logique
Ebauches de notes de cours de logique :
Notes sur le calcul des propositions
Règle de déduction naturelle
Notes sur le calcul des prédicats et la 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é
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 2010/2011
première session 2010/2011
seconde session 2009/2010
première session 2009/2010
seconde session 2008/2009
première session 2008/2009
première session 2007/2008
deuxième session 2007/2008
première session 2005/2006
Archives
Vous trouverez ci-dessous des documents des années précédentes.
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
