|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Nécessité et pièges des définitions mathématiques
/ UTLS - la suite, Mission 2000 en France
/ 22-06-2000
/ Canal-U - OAI Archive
KAHANE Jean-Pierre
Voir le résumé
Voir le résumé
D'où viennent et à quoi servent les définitions mathématiques ? En quoi sont-elles nécessaires ? En quoi peuvent-elles être pernicieuses ? Sur des exemples liés à l'histoire, à l'enseignement, et au mouvement contemporain des mathématiques, je m'efforcerai de montrer les définitions comme aboutissements de processus, comme commencement de théories, comme merveilles et comme pièges. Mot(s) clés libre(s) : axiome, enseignement des mathématiques, histoire des mathématiques, langage mathématique, théorie mathématique
|
Accéder à la ressource
|
|
Règles de déduction sur les connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|