Ce cours est destiné aux étudiants 1 master SI. Il vise à introduire et présenter les lois de travail permettant à l’étudiant de faire connaissance avec le monde travail et sa réglementation.

Il est composé de quatre chapitres:
1. Introduction aux concepts de bases
2. Droits et obligations des travailleurs
3. Relations professionnelles et la gestion des ressources humaines
4. Déontologie de travail.

Cet enseignement porte sur les Techniques d’Expression et de Communication Scientifique (Communications écrites et orales : élaboration et présentation de documents écrits, visuels (Posters) et audiovisuels pour soutenances, séminaires, colloques, congrès, articles, rapports…) et préparation à leur présentation orale.

L’enseignement TECS vise à accompagner l’étudiant afin qu’il puisse chercher, développer et renforcer ses compétences cognitives, attitudinales, comportementales inhérentes à la recherche scientifique, à la valorisation des travaux réalisés et aux modalités de la diffusion des informations scientifiques.


Pour ce module nous avons fixé deux objectifs :

Introduire les étudiants à la logique mathématique et en particulier a la méthode de la démonstration.

Fournir aux étudiants les bases nécessaires afin de pouvoir comprendre le fonctionnement de la plupart des outils de démonstration automatique développés en particulier dans le monde académique, et éventuellement de coder eux-mêmes un tel outil.

Ce module permet à l’étudiant de se rendre compte du fondement théorique des sémantiques des langages de programmation. Sur des exemples de langages simples, ce cours montrera les notions de sémantiques opérationnelles, dénotationnelles et axiomatiques sur différents paradigmes de programmation.

Cette matière est une continuation du module « Réseaux » qui considère plus en détail les protocoles de l’architecture TCP/IP . l’étudiant est censé maîtriser le rôle de chaque couche. Pour chaque couche ,un sous ensemble des protocoles est analysé avec l’utilisation du simulateurs GNS3 et le logiciel de capture des trafic Wireshark.