Le wiki de l'UFR de Mathématique et d'Informatique pour la contractualisation

Ce wiki a pour but de lister

• les logiciels nécessaires ainsi que des procédures de test pour les différents TP réalisés à l'UFR de Mathématiques et d'Informatique
• les logiciels installés sur les différents serveurs/salles de TP de l'UFR

• Site de l'Esplanade
• Site d'Illkirch

• TX des enseignants-chercheurs

• T20
• T21
• T22
• Choses à faire avant de faire l'image

• turing serveur pour les terminaux X des salles de TP (à l'esplanade et à Illkirch)
• crabe serveur pour les terminaux X des sallles de TP (Illkirch)
• dpt-info serveur dédié aux enseignants du DI modernisation dpt-info 2018
• codd : serveur de base de données
• mai-infosphere : plateforme formation IBM infoSphere
• mai-precise : serveur d'enseignement temporaire sous ubuntu precise
• mai-fw : firewall bridge de l'ufr

• S1
  • Algorithmique et programmation 1
• S2
  • Algorithmique et programmation 2
  • Algèbre S2
  • Analyse S2
  • Culture et pratique de l'informatique
  • Modèles de calcul

• S3
  • Bases de données 1
  • Logique et programmation logique
  • Pratique de systèmes d'exploitation
  • Programmation fonctionnelle
  • Structures de données et algorithmes 1
  • Techniques de développement
• S4
  • Algèbre linéaire appliquée
  • Architecture des ordinateurs
  • Programmation orientée objet
  • Programmation système et réseau
  • Structures de données et algorithmes 2
  • Analyse numérique appliquée
• S5
  • Bases de données 2
  • Fondement des systèmes d'exploitation
  • Réseaux et protocoles
  • Théorie des langages
  • Programmation orientée objet 2
  • Structures de données, algorithme et programmation
• S6
  • Programmation distribuée
  • Systèmes distribués
  • Interfaces homme-machine
  • Logique et programmation logique
  • Architecture des ordinateurs
  • Génie logiciel orienté objets
  • Réseaux locaux et interconnexions

• Applications et Services

• S3
• S4
  • Analyse numérique S4
• S5
  • Algorithmique et structures de données S5
• S6
  • Programmation orientée objet S6

• Compilation
• Sécurité des systèmes et des réseaux
• Transport et services réseaux
• Administration des réseaux
• Compilation avancée
• Programmation embarquée II
• Réseaux d'opérateurs
• Réseaux et informatique d'entreprise
• Système et programmation Temps-réel
• Mise en oeuvre des réseaux
• Mobilité et réseaux sans fil
• Multimédia et QoS
• OS embarqués et réseaux industriels et de terrain
• Prototypage et simulation réseau
• Parallélisme

• Compilation
• Ingénierie de la preuve
• Certification du logiciel
• Fouille de données réparties
• Entrepôts de données et informatique décisionnelle

• Fondements et algorithmes de l'imagerie numérique
• CAO
• Ingénierie de la preuve
• Traitement d'images
• Banques de données multimédia

• Bases de données et extraction de connaissances

• Génie Informatique