INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire

Transcription

1 Centre d Etudes Suisse Romande Formation universitaire INFORMATIQUE Licence 3 e année (L3) & Master (M1-M2) En collaboration avec l Université de Franche-Comté CTU de Besançon

2 Unidistance 2 GÉNÉRALITÉS Profil des participants La formation est destinée aux informaticiens cherchant à accroître leur degré de compétence ou à compléter leur formation. Particularité de la formation Ce cursus commence en 3 e année de licence et se déroule à mi-temps. Conditions d admission Unidistance dispose d un effectif de dix étudiants par année d étude. La sélection se fait sur présentation d un dossier complet (CV, lettre de motivation et justificatifs en relation avec le cursus). Ont accès à la licence : les titulaires d un titre HES/ES en Informatique ou d une formation spécifique. Ont accès au master : les titulaires de la licence (L3) Validation d acquis : Les validations d acquis n existent pas. Titres obtenus et durée des études Titre Licence (L3) 180 crédits ECTS Master (M1-M2) 120 crédits ECT Temps partiel 2 ans 4 ans Reconnaissance des diplômes Les titres français de cette filière sont reconnus en Suisse. Il est donc possible d obtenir une équivalence entre diplômes de même degré. Un étudiant ayant débuté ses études à Unidistance peut les poursuivre auprès d une université suisse. Selon le programme choisi, un dossier d équivalences peut être exigé. De même, un étudiant provenant d une université suisse ou européenne peut poursuivre sa formation auprès d Unidistance. Modalités d inscription Unidistance traite toutes les demandes d admission présentées entre la mi-juin et le 20 août. Début des études Les études d Informatique commencent généralement dans la dernière quinzaine d octobre. Support et regroupements Le centre de télé-enseignement universitaire (CTU) de Besançon met à disposition le matériel pédagogique sur sa plateforme informatique.

3 Unidistance 3 Contrôle des acquis - examens Toutes les épreuves écrites sont organisée à Unidistance, elles ont lieu en fin de semestre. Pour chaque session, l examen est composé d un examen principal (2h) comptant pour 60% et d un examen complémentaire (1h) comptant pour 40 %. Les examens se déroulent en deux sessions. La première, concernant les UE (Unités d Enseignement) du 1er semestre a lieu à fin janvier/début février et celle concernant les UE du 2e semestre se déroule fin mai/début juin. La deuxième session se tient à fin août/ début septembre et concerne l ensemble des UE de l année (semestres 1 et 2). Toutes ces sessions se déroulent au centre d examens d Unidistance à Sierre. Chaque UE est notée sur 100 Il y a une compensation entre les 8 UE de licence Une UE dont la note est supérieure ou égale à 50 est définitivement acquise Si une UE obtient moins de 50 sur 100 et que cette note n est pas compensée, elle est, sur demande expresse formulée au moment de la réinscription, conservée durant un an. Débouchés professionnels PME et grandes entreprises, privées et publiques; développement et protection des systèmes d information; gestion et planification des nouvelles technologies; étude, réalisation et direction de projets informatiques; enseignement. DESCRIPTION DE LA BRANCHE D ÉTUDE Ces études à temps partiel s étalent sur deux ans et permettent d obtenir une Licence (L3) en informatique de l Université de Franche-Comté. Cette filière s adresse aux personnes possédant de solides connaissances d informatique et disposant d un matériel informatisé leur permettant de suivre les cours à distance à l aide d un ordinateur relié à Internet. Organisation des études Ces UE correspondent chacune à un volume de 60 heures d enseignement. Le L3 correspond à 480 heures d enseignement. Le Master M1 + M2 correspond à 960 heures d enseignement.

4 Unidistance 4 PRÉSENTATION DES ÉTUDES Licence L3 1 ère Année Bases de données (BD) Méthodes et outils de programmation (MOP) Analyse et modélisation des systèmes d information (AMSI) Méthodes formelles (MF) Ce module présente les concepts essentiels des bases de données relationnelles. On y présente ce qu est une base de donnée et un SGBD, la modélisation relationnelle définie par Codd, le langage standard des SGBD relationnels, à savoir SQL et enfin la normalisation qui, à partir de l étude de propriétés particulières et du théorème de décomposition, permet de vérifier la validité du modèle relationnel. La conception et la programmation par objets, ainsi que la structure de données, représentent l objectif de ce cours. On y présente la notion de classe et d héritage. Toutes les nouvelles notions découvertes et présentées sont illustrées par des exemples. Les applications et les travaux pratiques sont développés dans le langage de programmation C++. L analyse informatique consiste à comprendre et à modéliser la gestion du domaine d activité dans une entreprise et à concevoir la solution informatique appropriée. L efficacité et la validité d une analyse reposent sur la qualité de la communication entre les utilisateurs et les informaticiens. La qualité de la communication est obtenue en partie grâce à l utilisation d une méthode d analyse, d où la nécessité de présenter une méthode d analyse classique (MERISE) permettant l analyse d un problème. Ce cours introduit les formalismes les plus utiles en informatique. On y apprend notamment à formaliser des énoncés, à construire et rédiger des raisonnements logiques, à modéliser des algorithmes et à prouver leur correction. L enseignement porte sur les systèmes formels, les types génériques, les notations symboliques, le typage des fonctions, la vérification du typage, les listes et les calculs sur les types inductifs. Pré requis : Algèbre de Boole, théorie des ensembles, récurrence, types du langage C. 2 ème Année Architecture des systèmes Informatiques (ASI) Systèmes et réseaux (SR) Le but du cours est de comprendre ce qui se passe à l intérieur de l ordinateur (interprétation d une instruction, circulation des flux d information, optimisation du fonctionnement de l ordinateur et des programmes). Tout cela nécessite une bonne connaissance du fonctionnement de l ordinateur, des microprocesseurs récents, de la mémoire et du système d entrées-sorties. Ce module amène à utiliser et à débuter l administration d un ordinateur utilisant un «operating system Unix» issu de «Système V Release 4». Les différentes parties traitées sont : les systèmes de fichiers, l environnement de travail, les commandes, la gestion de la sécurité, les processus et le réseau (adressage, protocole, gestion). Ce module apprend à utiliser le langage HTML pour structurer des documents, inclure des médias et réaliser une mise en forme correcte sur différents navigateurs. L insertion du langage Java Script dans les pages Web permet d introduire l interactivité et le traitement de données qui manquent à HTML. Enfin, en joignant Java Script et les feuilles de style CSS, il sera possible de réaliser des pages DHTML (Dynamic HTML). Langages du Web (LW)

5 Unidistance 5 Théorie des langages, sémantique et preuve (TLSP) L objectif de ce module est de donner une meilleure maîtrise des langages de programmation et de l algorithmique en présentant les concepts de la théorie des langages (grammaires régulières, grammaires algébriques, automates) et les concepts de la théorie des programmes (spécification, vérification, logique de Hoare, preuve d algorithme). La théorie des langages constitue l un des fondements mathématiques largement utilisé pour la construction des analyseurs lexicaux et syntaxiques des compilateurs de langages de programmation. La théorie des programmes est un autre volet théorique pour fonder l analyse sémantique des langages et vérifier que des programmes calculent effectivement le résultat défini dans un énoncé appelé spécification. Les générateurs de code des compilateurs et les outils de vérification de cohérence des programmes reposent sur cette théorie.

6 Unidistance 6 Master M1 1 ère Année Langages du Web dynamique (LWD) Méthodes et outils pour intelligence artificielle (MOIA) Base de données avancées (BDA) Ce module porte sur la programmation de sites Web dynamiques en utilisant ASP ou PHP en examinant les particularités de chacun des deux langages. Ensuite, seront passées en revue, les différentes possibilités de connexion et de requêtes SQL. Finalement, les traitements particuliers tels que les envois d , la gestion des dossiers et des fichiers, le téléchargement vers le serveur, seront abordés et expliqués en détail. Dans ce cours, l étude porte sur des modélisations d informations et des méthodes de résolution utilisées en intelligence artificielle qui s articulent en 3 axes : 1) historique, présentation de formalismes et d algorithmes de recherche dans les graphes d état 2) contrainte, système expert et jeu 3) planification, apprentissage, méthodes incomplètes et linguistiques. L objectif de ce module est d appréhender les notions essentielles véhiculées par les nouvelles générations de bases de données, en particulier les notions liées à une approche orientée Objet. Les SGBD orientés Objet sont la réponse directe aux problèmes des nouvelles applications. Génie logiciel (GL) Ce module ce divise en deux parties : Partie 1 - processus de développement du logiciel - qualité du logiciel (produit et processus) - analyse des besoins - phase de maintenance. Partie 2 - spécifications formelles avec la notation B - modélisation logico ensembliste - validation et vérification du modèle abstrait. 2 ème Année Architectures logicielles à objets (ALO) Programmation fonctionnelle avancée (PFA) Evaluation de programmes (EP) Informatique graphique (IG) Le but du cours est d étudier des architectures complètes de classes et leur design afin de s en servir pour concevoir des applications ou des hiérarchies de classes réutilisables. L environnement Java sert de support à cette étude. Ce module se divise en deux parties : Partie 1 présentation des choix qui sont liés à la conception d un langage fonctionnel; Partie 1 présentation des techniques de programmation dites avancées. Ce module est une introduction aux outils théoriques permettant d évaluer la performance d un algorithme. L étude de la complexité dans le cas pire constitue la partie principale du cours et sera illustrée par de nombreux exemples (tris par comparaisons, tris numériques, arbres et graphes, ) Le but de ce cours d infographie est de démontrer les bases de ce domaine en partant des concepts les plus simples pour aller vers les concepts évolués (du tracé vers les textures) Les applications seront écrites en C avec Borland C et OpenGL, ainsi qu en VRML.

7 Unidistance 7 Master M2 1 ère Année Communication dans les systèmes distribués (CSD) Ingénierie dirigée par les modèles et sécurité (IDMS) Algorithmique concurrente (AC) Modélisation et évaluation des systèmes informatiques (MESI) Acquisition de compétences dans la maîtrise du développement d applications et de services réseau, principalement du point de vue des problématiques de communication. Utilisation du langage C, C++ et Java. Programmation des systèmes Unix et utilisation du shell. Ce cours s articule autour de la notion de modèles, de méta-modèles, des langages de contraintes portant sur les modèles et s appuyant sur les méta-modèles. La sécurité informatique et ses principes généraux terminent ce module. Présentation de l algorithmique concurrente dans le contexte centralisé et distribué. Connaissance des algorithmes, de l architecture des ordinateurs, de la communication entre processeurs. Ce module traite des thèmes suivants : automates finis et infinis, graphes et optimisation, algèbre de processus et théorie des files d attente. Il faut connaître la théorie des langages et des automates, l algorithmique sur les données et la complexité des algorithmes. 2 e Année & 2 Parcours Professionnel Parcours Recherche Réseaux Spécification, vérification et test Stage en entreprise Module de recherche «Réseaux» ou «Spécification, vérification et test ou réseaux» Initiation à la recherche Contact Student Services studentservices@unidistance.ch Formation universitaire à distance, Suisse Centre d étude de Sierre Technopôle 5 CH Sierre Tél. +41 (0)