Evènement pour le groupe
Graphes et Logique
| Date | 2009-02-10 11:00-12:00 |
| Titre | Logiques pédagogiques propositionnelles |
| Résumé | Il est fréquent dans l'enseignement des mathématiques d'illustrer
les définitions d'objets à l'aide d'exemples les motivant, dans le
but de faciliter la compréhensions de notions parfois très abstraites.
Les logiques pédagogiques sont des systèmes de déduction naturelle
formalisant l'utilisation systématique de définitions motivées par des
exemples. Elles sont par essence exemptes de négation. Lors de cet exposé
seront présentées différentes logiques pédagogiques propositionnelles
ainsi que leurs liens avec les lambda-calculs typés, dans lesquels
l'absence de négation au niveau des types garantit que toute fonction
typable satisfait la propriété dite d'utilité: une fonction est utile
quand elle peut être appliquée à un argument.
|
| Lieu | salle 76 |
| Orateur | David Michel |
| Url | Paris 12 |
Aucun document lié à cet événement.
RetourRetour à l'index