Logique - Volume 1, Méthodes pour l'informatique fondamentale
Logique - Volume 2, Méthodes formelles pour l'étude des programmes
Publié par Hermes Science Publications, le 01 février 1994
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
Plus de livres de Pascal Gribomont
Voir plus
Logique - Volume 3, Méthodes pour l'intelligence artificielle
Logique - Volume 2, Méthodes formelles pour l'étude des programmes
Logique - Tome 1 : méthodes pour l'informatique fondamentale
Critiques
Ce livre n'a pas encore de critiques
Vous avez lu ce livre ? Dites à la communauté Lenndi ce que vous en avez pensé 😎