Les bibliothèques HELMo

Documents disponibles écrits par cet auteur

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é sous l'étiquette	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

Invitation au débat mathématique et à sa pratique dans les classes du primaire, secondaire et supérieur / Thérèse Gilbert

Public ISBD Titre : Invitation au débat mathématique et à sa pratique dans les classes du primaire, secondaire et supérieur Type de document : Livres, articles, périodiques Auteurs : Thérèse Gilbert, Directeur de publication, rédacteur en chef ; Timothée Marquis (19..-....), Directeur de publication, rédacteur en chef ; Habib Ben Aïcha, Auteur ; Isabelle Berlanger, Auteur ; Céline Mousset, Auteur ; Laure Ninove, Auteur ; Daniel Zimmer (19..-....), Auteur ; Presses universitaires de Louvain, Editeur commercial Editeur : Louvain : Presses universitaires de Louvain Année de publication : 2025 Importance : 1 volume (xiv-432 pages) Format : 24 cm ISBN/ISSN/EAN : 978-2-390-61590-3 Prix : 59 EUR Langues : Français (fre) Mots-clés : Mathématiques -- Étude et enseignement  Éducation -- Recherche Résumé : Et si on incitait les élèves à débattre entre eux de situations mathématiques ? Dans un monde où l'esprit critique et l'autonomie de pensée sont essentiels, cet ouvrage invite à développer une culture du débat mathématique dans les classes. À partir d'une question mathématique, les élèves sont amenés à communiquer leurs idées, écouter celles des autres, argumenter et prendre du recul sur leurs raisonnements. Ce dispositif les place dans une posture active face aux apprentissages tout en promouvant le développement de compétences citoyennes au cours de mathématiques. Invitation au débat mathématique propose aux acteurs de l'enseignement des outils concrets pour intégrer cette pratique dans les classes, de la fin du primaire au supérieur. Il offre à la fois un guide synthétique pour la mise en œuvre de débats et un recueil de 50 énoncés commentés destinés à provoquer le débat avec des élèves de tous âges. Les réflexions et analyses sont abondamment illustrées d’exemples, de témoignages d’enseignants et d’échos des classes. Que la pratique des débats mathématiques vous soit encore inconnue ou déjà familière, cet ouvrage nourrira votre réflexion au service d’un objectif fondamental : que les élèves pensent les mathématiques par eux-mêmes ! (4e de couverture) Invitation au débat mathématique et à sa pratique dans les classes du primaire, secondaire et supérieur [Livres, articles, périodiques] / Thérèse Gilbert, Directeur de publication, rédacteur en chef ; Timothée Marquis (19..-....), Directeur de publication, rédacteur en chef ; Habib Ben Aïcha, Auteur ; Isabelle Berlanger, Auteur ; Céline Mousset, Auteur ; Laure Ninove, Auteur ; Daniel Zimmer (19..-....), Auteur ; Presses universitaires de Louvain, Editeur commercial . - Louvain : Presses universitaires de Louvain, 2025 . - 1 volume (xiv-432 pages) ; 24 cm. ISBN : 978-2-390-61590-3 : 59 EUR Langues : Français (fre) Mots-clés : Mathématiques -- Étude et enseignement  Éducation -- Recherche Résumé : Et si on incitait les élèves à débattre entre eux de situations mathématiques ? Dans un monde où l'esprit critique et l'autonomie de pensée sont essentiels, cet ouvrage invite à développer une culture du débat mathématique dans les classes. À partir d'une question mathématique, les élèves sont amenés à communiquer leurs idées, écouter celles des autres, argumenter et prendre du recul sur leurs raisonnements. Ce dispositif les place dans une posture active face aux apprentissages tout en promouvant le développement de compétences citoyennes au cours de mathématiques. Invitation au débat mathématique propose aux acteurs de l'enseignement des outils concrets pour intégrer cette pratique dans les classes, de la fin du primaire au supérieur. Il offre à la fois un guide synthétique pour la mise en œuvre de débats et un recueil de 50 énoncés commentés destinés à provoquer le débat avec des élèves de tous âges. Les réflexions et analyses sont abondamment illustrées d’exemples, de témoignages d’enseignants et d’échos des classes. Que la pratique des débats mathématiques vous soit encore inconnue ou déjà familière, cet ouvrage nourrira votre réflexion au service d’un objectif fondamental : que les élèves pensent les mathématiques par eux-mêmes ! (4e de couverture)

Exemplaires

Rangé sous l'étiquette	Support	Localisation	Section	Disponibilité	Code-barres
aucun exemplaire