Cours Outils Formels pour l’Informatique en deuxième année de Licence Math Informatique et Math-Physique premier semestre 2009-2010

  1. •Cours Lundi 10h15-11h45, Intervenant Jean-Marc Fédou

  2. •TD  Groupe 1 Informatique Mardi  13h00-14h30 et 14h45-16h15 , Intervenant Jean-Marc Fédou

  3. •TD  Groupe 2 Informatique Lundi  13h00-14h30 et 14h45-16h15 , Intervenant

  4. •TD  Groupe 1 MPIE Lundi  13h00-14h30 et 14h45-16h15, Intervenant Jean-Marc Fédou

  5. •TD  Groupe 2 MPIE Lundi  13h00-14h30 et 14h45-16h15, Intervenant

Bibliographie

  1. •A. Aho et J. Ullman, Concepts fondamentaux de l'Informatique, Dunod.

  2. •A. Arnold et I. Guessarian, Mathématiques pour l'Informatique, Masson.

  3. •M. Marchand, Outils mathématiques pour l’informaticien, Michel Marchand,  De Boeck.

  4. •J. Vélu, Méthodes mathématiques pour l’informatique, Dunod

  5. •N.H. Xuong, Mathématiques discrètes et informatique, Masson.

  6. •Les archives du cours 2008-2009 

  7. •Les archives du cours 2009-2010

Programme :Le cours d’informatique théorique de licence abordera

  1. •Les mathématiques pour l’informatique, avec les concepts de base que sont les mathématiques discrètes la logique et le dénombrement.

  2. •La formalisation des objets informatiques avec l’induction, les langages formels et la théorie des graphes

  3. •L’étude des performances des ordinateurs avec en particulier la complexité des algorithmes.

Le plan du cours est le suivant :

  1. 1. Complexité des algorithmes : Cours1 et TD1

  2. 2. Ensembles et dénombrabilité : Cours 2 et TD2

  3. 3. Relations, fonctions et ordres : Cours3 et TD3

  4. 4. Récurrence et induction : Cours 4 et TD 4

  5. 5. Dénombrement : Cours 5 et TD 5

  6. 6. Suites récurrentes : Cours 6 et TD 6

  7. 7. Langages rationnels : Cours7 et TD 7

  8. 8. Automates finis : Cours8 et TD 8

  9. 9. Logique : Cours 9 et TD 9


Evaluation : L’évaluation du module se fera à partir de deux devoirs surveillés, l’un à mi semestre , l’autre en fin de semestre ainsi que  par quelques interrogations de courte durée en TD, dont la moyenne sera pondérée par l’assiduité et la participation.  La note du module a été  calculée  comme suit, vous pouvez voir le détail de vos notes sur Jalon. Je recevrai les étudiants qui veulent voir leurs copies lundi 11 Janvier à partir de 10h.

  1. • pour 1/3  par la note du devoir d’une heure trente à mi semestre. Le devoir surveillé aura lieu le lundi 26 Octobre et le  jeudi 29 Octobre pour la filière BIM. Les sujets sont accessibles ici et là.

  2. • pour 1/3  par la note du devoir d’une heure trente à la fin du semestre (voir  le sujet de décembre 209)

  3. • pour 1/3 par la moyenne des notes des interrogations écrites courtes et de la note d’assiduité. Chaque semaine, la feuille de présence sera un petit questionnaire sur le cours précédent. Les étudiants doivent impérativement apprendre le cours et avoir commencé la feuille de TD  avant le TD.


Soutien : Vendredi  15 janvier de 9h à 12h et de 13h30 à 16h30 au bâtiment M.