Centre universitaire de Formation et de Recherche Jean-Francois Champollion

Transversales organisationnelles et relationnelles

• Travail en autonomie : établir des priorités, gérer son temps, élaborer un projet personnel de formation;
• Utiliser les technologies de l'information et de la communication (TICE);
• Mettre en oeuvre un projet : définir les objectifs, réaliser et évaluer l'action. Travail en équipe;
• Atteindre le niveau B2 en Anglais.

Scientifiques générales

• Respecter l'éthique scientifique;
• Mettre en oeuvre une démarche expérimentale;
• Faire preuve de capacité d'abstraction.

Disciplinaires spécifiques :

• Construire des spécifications algébriques et des types abstraits;
• Spécifier formellement un algorithme et établir la preuve formelle de sa correction;
• A partir d'un problème, concevoir puis mettre en oeuvre des algorithmes adaptés grâce à des structures de données classiques et le langage de programmation idoine (impératif (C), fonctionnel (Caml), objet (Java), logique (Prolog) );
• Comprendre et manipuler les méthodes et outils de conception des bases de données dans le cadre du modèle relationnel;
• Utiliser de manière efficace un système d'exploitation de type UNIX. Comprendre la gestion des processus et savoir traiter des problèmes simples de concurrence et de synchronisation;
• Concevoir un site WEB, intégrant des fonctions dynamiques. Programmer une application utilisant les protocoles TCP et UDP;
• Modéliser des situations réelles ou des algorithmes en utilisant des outils formels de la logique;
• A partir des éléments de base que sont les portes logiques, savoir construire une machine informatique de type Von Neumann;
• Savoir utiliser une machine informatique de type Von Neumann en utilisant toutes les fonctionnalités de l'assembleur et en particulier le système d'interruptions pour les entrées/sorties;
• Concevoir, réaliser , documenter, faire évoluer une application orientée objet en JAVA;
• Analyser la complexité d'algorithmes classiques à l'aide de techniques mathématiques adéquates;
• Maîtriser les algorithmes classiques de manipulation des graphes et les principales applications;
• Comprendre les concepts théoriques liés aux langages et savoir les manipuler formellement.