En cours de chargement...
Le nouveau livre en format poche de Virginie Grimaldi
8,90€
LOGIQUE ELEMENTAIRE. Cours de base pour informaticiens (Broché)
62,25 €
Expédié sous 2 à 4 semaines
-
ouÀ retirer gratuitement en magasin U
entre le 26 juin et le 10 juillet
Résumé
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.
Sommaire
- Langages formels
- Symboles d'un langage du premier ordre
- Syntaxe d'un langage du premier ordre
- Théories ou sytèmes de déduction
- 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.
Fiche technique
- Date de parution : 27/02/1998
- Editeur : PPUR
- Collection : Informatique
- ISBN : 2-88074-360-5
- EAN : 9782880743604
- Présentation : Broché
- Nb. de pages : 430 pages
- Poids : 0.82 Kg
- Dimensions : 16,1 cm × 24,1 cm × 2,7 cm
À propos de l'auteur
Biographie de 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 dîplomé 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'information 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.
Du même auteur
LOGIQUE ELEMENTAIRE. Cours de base pour informaticiens est également présent dans les rayons
LOGIQUE ELEMENTAIRE. Cours de base pour informaticiens
62,25 €