Titre :	Logique : Volume 2 : Méthodes formelles pour l'étude des programmes
Type de document :	texte imprimé
Auteurs :	Paul Gochet, Auteur ; Pascal Gribomont, Auteur
Editeur :	Paris : Hermès
Année de publication :	1994
Collection :	Langue, raisonnement, calcul, ISSN 0988-0569
ISBN/ISSN/EAN :	978-2-86601-395-0
Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique
Index. décimale :	511 Principes généraux des mathématiques
Résumé :	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. Le chapitre trois 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 quatre. Le chapitre cinq 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.

Logique : Volume 2 : Méthodes formelles pour l'étude des programmes [texte imprimé] / Paul Gochet, Auteur ; Pascal Gribomont, Auteur . - Paris : Hermès, 1994. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-395-0

Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique
Index. décimale :	511 Principes généraux des mathématiques
Résumé :	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. Le chapitre trois 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 quatre. Le chapitre cinq 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.