Archives

Ingénieur Ensimag – 1ère année

Théorie des Langages 1 (2014-2015)

Ce premier cours de théorie des langages abordait les automates finis et leurs transformations (déterminisation, minimisation) et la hiérarchie de Chomsky avec les langages réguliers et hors-contextes.

Théorie des Langages 2 (2014-2015)

Ce second cours de théorie des langages était composé de deux parties :

• Analyse de langages : suite de l’étude des langages hors-contexte, fonctionnement et programmation d’un analyseur LL(1).
• Calculabilité et complexité : machines de Turing, machine de Turing universelle, problème de l’arrêt, décidabilité/indécidabilité, réduction, problèmes P et NP.

Ingénieur Ensimag – 2ème année

Principe des Systèmes de Gestion de Bases de Données (2015-2016)

Cours introductif aux bases de données relationnelles balayant l’ensemble des notions principales de ce domaine : algèbre relationnel, conception, normalisation, langage SQL et transactions. Le SGBD utilisé était Oracle.

Projet Bases de Données (2015-2016)

Suite du cours précédent où les étudiants devaient concevoir et mettre en place une base de données d’après un cahier des charges et développer une application Java permettant d’interroger cette base via la technologie JDBC.

Systèmes d'Exploitation et Programmation Concurrente (2015-2016)

Cours introductif aux systèmes abordant les notions de processus, de synchronisation, de gestion de la mémoire et de pagination, de gestion des fichiers et de systèmes multi-processeurs. Un fort accent était mis sur les problèmes de synchronisation et la programmation concurrente (mutex, sémaphores, …). Le langage C était utilisé pour les TPs où les étudiants étaient amenés à programmer un mini-shell, un allocateur de mémoire, une application multi-threadées …