| Titre : |
Logique élémentaire : cours de base pour informaticiens |
| Type de document : |
texte imprimé |
| Auteurs : |
Jacques Zahnd, Auteur |
| Editeur : |
Lausanne : Presses Polytechniques et Universitaires Romandes |
| Année de publication : |
1998 |
| Collection : |
Collection Informatique |
| Importance : |
430 p. |
| Présentation : |
couv. ill. en coul., ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-88074-360-4 |
| Langues : |
Français (fre) |
| Catégories : |
AUTOMATISME
|
| Index. décimale : |
25-01 Logique combinatoire et séquentielle |
| 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. 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. |
| Note de contenu : |
Table des matiéres
1 Introduction
– Buts généraux – La logique – Plan de l’ouvrage
2 Langages formels
– Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage
3 Symboles d’un langage du premier ordre
– Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre
4 Syntaxe d’un langage du premier ordre
– Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices
5 Théories ou systèmes de déduction
– Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie
6 Logique propositionnelle
– Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles
7 Déductions dérivées de logique propositionnelle
– Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices
8 Introduction à la théorie des ensembles
– Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles
9 Logique des prédicats
– Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels
10 Déductions dérivées de logique des prédicats
– Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés
11 Logique des prédicats avec égalité
– Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices
12 Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes
13 Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels
14 Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux
15 Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions
16 Annexe – Démonstrations de théorie des ensembles
Bibliographie
Index
|
Logique élémentaire : cours de base pour informaticiens [texte imprimé] / Jacques Zahnd, Auteur . - Lausanne : Presses Polytechniques et Universitaires Romandes, 1998 . - 430 p. : couv. ill. en coul., ill. ; 24 cm.. - ( Collection Informatique) . ISBN : 978-2-88074-360-4 Langues : Français ( fre)
| Catégories : |
AUTOMATISME
|
| Index. décimale : |
25-01 Logique combinatoire et séquentielle |
| 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. 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. |
| Note de contenu : |
Table des matiéres
1 Introduction
– Buts généraux – La logique – Plan de l’ouvrage
2 Langages formels
– Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage
3 Symboles d’un langage du premier ordre
– Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre
4 Syntaxe d’un langage du premier ordre
– Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices
5 Théories ou systèmes de déduction
– Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie
6 Logique propositionnelle
– Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles
7 Déductions dérivées de logique propositionnelle
– Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices
8 Introduction à la théorie des ensembles
– Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles
9 Logique des prédicats
– Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels
10 Déductions dérivées de logique des prédicats
– Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés
11 Logique des prédicats avec égalité
– Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices
12 Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes
13 Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels
14 Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux
15 Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions
16 Annexe – Démonstrations de théorie des ensembles
Bibliographie
Index
|
|  |
Affiner la recherche Interroger des sources externes
