This course presents bases over data structures and principles of algorithm conception, as well as a certain number of more advanced developments.
This course presents main concepts in programming languages through study of their compilation, ie. translation to a machine language. Students will have to realize a small compiler.
The course presents the material composant of computer science world. From conception princilpes and circuit realization, to various applications to highly performant numerical computation: in physics, electronics, algebra and telecommunication. Each application goes from algorithms (software) to circuit (materal): sames operations, different performances.
This course of systems presents foundamentals of operating systems, their use and their implementation in a UNIX system.
This course is an introduction to databases, insisting on the relational model and with openings on the Web. The subjects that are covered include: query languages, access structures, query optimization, transaction management, distributed databases. Tutorials will focus on databases for web applications.
This course is aimed at students interested in mathematical and practical aspects of algorithmics. Its goal is to teach the fundamentals of cryptology and the main tools that are used to solve security problems.
This course explores the basics of the lambda-calculus, a tool invented by the logician Alonzon Church in the 1930s, and which is instrumental today both in semantics of programming languages (computer science) and in proof theory (logic).