Logique élémentaire

Cours de base pour informaticiens

Jacques Zahnd - Collection Informatique

430 pages, parution le 01/12/1998 (2^eme édition)

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

Sujet

La faculté de raisonner sur des objets concrets ou abstraits est d'une importance fondamentale dans toutes les disciplines qui traitent d'objets dont les propriétés sont bien définies, telles que les mathématiques, l'informatique, les sciences exactes en général. L'informaticien en particulier doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce livre enseigne les techniques de base pour effectuer ces raisonnements 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 qui ne laissent aucune place à l'à peu près et à l'erreur. Ce sont les règles de la logique.

Originalité

Le raisonnement formel est un genre de calcul qui demande à être étudié, exercé et appliqué. C'est là le but principal de ce livre. Il fournit une formation de base, qui consiste en un exposé soigné des règles du raisonnement formel et leur application systématique au traitement de la théorie élémentaire des ensembles. Celle-ci a été choisie en tant que première application, en raison de l'importance des méthodes formelles ensemblistes en informatique.

Public

Cet ouvrage 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 des ensembles.

L'auteur - Jacques Zahnd

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.

Sommaire

Introduction
Langages formels
Symboles d'un langage du premier ordre
Théories ou systèmes de déduction
Logique propositionnelle
Déductions dérivées de logique propositionnelle
Introduction à la théorie des ensembles
Logique des prédicats
Déductions dérivées de logique des prédicats
Logique des prédicats avec égalité
Extensions définitionnelles
Langages du premier ordre à opérateurs généraux
Opérateurs de réunion et de collection de la théorie des ensembles
Fonctions
Annexe
Bibliographie
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Presses Polytechniques et Universitaires Romandes (PPUR)
Auteur(s)	Jacques Zahnd
Collection	Informatique
Parution	01/12/1998
Édition	2^eme édition
Nb. de pages	430
Format	16 x 24
Couverture	Broché
Poids	820g
Intérieur	Noir et Blanc
EAN13	9782880743604
ISBN13	978-2-88074-360-4