Détail de l'indexation
160 : Logique |
Ouvrages de la bibliothèque en indexation 160 (2)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
Titre : Introduction à la logique standard : calcul des propositions, des prédicats et des relations Type de document : texte imprimé Auteurs : Denis Vernant (1948-....), Auteur Editeur : Grenoble : UGA éditions Année de publication : impr. 2022 Autre Editeur : 93-La Courneuve : Isiprint Collection : Prométhée Importance : 1 vol. (400 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-37747-308-3 Prix : 25 EUR Note générale : Bibliogr. p. 379-387. Glossaire. Index Langues : Français (fre) Catégories : Prédicat (logique)
Proposition (logique)
Relation (philosophie)Index. décimale : 160 Logique 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, des médecins, etc. 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 au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés. Complété par un glossaire, il comprend en outre de nombreuses références bibliographiques pour approfondir les points abordés. Introduction à la logique standard : calcul des propositions, des prédicats et des relations [texte imprimé] / Denis Vernant (1948-....), Auteur . - Grenoble : UGA éditions : 93-La Courneuve : Isiprint, impr. 2022 . - 1 vol. (400 p.) : ill. ; 24 cm. - (Prométhée) .
ISBN : 978-2-37747-308-3 : 25 EUR
Bibliogr. p. 379-387. Glossaire. Index
Langues : Français (fre)
Catégories : Prédicat (logique)
Proposition (logique)
Relation (philosophie)Index. décimale : 160 Logique 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, des médecins, etc. 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 au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés. Complété par un glossaire, il comprend en outre de nombreuses références bibliographiques pour approfondir les points abordés. Réservation
Réserver ce document
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité OUV569309 X7 VER Livre Bibliothèque UCM Logique Consultation sur place
Exclu du prêt
Titre : La logique Type de document : texte imprimé Auteurs : Pierre Wagner (1963-....), Auteur Mention d'édition : 5e éd. mise à jour Editeur : Paris : Que sais-je ? Année de publication : DL 2024 Autre Editeur : 58-Clamecy : Impr. Laballery Collection : Que sais-je ?, ISSN 0768-0066 num. n°225 Importance : 1 vol. (125 p.) Format : 18 cm ISBN/ISSN/EAN : 978-2-7154-2212-4 Prix : 10 EUR Note générale : Bibliogr., 3 p. Langues : Français (fre) Catégories : Logique Index. décimale : 160 Logique Résumé : Il est devenu si courant aujourd'hui de parler des logiques qu'on ne sait bien souvent plus ce qu'est la logique. Pierre Wagner donne à comprendre cette discipline en décrivant le genre de questions que se posent ou que se sont posées les logiciens, le genre de certitudes qu'ils ont acquises et la variété des projets qui ani-ment leurs recherches. S'il expose avec clarté les bases de la logique contemporaine et ses origines historiques, l'auteur montre aussi que, depuis les années 1950, les recherches logiques ont pris de nouvelles directions, comme l'étude des structures syntaxiques et sémantiques des langues naturelles, l'informatique théorique, l'intelligence artificielle, la théorie des jeux, l'analyse dynamique des croyances et de la connaissance, ou encore les sciences cognitives. La logique [texte imprimé] / Pierre Wagner (1963-....), Auteur . - 5e éd. mise à jour . - Paris : Que sais-je ? : 58-Clamecy : Impr. Laballery, DL 2024 . - 1 vol. (125 p.) ; 18 cm. - (Que sais-je ?, ISSN 0768-0066; n°225) .
ISBN : 978-2-7154-2212-4 : 10 EUR
Bibliogr., 3 p.
Langues : Français (fre)
Catégories : Logique Index. décimale : 160 Logique Résumé : Il est devenu si courant aujourd'hui de parler des logiques qu'on ne sait bien souvent plus ce qu'est la logique. Pierre Wagner donne à comprendre cette discipline en décrivant le genre de questions que se posent ou que se sont posées les logiciens, le genre de certitudes qu'ils ont acquises et la variété des projets qui ani-ment leurs recherches. S'il expose avec clarté les bases de la logique contemporaine et ses origines historiques, l'auteur montre aussi que, depuis les années 1950, les recherches logiques ont pris de nouvelles directions, comme l'étude des structures syntaxiques et sémantiques des langues naturelles, l'informatique théorique, l'intelligence artificielle, la théorie des jeux, l'analyse dynamique des croyances et de la connaissance, ou encore les sciences cognitives. Réservation
Réserver ce document
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité OUV569531 X7 WAG Livre Bibliothèque UCM Logique Consultation sur place
Exclu du prêt
