The objective of this course is to  introduce  the theory of formal languages.

Languages ​​allow humans to exchange information and ideas and to communicate with machines.

The languages ​​used between humans are called 'natural languages', they are usually informal and ambiguous and require interpretation by a human brain to be interpreted correctly.

The languages ​​created by humans to communicate with the machine are the formal languages  or artificial languages. They must be formalized and unambiguous in order to be interpreted by a machine, this is the goal of this course.

An Operating System (OS) is an interface between a computer user and computer hardware. An operating system is a software which performs all the basic tasks like file management, memory management, process management, handling input and output, and controlling peripheral devices such as disk drives and printers.

Ce cours permettra à l’étudiant de comprendre l’importance de structurer et de manipuler les données sous forme tabulaire. En explorant le modèle relationnel et l’algèbre relationnelle, il développera une approche pratique de l’organisation des données. Il assimilera également les concepts clés tels que l’indépendance entre les données et les traitements, ainsi que les principes d’intégrité et de cohérence des données.