Prépa Concours Informatique

• Programmation
  • Programmation
  • Bonnes pratiques
  • Génie logiciel
  • Récursivité et induction
  • Programmation objet (#AGREG)
  • Programmation fonctionnelle (#AGREG)
  • Programmation web (#AGREG)
  • Informatique et société (#AGREG)
• Données
  • Données
  • Types et abstraction
  • Structures de données séquentielles
  • Structures de données hiérarchiques
  • Structures de données relationnelles
  • Bases de données
• Algorithmique
  • Algorithmique
  • Introduction aux algorithmes
  • Calculabilité, décidabilité et classes de complexité
  • Algorithmes probabilistes, algorithmes d’approximation
  • Exploration exhaustive
  • Décomposition d’un problème en sous-problèmes
  • Algorithmique des graphes
  • Algorithmique des textes
  • Intelligence artificielle et l’étude des jeux
• Hardware
  • Hardware
  • Architecture matérielle (#AGREG)
  • Systèmes d’exploitation (#AGREG)
  • Gestion de la mémoire d’un programme
  • Gestion des fichiers et entrées-sorties
  • Gestion de la concurrence et synchronisation
  • Réseaux (#AGREG)
• Logique et langages formels
  • Logique et langages formels
  • Logique
    • Syntaxe des formules logiques
    • Sémantique de vérité du calcul propositionnel
    • Déduction naturelle
  • Langages formels
    • Langages réguliers
    • Grammaires non contextuelles
    • Automates finis
    • Chaîne de compilation (#AGREG)
• Concours
  • AGREG
    • Épreuves
    • Manuels
  • CAPES
    • Épreuves
    • Manuels