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

  1. •Cours Mardi 13h30 15h, Intervenant Jean-Marc Fédou

  2. •TD  Groupe 1 Informatique Mercredi  8h30-10h et 15h15-16h45 , Intervenant Jean-Marc Fédou

  3. •TD  Groupe 2 Informatique Mercredi  8h30-10h et 13h30-15h, Intervenante Sandrine Julia

  4. •TD  Groupe 1 MPIE Mardi 8h30-11h30, Intervenant Jean-Marc Fédou

  5. •TD  Groupe 2 MPIE Lundi 13h30-14h45 et Jeudi 8h30-10h, Intervenant Bruno Beauquier

  6. •TD  Groupe 3 MPIE Mardi 10h15-11h45 et Jeudi 8h30-10h, Intervenant Bruno Beauquier


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.


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 dess graphes

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


Le plan du cours est le suivant :


  1. 1. Ensembles et dénombrabilité : Cours 1,  TD1

  2. 2. Relations, fonctions et ordres : Cours 2, TD2

  3. 3. Récurrence et induction : Cours 3, TD3

  4. 4. Logique propositionnelle : Cours 4, TD4

  5. 5. Logique des prédicats : Cours 5 et TD5

  6. 6. Dénombrement : Cours 6, TD6

  7. 7. Suites récurrentes : Cours 7, TD7

  8. 8. Complexité des algorithmes : Cours 8, TD8

  9. 9. Langages rationnels : Cours 9, TD9,

  10. 10. Automates finis : Cours 10 et TD10

  11. 11.Graphes et arbres : Cours 11 et TD11


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 sera calculée  comme suit,

  1. • pour 1/3  par la note du devoir d’une heure trente à mi semestre

  2. ✴   Le devoir surveillé aura lieu le mardi 28 Octobre de 13h à 14h30 dans l’amphithéâtre du Petit Valrose

  3. • pour 1/3  par la note du devoir d’une heure trente à la fin du semestre

  4. • pour 1/3 par la moyenne des notes des interrogations écrites courtes et de la note d’assiduité