logo Insalogo Insa

Informatique fondamentale

Objectifs

A la fin de ce module, l'étudiant devra avoir compris et pourra expliquer (principaux concepts) :
Partie Automates et Langages
Les deux modèles que sont les langages et les automates en montrant leurs équivalences ainsi que leurs diverses classes et leurs applications. Une ouverture vers la génération de code sera abordée si le temps le permet. Une introduction au fonctionnement des approches dites « programmation par aspects » sera réalisée.
L'étudiant devra être capable de : créer des parseurs de fichiers de données et des compilateurs.
Partie Programmation fonctionnelle
Objectifs relevant de la connaissance, de la compréhension et de l'application des principes et des outils de la programmation fonctionnelle, l'étudiant devra être capable de :
- décrire et expliquer les principes de la théorie du l-calcul
- décrire et expliquer comment les concepts théoriques sont mis en oeuvre dans le langage Caml
- appliquer et réutiliser ces principes pour la réalisation ou la modification de programmes écrits en langage fonctionnel (Ocaml).
Objectifs relevant de l'analyse, la synthèse ou l'esprit critique, l'étudiant devra être capable de :
- en complément des autres cours de programmation, de distinguer, de caractériser et d'argumenter à propos des différentes catégories de langages.




At the end of this module, the student will have understood and be able to explain (main concepts) :

Pré-requis

Algorithmique et Programmation de 1ère et 2ème année

Evaluation

L'évaluation des acquis d'apprentissage est réalisée en continue tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs...