M1 voie Ampère, parcours UFTAM

Capacité d'accueil

24
Langue(s) d'enseignement

Français

Présentation

Objectifs pédagogiques de la formation

L’objectif du mastère EEA Génie Informatique et Informatique Industrielle pour l’enseignement et l’industrie porté par l’ENS Paris-Saclay et l’ENSIT est de former sur le plan disciplinaire et pédagogique des étudiants se destinant aux métiers de l’enseignement supérieur ou de l’expertise dans les domaines des sciences de l’ingénieur en Génie Électrique et Informatique Industrielle. Le stage de semestre 4, stage pédagogique ou stage industriel, donne la coloration du mastère.
Disposant d’un mastère 2 à haute expertise disciplinaire, double diplôme avec un master français (pas de distinction en France entre Master Pro et Master Recherche), les diplômés peuvent poursuivre leurs études également en doctorat (dans le domaine des sciences de l’ingénieur ou de la didactique). La formation s’appuie sur l’expérience en enseignement technique de l’ENSIT, sur le Master 1 E3A de l’université Paris Saclay (dont l’ENS Paris-Saclay est membre fondateur) et sur les Masters 2 Formation à l’Enseignement Supérieur (FESup) en sciences de l’ingénieur, spécialités ingénierie informatique et ingénierie électrique actuellement dispensés à l’ENS Paris-Saclay.

Lieu(x) d'enseignement

TUNIS (Tunisie)

Pré-requis, profil d’entrée permettant d'intégrer la formation

Les étudiants sont recrutés sur dossier, conformément aux modalités de recrutement des M1 E3A et M2 FESup de Paris Saclay.
Pour l’admission en M1, une licence de physique ou de sciences de l’ingénieur permet de postuler.
L’examen du dossier est suivi pour les bons candidats d’un entretien permettant à celui-ci d’exposer son parcours, son projet professionnel et les motivations de sa candidature à l’UFTAM.

Collaboration(s)

Partenaire(s) académique(s) de la formation

Université Franco Tunisienne pour l'Afrique et la Méditerranée

l’École Nationale Supérieure d'Ingénieurs de Tunis

Programme

Matières	ECTS	Cours	TD	TP	Cours-TD	Cours-TP	TD-TP	A distance	Projet	Tutorat
Conversion d’Energie	5	20	16	16
Conversion d’Energie Langues d’enseignement : FR ECTS : 5 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Morgan ALMANZA (ENS PS) Jamel BELHADJ (ENSIT) Pierre-Etienne LEVY (ENS PS). Objectifs pédagogiques visés : Contenu : Objectif : Maîtriser les principes fondamentaux de la conversion d'énergie électrique, dans le domaine du transport de l’électricité, de l’électrotechnique et de l’électronique de puissance. • Énergie et puissances en triphasé, • Introduction à l’électronique de puissance, présentation des convertisseurs statiques • Redresseur et hacheur • La machine synchrone : principe, modélisation, couplage sur le réseau L’UE comprend 4 TPs de 4h : • Mesure des puissances en triphasé • Redresseur • Hacheur • Machine synchrone. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (ENSIT)

Matières	ECTS	Cours	TD	TP
Asservissement linéaire analogique et numérique	3	20	16	16
Asservissement linéaire analogique et numérique Langues d’enseignement : FR ECTS : 3 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Abdelkader CHAARI (ENSIT) Mohamed ABBAS TURKI (ENS PS) Abderrahman ZAAFOURI (ENSIT) Javier OJEDA (ENS PS) Thomas RODET (ENS PS) Mounir SAYADI (ENSIT) Hassene SEDDIK (ENSIT). Objectifs pédagogiques visés : Contenu : Objectif : Maîtriser les outils fondamentaux pour traiter des problèmes de contrôle ou d’asservissement de processus continus ou échantillonnés. La première partie du module traite l’asservissement analogique de systèmes linéaires : • Modélisation en fonction de transfert, • Structure d’un système bouclé, • Analyse des asservissements : rapidité, stabilité, précision, • Correcteurs classiques P, PI, PD, PID Ces notions seront illustrées par deux séances de travaux pratiques : • Identification, modélisation, simulation d’un système linéaire • Synthèse d’un correcteur analogique pour un système linéaire, simulation et tests. La seconde partie traite de l’asservissement numérique. La chaîne d’acquisition numérique est vue en parallèle en électronique (UE Télécommunications 1). • Rappel sur l’échantillonnage, le repliement spectral et le théorème de Shannon, • Transformée en Z, calcul de transformée en Z, • Analyse des asservissements échantillonnés : rapidité, stabilité et précision, • Équations de récurrence, matrices de récurrence, implantation numérique, • Synthèse d’asservissements par discrétisation de correcteurs continus.Ces notions seront illustrées par deux séances de travaux pratiques : • Commande d’un système numérique, influence de la fréquence d’échantillonnage, • Synthèse d’un correcteur numérique pour un système linéaire, simulation et tests. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)
Traitement statistique des signaux multidimensionnels	4	20	16	16
Traitement statistique des signaux multidimensionnels Langues d’enseignement : FR ECTS : 4 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Abdelkader CHAARI (ENSIT) Mohamed ABBAS TURKI (ENS PS) Abderrahman ZAAFOURI (ENSIT) Javier OJEDA (ENS PS) Thomas RODET (ENS PS) Mounir SAYADI (ENSIT) Hassene SEDDIK (ENSIT). Objectifs pédagogiques visés : Contenu : Objectifs : Acquérir les bases nécessaires pour étudier, caractériser, analyser et modéliser les signaux aléatoires ; maîtriser les principales méthodes d’estimation statistique ; aborder les signaux et systèmes multidimensionnels. Cet enseignement combine les approches théorique et pratique. Chaque séance de cours est suivie d’une séance de travaux dirigés. Le cours est ponctué d’exemples illustrant les notions abordées afin de les rendre parlantes et est entrecoupé de séances de travaux pratiques. Les énoncés des travaux pratiques sont conçus afin de revoir des pré-requis et de découvrir des notions qui sont ensuite reprises en cours. • Introduction et rappels : probabilités, variables aléatoires vectorielles, vecteurs gaussiens, • Signaux aléatoires : moments temporels et statistiques, stationnarité, ergodicité, corrélation, densité spectrale de puissance, filtrage, signaux ARMA, TP : applications avec mise en oeuvre : estimation de la corrélation, mesure de retard par corrélation, filtrage adapté, synthèse de voyelles • Estimation statistique : grandeurs caractéristiques d’un estimateur, moindres carrés, maximum de vraisemblance, estimateur linéaire en moyenne quadratique, estimateurs bayésiens TP : application avec mise en oeuvre : traitement d'antenne et localisation de sources • Éléments sur les signaux et systèmes multidimensionnels : exemples de signaux et de transformées de Fourier 2D, échantillonnage 2D, filtrage 2D. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	Cours	TD	TP	Cours-TD	Cours-TP	TD-TP	A distance	Projet	Tutorat
Electronique analogique et numérique pour les télécoms	5	20	16	16
Electronique analogique et numérique pour les télécoms Langues d’enseignement : FR ECTS : 5 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Rached GHARBI (ENSIT) Jean-Pierre BARBOT (ENS PS). Objectifs pédagogiques visés : Contenu : Objectif : Acquérir les bases nécessaires à l'étude des systèmes électroniques de transmission de l'information. Les thèmes suivants sont abordés : • Introduction aux systèmes de transmission : synoptique d'une chaîne de transmission, conditionnement du signal, • Circuits pour la transmission : filtres, amplificateurs, oscillateurs et oscillateurs contrôlés en tension, • Conversion analogique/numérique, numérique analogique : principe, réalisation, échantillonnage, quantification, recouvrement spectral, • Filtrage numérique : réponse impulsionnelle, transformée en z, gain complexe, stabilité, filtre RII et RIF, synthèse. Quatre séances de travaux pratiques permettent d’illustrer ces différentes thématiques et d’améliorer la maîtrise des équipements d’instrumentation : • Amplification, filtrage, • Oscillateurs, • Conversion analogique/numérique et numérique/analogique, • Filtrage numérique. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	Cours	TD	TP
Architecture des microcontrôleurs	4	8	8	36
Architecture des microcontrôleurs Langues d’enseignement : FR ECTS : 4 Détail du volume horaire : Cours : 8 Travaux dirigés : 8 Travaux pratiques : 36 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Ahlem BEN YOUNES (ENSIT) Anthony JUTON (ENS PS). Objectifs pédagogiques visés : Contenu : Objectifs : Découvrir l'architecture des systèmes programmés à partir d'un microcontrôleur relativement simple, Comprendre le fonctionnement d'un processeur, l’exécution du code, les liens avec les mémoires, les interruptions. Comprendre et mettre en oeuvre les principaux périphériques basiques des microcontrôleurs : E/S, Timers, PWM, ADC, DAC, liaison série, I2C. Programmer des applications proches d'applications industrielles. Maîtriser les outils de l'informatique industrielle : Environnement de développement, bibliothèques, débogueur, oscilloscope, analyse de trames réseaux. Le support de ce premier module d'informatique industriel est un microcontrôleur NXP LPC804 choisi pour sa modernité (Cortex M0+, modes de veille très économes) et sa relative simplicité. Le module s’appuie sur une carte de travaux pratiques développée spécifiquement pour l’apprentissage de l’architecture des microcontrôleurs. Les thèmes suivants sont abordés, avec toujours une mise en pratique graduée et en parallèle l’ajout de fonctionnalités dans le développement d’un objet connecté : • Les entrées sorties TOR, • Le timer et les PWM, • Le plan mémoire, le décodage d’adresse, • La liaison série, • L’utilisation du langage assembleur, • Les appels de sous-prog, les interruptions (NVIC) et l’utilisation de la pile, • Le bus I2C, • La conversion analogique-numérique (ADC), numérique-analogique (DAC), • La gestion de l’énergie et les modes de veille. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)
Langage et algorithmique	3	12	20	36
Langage et algorithmique Langues d’enseignement : FR ECTS : 3 Détail du volume horaire : Cours : 12 Travaux dirigés : 20 Travaux pratiques : 36 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Ahlem BEN YOUNES (ENSIT) Anthony JUTON (ENS PS). Objectifs pédagogiques visés : Contenu : Objectifs : Maîtriser 2 langages incontournables en informatique embarquée ; la langage C et le python. Savoir élaborer un algorithme pour répondre à un problème et savoir mettre en oeuvre un algorithme standard. L’apprentissage du langage C regroupe l’ensemble des éléments du langage, et quelques algorithmes classiques : tours de Hanoï, crible d’Eratosthène, tri par insertion : • Les Variables, opérateurs et structures de contrôle, • Les fonctions : utilisation des fonctions, écriture de fonctions, création d’une bibliothèques, • Les types de variables avancés : transtypage, pointeurs, tableaux, chaînes de caractères, • Les fichiers : lecture/écriture dans un fichier, parsing, • Les structures : création et utilisation des structures, listes chaînées, • Utilisation d’une bibliothèque graphique : SDL. L’apprentissage du langage Python permet de maîtriser les éléments essentiels de ce langage et de montrer l’exceptionnelle diversité des possibles à travers l’exploitation de quelques bibliothèques standard (mathématiques, graphiques...) Les variables, les structures conditionnelles et les boucles, • Les fonctions et les modules, • Gestion des exceptions • Les chaînes de caractères, les listes et les tuples, • Les dictionnaires • Les fichiers • Utilisation de quelques bibliothèques standard. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	TD
Anglais général et technique	4	36
Anglais général et technique Langues d’enseignement : AN ECTS : 4 Détail du volume horaire : Travaux dirigés : 36 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Jamel BELHADJ (ENSIT) Anthony JUTON (ENS PS) Saloua OUNALI (ENS) Samira KARRACH (UFTAM). Objectifs pédagogiques visés : Contenu : Objectifs : Améliorer sa pratique de l’Anglais, notamment dans le domaine technique et préparer une certification internationale de langue anglaise ( TOEFL, TOEIC, IELTS ou Cambridge). Les séances consacre une partie du temps à l’expression orale et une autre à la préparation de la certification : • Révisions de grammaire sur les difficultés habituelles de la langue, • Compréhension de la langue orale (clips, films et séries TV, chansons en anglais), • Pratique de la langue orale (jeux de rôles, conversations téléphoniques, exposés oraux) • Anglais technique (vocabulaire et structures fréquemment rencontrées) • Passage de la certification (préparation pour le test officiel de compréhension orale et écrite). Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)
Communication	2	16
Communication Langues d’enseignement : FR ECTS : 2 Détail du volume horaire : Travaux dirigés : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Jamel BELHADJ (ENSIT) Anthony JUTON (ENS PS) Saloua OUNALI (ENS) Samira KARRACH (UFTAM). Objectifs pédagogiques visés : Contenu : Objectif : Maîtriser les codes de la communication professionnelle. Une partie de l’enseignement est consacré à la présentation de soi : • Reformuler son CV, • Améliorer la rédaction d’une lettre de motivation, • Préparer un entretien de recrutement. Une autre partie est consacrée à la communication orale et à la communication d’entreprise. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	Cours	TD	TP	Cours-TD	Cours-TP	TD-TP	A distance	Projet	Tutorat
Production d’électricité à partir d’énergies renouvelables	5	20	16	16
Production d’électricité à partir d’énergies renouvelables Langues d’enseignement : FR ECTS : 5 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Morgan ALMANZA (ENS PS) Jamel BELHADJ (ENSIT) Pierre-Etienne LEVY (ENS PS). Objectifs pédagogiques visés : Contenu : Objectif : Acquérir les connaissances de base sur les méthodes de production de l’électricité à partir des énergies renouvelables et la physique associée. Les étudiants seront sensibilisés aux principes et technologies de conversion d’énergie associés - machines électriques et électronique de puissance - ainsi qu’aux stratégies de contrôle mises en oeuvre. • Les principes physique de la conversion d’énergie : Photovoltaïque, hydraulique, éolien • La machine asynchrone en moteur et en génératrice L’UE comprend 4 TPs de 4h : • Caractérisation de panneau photovoltaïque, • Convertisseur pour panneaux photovoltaïque : système autonome / système connecté • Caractérisation de la machine asynchrone, • La machine asynchrone en génératrice éolienne. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (ENSIT)

Matières	ECTS	Cours	TD	TP	Cours-TD	Cours-TP	TD-TP	A distance	Projet	Tutorat
Synthèse des correcteurs numériques et commande des systèmes non linéaires	5	20	16	16
Synthèse des correcteurs numériques et commande des systèmes non linéaires Langues d’enseignement : FR ECTS : 5 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Abdelkader CHAARI (ENSIT) Mohamed ABBAS TURKI (ENS PS) Abderrahman ZAAFOURI (ENSIT). Objectifs pédagogiques visés : Contenu : Objectif : Acquérir les outils et méthodes pour la synthèse des correcteurs numérique et les connaissances fondamentales sur l’analyse et la commande des systèmes non linéaires par les techniques classiques. La première partie du module s’intéresse à la synthèse de correcteurs numériques : • Structure de commande RST et calcul de correcteurs par placement de pôles, • Synthèse pseudo-continue de correcteurs : transformation en w. Ces notions seront illustrées par deux séances de travaux pratiques. La seconde partie du module traite de la commande des systèmes non linéaires : • Généralités sur les systèmes non linéaires : Équilibres, stabilité locale, notion de zone d’attraction... • Techniques d’analyse non linéaires classiques : Méthodes du premier harmonique et du plan de phase... • Éléments de la théorie de Lyapounov : Fonction de Lyapounov, théorème de Lasalle... • Synthèse de correcteur : Linéarisation par bouclage, mode glissant… Ces notions seront illustrées par deux séances de travaux pratiques. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	Cours	TD	TP
Modulations analogiques et numériques	4	20	16	16
Modulations analogiques et numériques Langues d’enseignement : FR ECTS : 4 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Rached GHARBI (ENSIT) Jean-Pierre BARBOT (ENS PS). Objectifs pédagogiques visés : Contenu : Objectif : Découvrir et réaliser des modulations analogiques et numériques et leurs applications dans la transmission d’informations. Les différents types de modulation à porteuse sinusoïdale sont décrits d’abord sous un angle « analogique », c'est-à-dire quelle que soit la forme du signal modulant. Leurs avantages et inconvénients respectifs seront discutés en termes d'encombrement en fréquence et d'efficacité vis-àvis du bruit. Vient ensuite une première approche des transmissions numériques. • Fonctions électronique pour la modulation : ? multiplieurs de tensions et mélangeurs ? boucle à verrouillage de phase • Modulation à porteuse sinusoïdale : ? Modulation d'amplitude (AM) à double bande latérale à porteuse supprimée ou conservée ? Démodulation d'enveloppe et démodulation synchrone (AM) ? Modulations AM à bande latérale unique ou résiduelle, modulation d'amplitude en quadrature ? Modulations angulaires de fréquence FM et de phase PM ? Exemple de réalisations de modulateurs et démodulateurs FM et PM ? Bruit ? Exemples de chaînes d'émission-réception • Modulations numériques : ? Théorie de l'information, ? Chaîne de transmission numérique, ? Synchronisation, bruit d'échantillonnage/quantification, ? Numérisation, quantification non-uniforme : lois ?, loi A, codage différentiel, conversion sigma-delta, ? Transmission en bande de base, effet du canal, 1er principe de Nyquist, ? Modulations numériques, ? Diagramme de l'oeil, égaliseur, taux d’erreur binaire, ? Codage source et canal, 4 séances de travaux pratiques illustrent ces thématiques : • Modulation/Démodulation AM • Modulation/Démodulation FM • Modulation FSK • Modulation PSK. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)
Réseau Ethernet TCP IP Introduction aux bases de données	3	20	16	16
Réseau Ethernet TCP IP Introduction aux bases de données Langues d’enseignement : FR ECTS : 3 Détail du volume horaire : Cours : 20 Travaux dirigés : 16 Travaux pratiques : 16 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Ahlem BEN YOUNES (ENSIT) Anthony JUTON (ENS PS) Ikbal MSADAA(ENSTAB). Objectifs pédagogiques visés : Contenu : Objectifs : Connaître les notions essentielles de réseaux et maîtriser les concepts et les outils liés à l’ensemble des protocoles Ethernet / TCP / IP. Connaître les bonnes pratiques et savoir mettre en oeuvre les outils pour sécuriser un réseau informatique industriel. Maîtriser les concepts de base et les outils de la gestion de bases de données. Les thèmes abordés sont les suivants : • Introduction aux réseaux, la topologie, les couches OSI, LAN/WAN, réseaux de terrain / réseaux IP, • Couche physique : Ethernet, WIFI, switch, VLAN, • Couche réseau IP, ARP, routage et translation d’adresses, protocoles DHCP, IPv4, IPv6, • Couches transport UDP et TCP, les ports, les proxy, • Quelques couches applications : DNS, HTTP, FTP, SSH, SMTP, • Introduction à la cybersécurité, VPN, Firewall, tunnel SSH, • Introduction aux bases de données (principes, serveurs de gestion de base de données, initiation au langage SQL). Les TDs font usage d’un simulateur de réseau GNS3. Les TPs abordent l’installation d’un réseau administré et sécurisé comprenant des serveurs accessibles depuis l’extérieur. Ils ont lieu dans la salle de TP réseaux de l’UFTAM. Chaque binôme d’étudiants configure son réseau construit autour d’un routeur VPN TP Link Arcer C7, d’un switch administrable D Link DGS 1210. Les divers serveurs (base de données, web,…) sont réalisés sur des cartes Raspberry Pi. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	Cours	TD	TP
Architecture avancée des microcontrôleurs et systèmes temps réels	4	8	8	36
Architecture avancée des microcontrôleurs et systèmes temps réels Langues d’enseignement : FR ECTS : 4 Détail du volume horaire : Cours : 8 Travaux dirigés : 8 Travaux pratiques : 36 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Ahlem BEN YOUNES (ENSIT) Anthony JUTON (ENS PS). Objectifs pédagogiques visés : Contenu : Objectif : Appréhender des périphériques plus complexes des microcontrôleurs à l’aide d’outil d’assistance au développement. Maîtriser différents concepts des systèmes d’exploitation à travers la mise en oeuvre d’un système d’exploitation temps réel relativement simple. Le support des travaux pratiques est une carte électronique développée spécifiquement ce module autour d’un microcontrôleur STM32F746 choisi pour ses performances (Cortex M7, 208 MHz) et ses périphériques ombreux et divers (Carte SD, Ecran LCD, Ethernet, USB, DMA, Codec audio...). Les thèmes abordés lors de ce modules sont les suivants : • Périphériques avancés des microcontrôleurs : ? Gestion DMA, ? Ethernet et pile tcp/ip logicielle, ? Codec audio. • Système d’exploitation temps réels : ? Ordonnancement des tâches, ? Gestion des ressources, sémaphore et mutex, ? Messagerie, timer soft, ? Gestion des interruptions. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)
Programmation orientée objet et logique formelle	3	12	8	28
Programmation orientée objet et logique formelle Langues d’enseignement : FR ECTS : 3 Détail du volume horaire : Cours : 12 Travaux dirigés : 8 Travaux pratiques : 28 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Ahlem BEN YOUNES (ENSIT) Anthony JUTON (ENS PS). Objectifs pédagogiques visés : Contenu : Objectif : Concevoir des programmes informatiques avec le formalisme objet. Le langage retenu est java. • Notion de variable, référence, classe, objet, • Méthode, héritage, polymorphisme, exception, threads, héritage multiple, • Interface, programmation événementielle Ce cours de langage largement orienté vers la pratique est suivi d’une introduction à la logique formelle : • Introduction à la logique • Logique des propositions ? Logique des propositions : que peut-on modéliser avec ? ? Syntaxe et formule bien formée (fbf) ? Connecteur logique et système complet de connecteurs ? Table de vérité, Forme normale (conjonctive, disjonctive) ? Inférence en logique des prédicats • Logique des prédicats du 1er ordre ? Logique des prédicats : quel pouvoir de représentation par rapport à la LP ? ? Quantificateurs et termes (variables, constantes) ? Prédicats et fonctions ? Forme propre : portée des variables ? Forme clausale et forme normale : forme prenexe ? Unification : substitution et application à la résolution (résolvante) • Calcul décidable et programmation logique ? Récursivité ? Terminaison des programmes Prolog (modes d’utilisation) ? Structures de liste en Prolog Quelques séances de TP sont prévues pour se familiariser avec le langage Prolog. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Matières	ECTS	Cours	TD	TP	Cours-TD	Cours-TP	TD-TP	A distance	Projet	Tutorat
Travaux d'étude et de recherche	6			72
Travaux d'étude et de recherche Langues d’enseignement : FR ECTS : 6 Détail du volume horaire : Travaux pratiques : 72 Modalités d'organisation et de suivi : Coordinateur : Equipe pédagogique : Jamel BELHADJ (ENSIT) Anthony JUTON (ENS PS). Objectifs pédagogiques visés : Contenu : Objectifs : Initier les étudiants à un travail méthodique de recherche et développement. Le travail comporte 4 étapes : • Effectuer un travail bibliographique et/ou de préparation sur un sujet donné, • Mettre en oeuvre les connaissances acquises pendant l'année lors de la phase de conception/ réalisation, • Rédiger un rapport de synthèse, • Présenter oralement de manière synthétique un travail. Période(s) et lieu(x) d’enseignement : Lieu(x) : Tunis (Université Franco Tunisienne pour l'Afrique et la Méditerranée)

Modalités de candidatures

Période(s) de candidatures

Ce M1 ne recrute pas pour la prochaine rentrée universitaire

Pièces justificatives obligatoires

Lettre de motivation.
Tous les relevés de notes des années/semestres validés depuis le BAC à la date de la candidature.
Curriculum Vitae.

Pièces justificatives complémentaires

Dossier VAPP (obligatoire pour toutes les personnes demandant une validation des acquis pour accéder à la formation) https://www.universite-paris-saclay.fr/formation/formation-continue/validation-des-acquis-de-lexperience.
Document justificatif des candidats exilés ayant un statut de réfugié, protection subsidiaire ou protection temporaire en France ou à l’étranger (facultatif mais recommandé, un seul document à fournir) :
- Carte de séjour mention réfugié du pays du premier asile
- OU récépissé mention réfugié du pays du premier asile
- OU document du Haut Commissariat des Nations unies pour les réfugiés reconnaissant le statut de réfugié
- OU récépissé mention réfugié délivré en France
- OU carte de séjour avec mention réfugié délivré en France
- OU document faisant état du statut de bénéficiaire de la protection subsidiaire en France ou à l’étranger.

Contact(s)

Responsable(s) de la formation

Anthony Juton - anthony.juton@ens-paris-saclay.fr

Secrétariat pédagogique

Marie Guillemet - marie.guillemet@ens-paris-saclay.fr