Evènement pour le groupe Graphes et Logique


Date 2009-02-10  11:00-12:00
TitreLogiques 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.  
Lieusalle 76 
OrateurDavid Michel 
UrlParis 12 



Aucun document lié à cet événement.

Retour
Retour à l'index