Rayon Développement d'applications, langages de programmation
Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels

Fiche technique

Format : Broché
Nb de pages : 304 pages
Poids : 542 g
Dimensions : 16cm X 24cm
EAN : 9782225819001

Programmation en Pascal, prédicats, systèmes formels


Paru le
Broché 304 pages

Quatrième de couverture

Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal.

Avis des lecteurs

Du même auteur : Maurice Margenstern

Les théorèmes d'incomplétude de Gödel

Assemblage, modélisation, programmation : 80 x 86

Les Théorèmes d'incomplétude de Gödel

Cellular automata in hyperbolic spaces. Vol. 1. Theory

Le rêve d'Euclide : promenades en géométrie hyperbolique