Lavoisier Lavoisier Lavoisier Lavoisier

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

Sommaire

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

Caractéristiques

Editeur : Hermes Science

Auteur(s) : Paul GOCHET

Publication : 1 février 1994

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 17 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3051, 3193

EAN13 eBook [PDF] : 9782746228887

EAN13 (papier) : 9782866013950

Ouvrages du même auteur