Le module d’initiation à l’informatique pour scientifiques permet d’initier les étudiants à la programmation et au calcul scientifique. Les élèves découvrent les rudiments de la programmation impérative (boucles et branchements), et sont sensibilisés aux méthodes numériques (algorithme de Newton, calcul matriciel).
Documents rédigés pour cette ue . . Travaux dirigés [TD3], [TD6] Travaux pratiques [TME] Interrogation [interro]
Le module de calculabilité et décidabilité présente les fondement de la théorie de l’informatique, notamment les expressions régulières, les grammaires formelles (pour la compilation), ainsi que les machines de Türing. Les sujets de TME permettent l’utilisation d’outils informatiques importants comme grep, lex et yacc, ainsi que la programmation d’un programme de recherche d’expressions régulières.
Documents rédigés pour cette ue . . Supports de cours [minimisation d’automate], [parseur LR] Travaux dirigés et pratiques [automates 1], [automates 2], [expressions régulières], [lex/yacc] Bibliothèque de programmation [derivation.ml], [derivation.mli], [Derivation.html] Examens [rattrapage], [examen grammaire], [interrogation]