الفهرس الالي لمكتبة كلية العلوم الاجتماعية
Détail de l'auteur
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes

Titre : |
Introduction à la logique standard - Calcul des propositins, des prédicats et des relations |
Type de document : |
texte imprimé |
Auteurs : |
Denis Vernant, Auteur |
Editeur : |
Paris : Flammarion |
Année de publication : |
2011 |
Importance : |
448 pages |
Format : |
10,8 cm × 17,7 cm × 2,1 cm |
ISBN/ISSN/EAN : |
978-2-08-126594-3 |
Langues : |
Français (fre) |
Mots-clés : |
logique standard Calcul des propositins |
Résumé : |
La logique a acquis au XXe siècle un statut déterminant: elle n'est pas seulement l'outil privilégié de l'Intelligence Artificielle; elle s'impose aussi dans le parcours des philosophes, des mathématiciens, des économistes, des juristes... Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (1. calcul des propositions; 2. calcul des prédicats; 3.
calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet, enfin, au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés.
Sommaire
LA LOGIQUE DES PROPOSITIONS
Le langage des propositions
Procédures d'évaluation et lois
Présentations et propriétés métalogiques
LA LOGIQUE DES PREDICATS
La syllogistique traditionnelle et son dépassement diagrammatique
Le langage des prédicats
Les procédures d'évaluation
LA LOGIQUE DES RELATIONS
Le langage des relations
Opérations, procédures d'évaluation et lois du calcul des relations
Présentations et propriétés métalogiques
EXERCICES CORRIGES ET COMMENTES
En calcul des propositions
En calcul des prédicats
En calcul des relations |
Introduction à la logique standard - Calcul des propositins, des prédicats et des relations [texte imprimé] / Denis Vernant, Auteur . - Paris : Flammarion, 2011 . - 448 pages ; 10,8 cm × 17,7 cm × 2,1 cm. ISBN : 978-2-08-126594-3 Langues : Français ( fre)
Mots-clés : |
logique standard Calcul des propositins |
Résumé : |
La logique a acquis au XXe siècle un statut déterminant: elle n'est pas seulement l'outil privilégié de l'Intelligence Artificielle; elle s'impose aussi dans le parcours des philosophes, des mathématiciens, des économistes, des juristes... Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (1. calcul des propositions; 2. calcul des prédicats; 3.
calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet, enfin, au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés.
Sommaire
LA LOGIQUE DES PROPOSITIONS
Le langage des propositions
Procédures d'évaluation et lois
Présentations et propriétés métalogiques
LA LOGIQUE DES PREDICATS
La syllogistique traditionnelle et son dépassement diagrammatique
Le langage des prédicats
Les procédures d'évaluation
LA LOGIQUE DES RELATIONS
Le langage des relations
Opérations, procédures d'évaluation et lois du calcul des relations
Présentations et propriétés métalogiques
EXERCICES CORRIGES ET COMMENTES
En calcul des propositions
En calcul des prédicats
En calcul des relations |
|  |
Réservation
Réserver ce document
Exemplaires (1)
|
FSS29068 | 100-85.1 | Ouvrage | Faculté des Sciences Sociales | 100 - Philosophie, Parapsychologie et Occultisme, Psychologie | Disponible |