UV2 MAJ INF : Bases théoriques en informatique - Printemps 2018/2019


Retour
Programmé en IG 2A Printemps
IG 3A Printemps
MSC1 IT/DS Printemps
EDPINFMA2
  Présentation
 
Cette UV s'adresse aux élèves de majeure informatique, qui savent déjà développer des programmes pour résoudre un problème simple.

La proposition de solutions de qualité à des problèmes posés nécessite la compréhension des fondements de l'informatique. Dans le cadre de la formation d'un ingénieur généraliste, l'UV se propose de fournir aux élèves des outils de l'informatique théorique et des exemples de leur utilisation dans des problèmes réels (ex. manipulation de réseaux sociaux en utilisant des graphes, planification de l'utilisation de ressources avec des algorithmes génétiques, ...). Le fil conducteur des quatre modules de l'UV est de mettre en évidence l'importance de l'utilisation des modèles formels dont l'utilisation permet, entre autre:
– de fournir un cadre objectif de description, d'étude et de résolution d'un problème,
– de reconnaître des problèmes déjà bien connus et pour lesquels une solution existe, pour éviter de se lancer dans la recherche d'une nouvelle solution d'un problème, identique ou semblable à une autre déjà connue,
– d'identifier des problèmes types auxquels ramener un problème nouveau,
– de générer systématiquement le code permettant de mettre en œuvre une spécification formelle, les méthodes associées, et en évaluer les performances.

A l'issue de cette UV, les élèves seront capables de:
– expliquer de manière générale et à l'aide d'un exemple à choisir soi-même, les avantages et inconvénients d'adopter une démarche formelle lors de l'élaboration d'un logiciel,
- savoir utiliser les notions de bases, telles que par exemple les structures complexes de données, optimisation algorithmique, heuristiques, arbres couvrants minimum, flots, parcours et mesures dans les graphes, automate, langage formel, expression régulière, processus, composition de processus, propriétés de sûreté et de vivacité en programmation concurrente, etc.
– décrire les modèles formels vus en cours et expliquer un ensemble de problèmes de référence associés,
– afin de résoudre un problème simple non vu auparavant en cours, et sans l'aide de document, reconnaître le problème de référence auquel il se ramène et identifier le formalisme associé,
– employer un formalisme donné pour résoudre un cas simple qu'ils n'auront pas vu auparavant,
– produire un code correspondant à un modèle formel spécifié, et en évaluer les performances.

L’évaluation sera faite via un examen semestriel oral unique pour tous les modules (80% de la note de l'UV). En complément des contrôles continus seront proposés dans chacun des modules (20% de la note). Le contrôle continu évaluera le travail effectué dans le cadre des travaux pratiques et travaux dirigés des modules. Au cours de l'évaluation orale, deux modules tirés au hasard par l'étudiant : après une préparation (sans document de cours), ces deux modules seront questionnés en détail (terminologie, formalisme, principaux résultats des cours, résolution d'un problème, capacité d'argumentation). Les deux autres modules non tirés au sort seront questionnés de manière plus simple sur une question directement liée au cours.

Références bibliographiques :
Les références bibliographiques se trouvent dans les supports de cours

Liste des modules obligatoires :
INF413 – Algorithmique avancée
INF424 – Logique et Langages
INF435 – Théorie et applications des graphes
INF447 - Systèmes distribués
 
Conditions d'accès  : Savoir traduire un problème en algorithme, écrire un algorithme en pseudo code, le coder dans un langage de programmation impératif (Java ou C), avoir développé un programme simple concurrent en Java, avoir développé un programme simple en Python.
 
Objectifs pédagogiques :
  • Reconnaître le problème de référence auquel un problème nouveau se ramène et appliquer le formalisme et les méthodes associés
  • Comprendre les notions de bases d'algorithmique, de théorie des graphes, de logique et langages formel, de programmation concurrente
  • Décrire les modèles formels vus en cours et expliquer un ensemble de problèmes de référence associés
  • Produire un code correspondant à un modèle formel spécifié et en évaluer les performances
  • Expliquer de manière générale et à l'aide d'un exemple à choisir soi-même, les avantages et inconvénients d'adopter une démarche formelle
Localisation  : BREST
Responsable  : Cécile BOTHOREL
Co-responsable  : Sorin MOGA
Domaine  : Informatique
4 Module(s) obligatoire(s) ( parmi 4 )
Credits IG 2A  : 8
Credits IG 3A  : 8
Credits MSC1 IT/DS  : 8
Dernière màj le 10-JAN-18 par CURSUS
  Modules
 
Code Intitulé
Title
Responsable
Coordinator
Co-resp. Etat
State
Date màj
Last update
INF 413 P Algorithmique avancée S.Moga P.Lenca Incomplète 10-01-18
INF 424 P Logique et langages Y.Haralambous E.Cousin Incomplète 10-01-18
INF 435 P Graphes Y.Haralambous C.Bothorel Incomplète 10-01-18
INF 447 P Systèmes distribués F.Dagnat   Incomplète 10-01-18

IMT Atlantique
Campus de Brest
Technopôle Brest-Iroise
CS 83818
29238 Brest Cedex 3
France

Tél  +33 (0)2 29 00 11 11
Fax +33 (0)2 29 00 10 00