Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Haug Philippe-Jacques

Titre : Introduction à la logique.

Editeur : IREM de Grenoble, Grenoble, 1975
Format : A4, 102 p.

Type : monographie, polycopié Langue : Français Support : papier

Public visé : enseignant

Classification : E30Logique. Acquisition des capacités de raisonnement logique. E60Ensembles. Relations. Théorie des ensembles 

Résumé :

Cette brochure est la transcription d'exposés faits dans des stages de formation continue organisés par l'IREM de Grenoble en 1970-71 et 1971-72. Ils avaient pour but de sensibiliser les stagiaires aux problèmes posés par l'utilisation de la logique, et en particulier du formalisme ; des remarques pédagogiques sont faites à ce propos.
On trouve successivement une introduction avec quelques aperçus historiques et des considérations sur les langages, un chapitre consacré à la logique des propositions, et un chapitre consacré aux théories quantifiées et à la théorie des ensembles.
L'exposé privilégie fortement l'aspect syntaxique (ou déductif) de la logique ; on donne pourtant un bref aperçu de la théorie des modèles ; on s'intéresse en particulier à la consistance et la décidabilité de certaines théories; les résultats les plus simples sont démontrés.
La théorie des ensembles présentée est celle de Zermelo et Fraenkel.

Notes :
Cette brochure est rééditée Ressource en ligne .

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 06/10/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN