Logique
Articles publiés dans cette rubrique
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.
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
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.
par
Logique temporelle
Où des propositions sont vraies mais pas tout le temps.
par
Les ordinateurs sont-ils logiques ? 1 : Logique propositionnelle
Narrations d’exploration logique de la fonction « CanProve » de Yacas
par
Les ordinateurs sont-ils logiques ? 2 : Logique des prédicats
Le contraire de « pour tout x, p(x) » est « il existe au moins un x tel que non p(x) ». La logique des propositions ne permet pas de formaliser cela. Et algorithmiquement, l’étude de la logique des prédicats est difficile.
par
Démonstrations faites par ordinateur
Si les ordinateurs peuvent « faire » de la logique, ils peuvent aussi faire des démonstrations puisque les démonstrations sont une activité logique...
par
Le concept de preuve dans les mathématiques d’aujourd’hui
Comme dans la recherche mathématique, le concept de preuve (ou démonstration) a évolué dans l’enseignement des mathématiques. Comment ? Pourquoi ?
par
La logique des algorithmes
La logique de Hoare sert à prouver qu’un algorithme (séquentiel) réalise réellement la tâche qui lui est assignée. Elle est à la base de démonstrations dans un cadre autre que géométrique, mais est-elle abordable en Seconde ?
par
Le singe fou (ou le singe flou ?)
Le « monkey » de CaRMetal permet de « vérifier » qu’une construction reste correcte. Astucieusement utilisé pour les exerciciels de CaRMetal, il pose d’intéressantes questions sur la différence entre le raisonnement inductif et le raisonnement déductif.
Mercredi 12 septembre 2012, 14h-17h30, salle S23.6 du Parc technologique universitaire (Saint-Denis)