Contents

• Intelligence artificielle
  • Preuve automatique et preuves de programmes
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Logiques non-monotones
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Logiques appliquées à l'intelligence artificielle
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Réseaux de neurones artificiels
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Réseaux de neurones artificiels: dynamique des systèmes distribués
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Application de l'intelligence artificielle
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
• Software engineering et systèmes d'information
  • Ingénierie transformationnelle des données
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Génie logiciel: questions spéciales A
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Génie logiciel: questions spéciales B
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
  • Méthodes avancées de Génie Logiciel
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
• Codes, automates, complexité
  • Cryptologie et sécurité des moyens multimédia (partim)
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Théorie des automates et algèbres de Kleene
    • Objectif
    • Contenu
    • Pédagogie
    • Références
  • Compléments de Théorie de la Complexité
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Codes et automates
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Fonctions Récursives
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
• Programmation et langages
  • Interprétation abstraite
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Sémantiques formelles de langages de programmation
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Programmation algébrique et logique
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Continuations: théorie et pratique
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Compléments de théorie de la compilation
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
• Réseaux et systèmes répartis
  • Algèbre de processus concurrents communiquants
    • Objectif
    • Prérequis
    • Contenu
  • Vérification de systèmes parallèles et logique temporelle
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Ingénierie de systèmes informatiques répartis
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Modèles markoviens en télécommunication
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
• Algorithmique
  • Analyse d'algorithmes
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
  • Discrétisation et éléments finis
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Méthodes de calcul numérique vectoriel et parallèle
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
  • Algorithmique Parallèle et Distribuée
    • Objectif
    • Prérequis
    • Contenu
    • Pédagogie
    • Références
• About this document ...