Cours Outils Formels pour l’Informatique en deuxième année de Licence Informatique au premier semestre 2014-2015
• Premier devoir surveillé, le lundi 2 Novembre, de 16h à 17h30 en amphi de Géologie. Le programme porte sur tout ce qui a été vu depuis le début de l’année, en cours et en TD. Une feuille A4 manuscrite recto/verso autorisée.
Cours Mercredi 8h00-9h30h, en amphi de Physique 1, Intervenant Jean-Marc Fédou pendant six semaines, Erico Formenti les six dernières semaines.
TD Groupe 1
-le mercredi de 9h45 à 13h en C1.2, Intervenant Jean-Marc Fédou pendant six semaines, Erico Formenti les six dernières semaines.
TD Groupes 2
-le jeudi de 9h 45à 13h, Intervenant Olivier Dalle. Attention aux salles :
- Les jeudis 1er et 8 octobre de 9h45 à 13h salle M03
- Les jeudis 15 et 22 octobre de 9h45 à 13h salle P35
- Le jeudi 5 novembre de 9h45 à 13h salle C11
- Les jeudis 12 novembre jusqu'au 10 décembre de 9h45 à 11h15 amphi de chimie et de 11h30 à 13h salle C12
Bibliographie
•A. Aho et J. Ullman, Concepts fondamentaux de l'Informatique, Dunod.
•A. Arnold et I. Guessarian, Mathématiques pour l'Informatique, Masson.
•M. Marchand, Outils mathématiques pour l’informaticien, Michel Marchand, De Boeck.
•J. Vélu, Méthodes mathématiques pour l’informatique, Dunod
•N.H. Xuong, Mathématiques discrètes et informatique, Masson.
•Quelques sujets posés les années passées : Sujet du devoir surveillé de janvier 2015, sujet et la correction du devoir surveillé du mercredi 12 novembre 2015, Sujet du devoir surveillé du 20 janvier 2014 avec un corrigé, DS Octobre 2013 : Sujet et corrigé , DS Octobre 2012 (sujet et corrigé), DS Janvier 2013( sujet et corrigé), DS Janvier 2012, DS Novembre 2011 (sujet et corrigé ),DS Novembre 2010 (1) , DS Novembre 2010(2), DS Novembre 2009(1), DS Novembre 2009 (2), DS décembre 2009.
Programme :Le cours d’informatique théorique de licence abordera
•Les mathématiques pour l’informatique, avec les concepts de base que sont les mathématiques discrètes la logique et le dénombrement.
•La formalisation des objets informatiques avec l’induction, les langages formels et la théorie des graphes
•L’étude des performances des ordinateurs avec en particulier la complexité des algorithmes.
Le plan du cours est le suivant :
2. Ensembles et dénombrabilité : Cours2 et TD2 et un corrigé.
3. Relations, fonctions et ordres : Cours3 et TD3 et un corrigé.
5. Devoir surveillé Mercredi .
Evaluation : L’évaluation du module se fera à partir de deux devoirs surveillés, l’un à mi semestre , l’autre en fin de semestre La note du module sera calculée comme suit,
• pour 40% par la note du devoir d’une heure trente en novembre
• pour 60 par la note du devoir d’une heure trente en janvier .