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

  1. •Cours Lundi 8h30-10h, en amphi de physique 2, Intervenant Jean-Marc Fédou

  2. •TD  Groupe  BIM le lundi de 13h15 à 16h30 en M-34, Intervenant B. Beauquier 

  3. •TD  Groupe 1 Informatique  le lundi de 13h15 à 16h30 en M-2-7, Intervenant J-M Fédou

  4. •TD  Groupes 2-3 Informatique le mardi de 13h 15 à 16h30 en M-2-1, Intervenant E. Formenti

  5. •TD  Groupe 4 Informatique le mercredi de 15h15 à 18h15 en M-2-7, Intervenant J-M Fédou

  6. •TD  Groupe 1 MPIE le lundi de 13h à 16h 15 en M-2-2, Intervenant S. Julia

  7. •TD  Groupe 2 MPIE le lundi de 13h à 16h 15 en M-3-4, Intervenant G. Fici

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

  8. •Les archives du cours 2010-2011

  9. •Quelques sujets posés les années passées : DS Novembre 2010 (1) , DS Novembre 2010(2), DS Novembre 2009(1), DS Novembre 2009 (2), DS décembre 209


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 (corrigé)

  2. 2. Ensembles et dénombrabilité : Cours2 et TD2 (corrigé)

  3. 3. Relations, fonctions et ordres :  Cours3 et TD3 (corrigé)

  4. 4. Récurrence et induction : Cours4 et TD4 corrigé
    Devoir surveillé le 7 novembre de 8h30 à 10h,     sujet et corrigé

  5. 5. Dénombrement : Cours5 et TD5 (corrigé)

  6. 6. Suites récurrentes : Cours6 et TD6 (corrigé)

  7. 7. Langages rationnels :  Cours7 et TD7 (corrigé)

  8. 8. Automates finis : Cours8 et TD8 (corrigé)

  9. 9. Logique : Cours9 et TD9 (corrigé)



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 le lundi 7 novembre de 8h30 à 10h. (au programme les cours et TD de 1 à 4 inclus). Un bon entrainement est de refaire les exercices des TD 1à 4, partie «Pour aller plus loin» incluse, les corrections sont accessibles et vous pouvez en dernier recours  demander à vos chargés de TD des précisions par mail.

  2. •  pour 1/3  par la note du devoir d’une heure trente le lundi 9 janvier de 8h30 à 10h dans l’amphi du Petit Valrose. L’intégralité du cours et des TD est au programme. Les calculatrices, ordinateurs et téléphones portables sont interdits. Seule est autorisée une feuille A4 manuscrite.  Vous pouvez consulter le corrigé.

  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. Les étudiants qui n’auront pas fait la partie de la feuille de TD «Echauffement» pourront ne pas être admis à participer au TD.

  4. •Les notes du module sont accessibles via l’ENT - Jalon. Merci de me signaler toute erreur ou omission.