Archives

Ensimag Engineering Degree – 1st Year

Language Theory 1 (2014-2015)

This first language theory course covered finite automata and their transformations (determinization, minimization) and Chomsky’s hierarchy with regular and context-free languages.

Language Theory 2 (2014-2015)

This second language theory course consisted of two parts:

• Language analysis: continuation of the study of out-of-context languages and LL(1) parser.
• Computability and complexity: Turing machines, universal Turing machine, halting problem, decidability/undecidability, reduction, P and NP problems.

Ensimag Engineering Degree – 2nd Year

Principles of Database Management Systems (2015-2016)

Introductory course on relational databases covering all the main notions of this domain: relational algebra, design, normalization, SQL language, and transactions. The DBMS used was Oracle.

Database project (2015-2016)

Continuation of the previous course where students had to design and implement a database according to a specification and develop a Java application allowing to query this database via JDBC technology.

Operating Systems and Concurrent Programming (2015-2016)

Introductory systems course addressing the concepts of processes, synchronization, memory management and paging, file management, and multi-processor systems. A strong emphasis was put on synchronization problems and concurrent programming (mutex, semaphores, …). The C language was used for the practical sessions where the students had to program a mini-shell, a memory allocator, a multi-threaded application…