Aller au contenu

Concours enseignement informatique

Programmation fonctionnelle (#AGREG)

Prépa Concours Informatique
Programmation
Données
Algorithmique
Hardware
Logique et langages formels
Concours

Concours enseignement informatique

Prépa Concours Informatique
Programmation
Programmation
Données
Données
Algorithmique
Algorithmique
Hardware
Hardware
Logique et langages formels
Logique et langages formels
- Logique
  Logique
  - Sémantique de vérité du calcul propositionnel
  - Déduction naturelle
- Langages formels
  Langages formels
Concours
Concours
- AGREG
  AGREG
  - Manuels
- CAPES
  CAPES
  - Épreuves
  - Manuels

Programmation fonctionnelle (#AGREG)

Ordre supérieur
Structures immuables
Polymorphisme paramétrique.

Made with Material for MkDocs