|
|||||||
|
|
|
 |
|
|
Strumenti |
11-08-2009, 18:51
|
#1 |
|
Senior Member
Iscritto dal: Jun 2004
Città: Milano
Messaggi: 371
|
software logico-matematico
ciao a tutti.
stavo chiedendomi se esista un software logico-matematico che, a partire da assiomi, definizioni e proposizioni consenta di ricavare (o perlomeno verificare) degli altri enunciati. (ad esempio, dato un insieme chiuso e convesso, determinare / verificare le proprietà di una data corrispondenza definita su di esso). mathematica, maple e simili hanno funzionalità di questo tipo? grazie. |
|
|
|
12-08-2009, 08:42
|
#2 |
|
Senior Member
Iscritto dal: Jun 2004
Città: Milano
Messaggi: 371
|
|
|
|
|
|
|
| Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 16:10.
