Forum Ma(th)nipulez !
Mercredi 10 mai 2023, 13 h-17h30, Collège Henri Matisse, Saint-Pierre
Logique
La logique est un terrain de rencontre entre profs de mathématiques, de grec et de philosophie.
Articles publiés dans cette rubrique
- 1
- 2
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
lundi 26 octobre 2015
par
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.
jeudi 20 mai 2010
par
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...
vendredi 8 juin 2012
par
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 ?
jeudi 15 avril 2010
par
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 ?
lundi 26 avril 2010
par
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.
mardi 16 février 2010
par
par
Booléens normands
Quelques exercices simples de logique dans un cadre géométrique.
lundi 22 mars 2010
par
par
Stage de logique
Notes prises lors du stage de logique animé par René Cori en décembre 2009.
- 1
- 2