Coq. Les maths ont trouvé leur maître
שמור ב:
הוצא לאור ב: | Science et vie No 1148 |
---|---|
מחבר ראשי: | |
פורמט: | Article de revue |
יצא לאור: |
2013.
|
נושאים: | |
סיכום: | Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de valider, sans erreur possible. De quoi révolutionner les maths ! |
פריטים קשורים: | מוכל ב:
Science et vie |
BU Sciences
מקום | סימן המיקום | סטטוס | |
---|---|---|---|
n° 1148 (2013)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|