Logique


Articles publiés dans cette rubrique

samedi 29 octobre 2011
par  Nathalie CARRIÉ

Stage de logique par René Cori

Notes prises par Nathalie Carrié pendant le stage de logique animé par René Cori à la Réunion les 3 et 4 décembre 2009.

samedi 11 avril 2015
par  Alain BUSSER

Le jeu de logique de Lewis Carroll

Ressources du stage de logique mené le 10 avril 2015 : comment résoudre « mécaniquement » des syllogismes.

lundi 13 avril 2015
par  Olivier MUZEREAU

Anatomie de la construction d’un énoncé mathématique indécidable

Kurt Gödel a su construire un énoncé mathématique concernant les nombres entiers qui est vrai, mais qui ne peut être mécaniquement déduit en partant des axiomes de base et en utilisant les règles d’inférences classiques de l’arithmétique. En nous inspirant du travail éclairant de Raymond Smulyann, nous présentons ici, analogies et exemples à l’appui, quelques-uns des schèmes permettant de construire cet énoncé vrai et indémontrable.

mercredi 27 mai 2015
par  Alain BUSSER

Construction de la logique propositionnelle dans le λ-calcul

Comment Church et Kleene représentent le calcul propositionnel avec des fonctions, juste des fonctions et rien d’autre.

vendredi 18 septembre 2015
par  Alain BUSSER , Olivier MUZEREAU , Stéphane GOMBAUD

Recension du livre « La logique » de Gilles Dowek

Petit mais dense ouvrage de vulgarisation mathématique exposant les insuffisances et paradoxes qu’a dû affronter la logique au cours des siècles pour aboutir à son état actuel.

mardi 5 décembre 2017
par  Alain BUSSER

Implication et causalité

Résumé d’interventions sur la distinction entre implication et causalité, dont certaines sont d’ailleurs antérieures à l’apparition de cette question dans le programme de seconde.

samedi 6 avril 2013
par  Alain BUSSER

Introduction à la logique épistémique avec le Rallye 2013

L’exercice 5 du Rallye mathématiques 2013 de la Réunion, portait sur la logique épistémique. Il servira donc de prétexte à introduire celle-ci

mardi 20 octobre 2009
par  Alain BUSSER

Les diagrammes d’Euler-Venn

Dans cet article on va voir (c’est le cas de le dire) en quoi l’infographie peut rendre visuelles les opérations booléennes.

jeudi 26 novembre 2009
par  Alain BUSSER

Logique temporelle

Où des propositions sont vraies mais pas tout le temps.

lundi 7 décembre 2009
par  Alain BUSSER

Les ordinateurs sont-ils logiques ? 1 : Logique propositionnelle

Narrations d’exploration logique de la fonction « CanProve » de Yacas

Annonces

Prochains rendez-vous de l’IREM

Séminaire EDIM-IREM

- Mercredi 22 novembre 2017, 14h-18h, campus du Tampon, amphi 120 D
- Mercredi 7 février 2018, PTU, Saint-Denis, salle S23.6
- Mercredi 7 mars 2018, 14h-18h, campus du Tampon
- Mercredi 4 avril 2018, PTU, Saint-Denis, salle S23.6
- Mercredi 2 mai, 14h-18h, campus du Tampon
- Mardi 5 juin 2018, PTU, Saint-Denis, salle S23.6
- Mercredi 6 juin, 14h-18h, campus du Tampon

Fête de la science

Campus du Moufia, 16 et 17 novembre 2017.
Thème : « La recherche à l’heure du numérique »

Semaine des mathématiques

Du 26 au 31 mars 2018.
Thème : « Mathématiques et mouvement »


Brèves

Décès de Raymond Smullyan

mercredi 15 mars

Le logicien Raymon Smullyan est décédé en février 2017, à l’âge respectable de 97 ans : Il avait eu Alonzo Church comme professeur ! Pour en savoir plus, voir cet article

Travailler à plusieurs

lundi 19 décembre 2016

Les enseignements d’exploration au lycée imposent aux enseignants de travailler ensemble. Chantal Tuffery-Rochdi a analysé dans sa thèse les pratiques des enseignants de MPS (méthodes et pratiques scientifiques). Elle répond aux questions des Cahiers pédagogiques.

Un document sur Eduscol

mardi 19 mai 2015

Un document clarifiant bien la façon dont les mêmes concepts vivent en mathématiques et dans les sciences « exactes » les utilisant, publié par Eduscol en octobre 2014. Citons-les :
« Le document proposé ci-dessous s’adresse aux professeurs de mathématiques, physique-chimie et sciences de l’ingénieur intervenant dans le segment [Bac-3 ; Bac+3]. Il vise à les informer des différences de présentation et d’interprétation qui sont faites de certains concepts mathématiques dans les autres disciplines. Ces éclaircissements peuvent contribuer à harmoniser et à clarifier l’utilisation de ces notions auprès des élèves. »

Histoire de la comptabilité

vendredi 28 décembre 2012

Sur ce site (en anglais) dédié à la comptabilité, on trouve des informations intéressantes sur l’histoire et les pratiques de ce domaine, qui peuvent être utiles aux professeurs enseignant des mathématiques financières (et aussi aux autres...).

La CGE et la réforme des lycées

lundi 16 janvier 2012

La Conférence des Grandes Écoles publie 19 préconisations pour la réforme du lycée.

Sur le Web : Les 19 préconisations

Pratique des mathématiques en série STD2A

lundi 16 janvier 2012

Le site de l’IGEN offre des recommandations et des ressources pour enseigner les mathématiques en série STD2A. Les thèmes abordés (couleurs et nuances de gris, arcs et architecture, jeux vidéos, photo et tableur, perspectives parallèles...) sont de nature à donner aussi des idées d’activités aux enseignants des autres séries !

En cheminant avec Kakeya

lundi 16 janvier 2012

Un livre (à télécharger) de Vincent Borelli et Jean-Luc Rullière qui présente le calcul intégral et la dérivation en s’appuyant sur la question de Kakeya. Pour les lycéens, les étudiants et tous les esprits curieux qui souhaitent voir les mathématiques sous un jour différent.

Sur le Web : Livre à télécharger

Bicentenaire Galois

lundi 12 septembre 2011

À l’occasion du bicentenaire de la naissance d’Évariste Galois (1811-2011), l’Institut Henri Poincaré et la Société mathématique de France organisent un ensemble de manifestations et proposent un site contenant diverses ressources documentaires susceptibles d’intéresser les enseignants.

Statistiques

Dernière mise à jour

dimanche 10 décembre 2017

Publication

775 Articles
Aucun album photo
134 Brèves
11 Sites Web
132 Auteurs

Visites

472 aujourd'hui
1238 hier
2195712 depuis le début
24 visiteurs actuellement connectés