Utilisateur:Eratosthène/Brouillon
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
La langage Z a été développé à l’Université d’Oxford à la suite des travaux de Jean René Abrial. C’est un langage formel qui utilise :
- les notions ensemblistes, le calcul des propositions (et, ou, non, implication,
etc.), le calcul des prédicats et les ( quantificateurs existentiels et universels (il existe, quel que soit),
- les relations (partie du produit cartésien de plusieurs ensembles) et fonctions
(relations avec au plus une image par valeur du domaine de définition),
- les séquences ou suites (fonctions des entiers naturels dans un autre
ensemble pour imposer un ordre aux valeurs).