• Calculabilité:
  • Modèles de Calcul :
  • Fonctions Récursives, ensembles récursifs et récursivement énumérables
  • Machines de Turing non déterministes et déterministes, langages et fonctions Turing calculables et semi calculables
  • Lambda Calcul Pur Non Type : fonctions  lambda représentables
  • Equivalence entre ces 3 modèles de calcul
  • Décidabilité et Indécidabilité :
  • Propriétés des langages récursifs et récursivement énumérables
  • Etude de quelques problèmes qui ne sont pas décidables : problème de l'arrêt, satisfiabilité des formules de la logique du premier ordre, problème de la correspondance de Post...
• Complexité Structurelle :

A - Mesures de complexité

C - La théorie de NP-complétude

• Présentation des graphes et des structures de données classiques pour les manipuler.
• Parcours de graphes non pondérés :  Parcours en largeur : calcul des distances,  Parcours en profondeur et applications,  Parcours Eulériens.
• Graphes pondérés :  Algorithmes de calculs de plus courts chemins,  Algorithmes de calcul d'arbres couvrants de poids minimum : introduction aux matroïdes, Couplages de poids max.
• Introduction aux problèmes difficiles :  Coloration,  Cliques, stables,  Couvertures,  Voyageur de commerce, Parcours Hamiltoniens.

• Les concepts objet (concepts de la programmation orientée objet) : l'abstraction et l'encapsulation, les objets et les classes, la communication par envoi de messages, la généralisation et l'héritage, le polymorphisme, les langages objet (en particulier Java)
• Eléments de base du langage Java : syntaxe / structure d'un programme Java, les commentaires, les variables, les types primitifs, les opérateurs, les instructions, de contrôle
• Eléments de conception objet : les types référence, Les tableaux et les chaînes de caractères, les objets et les classes Java, structure des classes, création/destruction des objets, les variables d'instances/classe, les méthodes d'instance/classe, ..., l'héritage et l'encapsulation/masquage/portée des variables (private, protected, ...), Les classes abstraites et les interfaces, les classes internes, les exceptions (traitement des erreurs), les packages  .

• Résolution de problèmes (arbres de jeu)
• Représentation des connaissances
  • logiques,
  • réseaux sémantiques, procédurales, et règles de production.
• Systèmes experts (différents chaînages)
  • chaînage avant, 
  • chaînage arrière, et
  • chaînage mixte.
• Implantation au travers du langage Prolog

• Présentation générale
• Système de gestion de fichier: RAID, installation du système, déploiement, configuration de stations autonomes, gestion des utilisateurs sur une station autonome, dans un domaine (windows), nis et ldap (unix), permissions et droits, délégation de contrôle
• Services : planification de tâches, processus de démarrage de l'OS, paramètrage de l'OS,
• Modules,   

•  Phases d'un projet, découpage, planification
• Estimation des temps et des coûts, gestion des ressources
• Animation et pilotage des intervenants, travail d'équipe, motivation
• Revues régulières, capitalisation des connaissances,
• Tableau de bord pour le pilotage,
• Aspects juridiques, évaluation et gestion des risques
• Plan d'assurance qualité, 
• Aperçus sur les outils d'aide à la planification et à l'évaluation

• Modèles dynamiques, systèmes de transitions, automates, traces, chemins, logique temporelle, LTL, CTL, CTL*, vérification de modèle, réseaux de Petri, matrice d'incidence, arbre/graphe des marquages, arbre/graphe de couverture, k- bornitude, semi-vivacité, vivacité, invariants
• Modèles formels statiques pour les objets: Classes Formelles, Z/Object-Z, B
• Modèles formels dynamiques et concurrents : algèbres de processus, CCS, équivalences de traces, bissimulation forte, bissimulation faible / équivalence observationnelle, compositionnalité, axiomatisations, ordres de réductions / raffinement, échecs, divergences
• Langages de description d'architectures (ADL) 

• Enoncés relativement complexes et longs à contenu informatif et argumentatif. Langue générale et langue spécifique au domaine. Pouvoir saisir informations, logique et argumentation.
• Prendre la parole en continu sur un sujet spécifique au domaine. Présenter des informations et une problématique de façon structurée dans la langue appropriée et en utilisant des supports adéquats. Répondre aux questions suscitées. Participer à un débat sur un thème général ou spécifique au domaine.
• Documents divers introduisant le lexique et la formulation spécifiques au domaine, comportant des phrases complexes et porteuses de nuances.
• Exprimer et justifier une opinion dans un texte structuré et dans une langue adaptée au sujet. Résumer un document écrit ou sonore sur un thème de culture générale ou spécifique au domaine.