Logique élémentaire : cours de base pour informaticien / Jacques Zahnd [ Livre]

Auteur principal: Zahnd, Jacques, 1939-....Langue: Français.Publication : Lausanne : Presses polytechniques et universitaires romandes, [Paris] : [diff. Tec & doc-Lavoisier], cop. 1998Description : VII-430 p. ; 24 cm + formulaire de logiqueISBN: 2880743605.Collection: Collection InformatiqueClassification: F 4 1 Logique mathématiqueRésumé: 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. 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 1er 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. Sommaire 1. Introduction 2. Langages formels 3. Symboles d'un langage du premier ordre 4. Syntaxe d'un langage du premier ordre 5. Théories ou systèmes de déduction 6. Logique propositionnelle 7. Déductions dérivées de logique propositionnelle 8. Introduction à la théorie des ensembles 9. Logique des prédicats 10. Déductions dérivées de logique des prédicats 11. Logique des prédicats avec égalité 12. Extensions définitionnelles 13. Langages du premier ordre à opérateurs généraux 14. Opérateurs de réunion et de collection de la théorie des ensembles 15. Fonctions 16. Annexe.Sujet - Nom commun: Logique symbolique et mathématique | Logique informatique | Langages formels | Informatique -- Mathématiques | Calcul des prédicats
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 ZAH (Browse shelf) Available F 4 1 Logique mathématique 00002270

Bibliogr. p. 423-425. Index

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.
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 1er 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.
Sommaire
1. Introduction
2. Langages formels
3. Symboles d'un langage du premier ordre
4. Syntaxe d'un langage du premier ordre
5. Théories ou systèmes de déduction
6. Logique propositionnelle
7. Déductions dérivées de logique propositionnelle
8. Introduction à la théorie des ensembles
9. Logique des prédicats
10. Déductions dérivées de logique des prédicats
11. Logique des prédicats avec égalité
12. Extensions définitionnelles
13. Langages du premier ordre à opérateurs généraux
14. Opérateurs de réunion et de collection de la théorie des ensembles
15. Fonctions
16. Annexe

Powered by Koha