Logique et raisonnement / Freund, Michael

Public ISBD Titre : Logique et raisonnement Type de document : texte imprimé Auteurs : Freund, Michael, Auteur Editeur : Paris : Ellipses Année de publication : 2011 Importance : 1 vol. (163 p.) Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-6548-1 Note générale : 978-2-7298-6548-1 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Logique : Manuels d'enseignement supérieur Logique : Problèmes et exercices Raisonnement : Manuels d'enseignement supérieur Raisonnement :Problèmes et exercices Logique mathématique Index. décimale : 510 Mathématique Résumé : Ce livre présente la logique sous un aspect original en s'attachant à en faire d'abord comprendre l'intérêt et la méthode. Le lien entre logique et raisonnement est ainsi constamment présent, les erreurs classiques de raisonnement analysées, et les notions de preuve et de déduction expliquées en prenant modèle sur des raisonnements courants. Le formalisme des langages logiques est introduit par le biais d'exemples qui en soulignent l'utilité pratique. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve. L'ouvrage vise un public aussi large que possible. Il est destiné aussi bien à ceux dont les études requièrent une certaine méthodologie qu'aux lecteurs sans bagage scientifique intéressés par la problématique du raisonnement. Il constitue en même temps une ressource complémentaire pour les étudiants en licence de mathématiques qui trouveront là un exposé didactique, complet, et rigoureux - quoique sans démonstration - des principaux résultats du calcul propositionnel et de la logique du premier ordre. Note de contenu : Sommaire Logique propositionnelle Le langage naturel restreint Le langage propositionnel Théorèmes, preuves et démonstrations Calcul des prédicats Le langage prédicatif restreint Le langage de la logique des prédicats La déduction en calcul des prédicat Théories axiomatiques Solutions des exercices Côte titre : Fs/10799-10802,Fs/13560-13562 Logique et raisonnement [texte imprimé] / Freund, Michael, Auteur . - Paris : Ellipses, 2011 . - 1 vol. (163 p.) : couv. ill. ; 24 cm. ISBN : 978-2-7298-6548-1 978-2-7298-6548-1 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Logique : Manuels d'enseignement supérieur Logique : Problèmes et exercices Raisonnement : Manuels d'enseignement supérieur Raisonnement :Problèmes et exercices Logique mathématique Index. décimale : 510 Mathématique Résumé : Ce livre présente la logique sous un aspect original en s'attachant à en faire d'abord comprendre l'intérêt et la méthode. Le lien entre logique et raisonnement est ainsi constamment présent, les erreurs classiques de raisonnement analysées, et les notions de preuve et de déduction expliquées en prenant modèle sur des raisonnements courants. Le formalisme des langages logiques est introduit par le biais d'exemples qui en soulignent l'utilité pratique. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve. L'ouvrage vise un public aussi large que possible. Il est destiné aussi bien à ceux dont les études requièrent une certaine méthodologie qu'aux lecteurs sans bagage scientifique intéressés par la problématique du raisonnement. Il constitue en même temps une ressource complémentaire pour les étudiants en licence de mathématiques qui trouveront là un exposé didactique, complet, et rigoureux - quoique sans démonstration - des principaux résultats du calcul propositionnel et de la logique du premier ordre. Note de contenu : Sommaire Logique propositionnelle Le langage naturel restreint Le langage propositionnel Théorèmes, preuves et démonstrations Calcul des prédicats Le langage prédicatif restreint Le langage de la logique des prédicats La déduction en calcul des prédicat Théories axiomatiques Solutions des exercices Côte titre : Fs/10799-10802,Fs/13560-13562

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/10799	Fs/10799-10802	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10800	Fs/10799-10802	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10801	Fs/10799-10802	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10802	Fs/10799-10802	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13562	Fs/13560-13562	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13561	Fs/13560-13562	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13560	Fs/13560-13562	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)