• Quelques notions de logique
  • Les connecteurs logiques de base
  • Quelques méthodes de raisonnement
  • Notions de base sur les ensembles. Quantificateurs
  • Les symboles: La somme et le produit
  • Les théorèmes de récurrence
  • L’algèbre des parties d’un ensemble
  • Applications. Notions d’injectivité, surjectivité et bijectivité

Développement d'application mobile sous Android

Organisations physiques
Système de gestion de fichiers SGF
Technique d’allocation sur le disque

Optimisation des Performance

Orientations théoriques pour la découverte des systèmes d’exploitation .

  • Introduction (Matériel, Système d’exploitation)
  • Gestion des processus
  • Communication et synchronisation interprocessus
  • Gestion de la mémoire
  • Mémoire virtuelle
  • Gestion des systèmes de fichiers
  • Gestion de périphériques
  • Sécurité