Logique - Tome 2
méthodes formelles pour l'étude des programmes

La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques étant exposés au chapitre deux. La théorie des ensembles constitue à la fois une application essentielle de la logique du premier ordre, étudiée dans le premier volume, et la base théorique des méthodes formelles en programmation. La seconde partie est consacrée à ces méthodes et à leur illustration. Le chapitre 3 présente la logique de Hoare classique, permettant l'étude formelle des programmes séquentiels , cette logique est adaptée à la programmation parallèle au chapitre 4. Le chapitre 5 examine la théorie du point fixe, qui permet l'étude systématique des programmes et langages de programmation de tous types, y compris des langages fonctionnels et logiques. Cet ouvrage constitue donc une présentation claire et raisonnée des liens qui associent en profondeur logique et étude des propriétés des programmes.

Introduction historique et philosophique à la théorie des ensembles. Théorie des ensembles. Logique pour programmes séquentiels. Logique pour programmes parallèles. Théorie du point fixe. Bibliographie. Index.