Logique

Volume 2

Pascal Gribomont, Paul Gochet

352 pages, parution le 21/02/1994

Ajouter à une liste

Indisponible

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

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.

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

L'auteur - Pascal Gribomont

Pascal Gribomont est professeur d'informatique et intelligence artificielle a l'universite de Liege.

Autres livres de Pascal Gribomont

Logique

Méthodes pour l'intelligence artificielle

Découvrir tous les livres de Pascal Gribomont

L'auteur - Paul Gochet

Autres livres de Paul Gochet

Logique

Méthodes pour l'intelligence artificielle

Découvrir tous les livres de Paul Gochet

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Pascal Gribomont, Paul Gochet
Parution	21/02/1994	01/06/2008
Nb. de pages	352	0
Format	15.5 x 23.5	-
Poids	660g	-
Contenu	-	PDF
EAN13	9782866013950	9782746228887