Logique élémentaire : cours de base pour informaticiens

Fiche technique

Format : Broché
Nb de pages : VII-430 pages
Poids : 1201 g
Dimensions : 16cm X 24cm
EAN : 9782880743604

Logique élémentaire

cours de base pour informaticiens

De Jacques Zahnd,

Chez Presses polytechniques et universitaires romandes

Collection(s) | Informatique

Paru le 01/12/1998

Broché VII-430 pages

Quatrième de couverture

L'informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d'un outil de base.

Essentiellement pédagogique, cet ouvrage se propose donc d'enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c'est-à-dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l'ambiguïté et à l'erreur selon les règles de la logique.

Il est destiné aux étudiants du 1^er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles.

Biographie

Jacques Zahnd, originaire de Guggisberg (BE), est né en 1939. Il fait des études d'ingénieur physicien à l'Ecole polytechnique de l'Université de Lausanne dont il est diplômé en 1963.

De 1964 à 1968, il poursuit sa formation de chercheur en physique du solide au Laboratoire de génie atomique de l'EPUL et il obtient le grade de docteur ès sciences techniques de l'EPFL en 1969.

De 1963 à 1969, il occupe un poste d'assistant au Fonds national, puis, de 1970 à 1976, d'ingénieur et d'adjoint scientifique au Département d'électricité de l'EPFL Il est nommé professeur titulaire au Département d'électricité en 1984 puis à celui d'informatique en 1988.

Son enseignement et sa recherche concernent les domaines de la théorie des circuits logiques et des automates, de la logique formelle et des méthodes formelles en informatique.

Fiche technique

Logique élémentaire

cours de base pour informaticiens

Quatrième de couverture

Biographie

Avis des lecteurs

Du même auteur : Jacques Zahnd

Machines séquentielles

Traité d'électricité. Vol. 11. Machines sequentielles