Les bibliothèques HELMo

510.6 : Logique mathématique

510.2 Problèmes mathématiques
510.5 Théorie de la calculabilité. Algorithmes. Fonctions calculables

Ouvrages de la bibliothèque en indexation 510.6

Éléments de logique formelle / Gérard Chazal

Public ISBD Titre : Éléments de logique formelle Type de document : Livres, articles, périodiques Auteurs : Gérard Chazal, Auteur Editeur : Paris : Hermès Année de publication : 1996 Importance : 224 p. Présentation : tableaux Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-548-0 Prix : 27 € Mots-clés : Logique mathématique -- Exercices  Opérateurs binaires  Calcul des prédicats Index. décimale : 510.6 Logique mathématique Résumé : Gérard Chazal, professeur à l'Université de Bourgogne, propose ici une approche de la logique comme description du fonctionnement valide de notre esprit. La logique, discipline normative qui nous révèle les arcanes de notre entendement est par là même au coeur de la recherche philosophique. Elle est donc bien plus aujourd'hui qu'une technique très profondément mathématisée. Cet ouvrage qui s'adresse tant à l'étudiant qu'à l'honnête homme, présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique. Note de contenu : Table des matières Introduction - 1. Nature et brève histoire de la logique - 2. La proposition chez Aristote - 3. Le syllogisme - 4. Déduction et résolution des syllogismes - 5. L'Ecole de Mégare et les stoïciens - 6. Le calcul des propositions : conjonction et disjonction inclusive - 7. Le calcul des propositions : disjonction exclusive, implication et équivalence - 8. Le calcul des propositions : généralisation de la notion d'opérateur logique - 9. Le calcul des propositions : les formes normales - 10. Le calcul des propositions : notion de déduction - 11. L'analyse de la proposition : la notion de prédicat - 12. La quantification - 13. La quantification et les opérateurs binaires : portée d'un quantificateur - 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles - 15. Opérateurs sur les ensembles - 16. Les relations - 17. Les propriétés des relations binaires - 18. Fonctions et applications - 19. Déduction et démonstration dans le calcul des prédicats - 20. Langage - Métalangage, Syntaxe - Sémantique, Langage formel - Système formel Conclusion Corrigé des exercices Bibliographie Éléments de logique formelle [Livres, articles, périodiques] / Gérard Chazal, Auteur . - Paris : Hermès, 1996 . - 224 p. : tableaux ; 24 cm. ISBN : 978-2-86601-548-0 : 27 € Mots-clés : Logique mathématique -- Exercices  Opérateurs binaires  Calcul des prédicats Index. décimale : 510.6 Logique mathématique Résumé : Gérard Chazal, professeur à l'Université de Bourgogne, propose ici une approche de la logique comme description du fonctionnement valide de notre esprit. La logique, discipline normative qui nous révèle les arcanes de notre entendement est par là même au coeur de la recherche philosophique. Elle est donc bien plus aujourd'hui qu'une technique très profondément mathématisée. Cet ouvrage qui s'adresse tant à l'étudiant qu'à l'honnête homme, présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique. Note de contenu : Table des matières Introduction - 1. Nature et brève histoire de la logique - 2. La proposition chez Aristote - 3. Le syllogisme - 4. Déduction et résolution des syllogismes - 5. L'Ecole de Mégare et les stoïciens - 6. Le calcul des propositions : conjonction et disjonction inclusive - 7. Le calcul des propositions : disjonction exclusive, implication et équivalence - 8. Le calcul des propositions : généralisation de la notion d'opérateur logique - 9. Le calcul des propositions : les formes normales - 10. Le calcul des propositions : notion de déduction - 11. L'analyse de la proposition : la notion de prédicat - 12. La quantification - 13. La quantification et les opérateurs binaires : portée d'un quantificateur - 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles - 15. Opérateurs sur les ensembles - 16. Les relations - 17. Les propriétés des relations binaires - 18. Fonctions et applications - 19. Déduction et démonstration dans le calcul des prédicats - 20. Langage - Métalangage, Syntaxe - Sémantique, Langage formel - Système formel Conclusion Corrigé des exercices Bibliographie

Réservation

Réserver ce document

Exemplaires

Rangé en	Support	Localisation	Section	Disponibilité	Code-barres
510 .6 CHA	Livres	Bibliothèque HELMo Campus Guillemins	Libre-Accès	Disponible	CG1801

Initiation à la logique formelle / Thierry Lucas

Public ISBD Titre : Initiation à la logique formelle : exercices et corrigés Type de document : Livres, articles, périodiques Auteurs : Thierry Lucas (1943-....), Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur Mention d'édition : 3e éd. revue et corrigée Editeur : Bruxelles : De Boeck Année de publication : 2007 Collection : Démarches de pensée, ISSN 1379-5287 Importance : 233 p. Présentation : tableaux Format : 24 cm ISBN/ISSN/EAN : 978-2-8041-5368-7 Prix : 24,50 € Note générale : Index Langues : Français (fre) Mots-clés : Informatique  Proposition (logique)  Prédicat (logique)  Logique formelle Index. décimale : 510.6 Logique mathématique Résumé : L'ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette nouvelle édition revue par les auteurs comporte de nombreux exercices remaniés et ajoutés. Biographie des auteurs Thierry Lucas est professeur ordinaire à l'Université catholique de Louvain. Il y enseigne la logique aussi bien auprès des étudiants de sciences exactes que des étudiants de sciences humaines. Isabelle Berlanger est licenciée en sciences mathématiques et en philosophie et assistante à l'Université catholique de Louvain. Isabelle De Greef est licenciée et maître en sciences économiques de l'Université catholique de Louvain. Note de contenu : Table des matières Partie 1 logique - Chapitre 1 Logique des propositions - Chapitre 2 Logique des prédicats partie 2 exercices - Chapitre 1 Logique des propositions - Chapitre 2 Logique des prédicats partie 3 solutionnaire - Chapitre 1 Logique des propositions - Chapitre 2 Logique des prédicats partie 4 compléments - Complément 1 La logique traditionnelle - Complément 2 Coup d'oeil sur d'autres logiques Initiation à la logique formelle : exercices et corrigés [Livres, articles, périodiques] / Thierry Lucas (1943-....), Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur  . -  3e éd. revue et corrigée . - Bruxelles : De Boeck, 2007 . - 233 p. : tableaux ; 24 cm. - (Démarches de pensée, ISSN 1379-5287) . ISBN : 978-2-8041-5368-7 : 24,50 € Index Langues : Français (fre) Mots-clés : Informatique  Proposition (logique)  Prédicat (logique)  Logique formelle Index. décimale : 510.6 Logique mathématique Résumé : L'ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette nouvelle édition revue par les auteurs comporte de nombreux exercices remaniés et ajoutés. Biographie des auteurs Thierry Lucas est professeur ordinaire à l'Université catholique de Louvain. Il y enseigne la logique aussi bien auprès des étudiants de sciences exactes que des étudiants de sciences humaines. Isabelle Berlanger est licenciée en sciences mathématiques et en philosophie et assistante à l'Université catholique de Louvain. Isabelle De Greef est licenciée et maître en sciences économiques de l'Université catholique de Louvain. Note de contenu : Table des matières Partie 1 logique - Chapitre 1 Logique des propositions - Chapitre 2 Logique des prédicats partie 2 exercices - Chapitre 1 Logique des propositions - Chapitre 2 Logique des prédicats partie 3 solutionnaire - Chapitre 1 Logique des propositions - Chapitre 2 Logique des prédicats partie 4 compléments - Complément 1 La logique traditionnelle - Complément 2 Coup d'oeil sur d'autres logiques

Réservation

Réserver ce document

Exemplaires

Rangé en	Support	Localisation	Section	Disponibilité	Code-barres
510 .6 LUC	Livres	Bibliothèque HELMo Campus Guillemins	Libre-Accès	Disponible	CG1795
510 .6 LUC	Livres	Bibliothèque HELMo Campus Guillemins	Libre-Accès	Disponible	CG1796