Mercredi 17 juin 2020, de 14h à 18h : colloque de fin d’année de l’IREM en distanciel.
Logique
Articles publiés dans cette rubrique
0 | 10
samedi 29 octobre 2011
par
par
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
par
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
par
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
par
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 , ,
par , ,
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
par
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
par
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
par
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
par
Logique temporelle
Où des propositions sont vraies mais pas tout le temps.
lundi 7 décembre 2009
par
par
Les ordinateurs sont-ils logiques ? 1 : Logique propositionnelle
Narrations d’exploration logique de la fonction « CanProve » de Yacas
0 | 10