0La chaleur
1Répondre
Comment prouver l'exactitude de cet algorithme?
3La chaleur
1Répondre
Preuve mathématique pour un arbre binaire
-1La chaleur
1Répondre
commun avec la plus longue séquence utilisation de la mémoire linéaire
7La chaleur
2Répondre
Une preuve idiomatique par Contradiction chez Isabelle?
14La chaleur
3Répondre
Nombre d'arbres de recherche binaires sur n éléments distincts
-1La chaleur
2Répondre
déduction logique avec le système Fitch