Logique Formelle
Ce cours est une introduction aux logiques mathématiques et aux techniques de déduction automatique. Il présente deux modèles de raisonnement fondés sur la logique des propositions et la logique des prédicats, permettant, d’avoir une approche mathématique de la programmation. Nous examinons la logique propositionnelle et la logique des prédicats du premier ordre. Nous discutons les liens entre les aspects formels dans ces logiques et les énoncés exprimés informellement. Différentes méthodes de preuve formelle sont présentées et appliquées.
Système d'exploitation I
Ce cours est destiné aux étudiants des sections LGLSI 1 et LIRS 1 de la Faculté des Sciences de Gabès.
Il traite des fondements des systèmes d'exploitation et comportent 04 parties :
- Généralités sur les systèmes d'exploitation
-Ordonnancement des processus
- Gestions des fichiers
- Synchronisation des processus