calcolo simbolico
calcolo simbolico espressione che, in termini generali, indica lo sviluppo e l’applicazione di regole operative che prescindono del tutto dalla natura degli oggetti a cui sono applicate e che risultano così mere trasformazioni formali di sequenze di simboli. In questo senso tutte le formalizzazioni assumono, a un livello alto della sistemazione di una teoria, la caratteristica di applicazione di regole e strumenti operativi di tipo simbolico. Tuttavia la locuzione specifica di calcolo simbolico è riservata, nell’analisi matematica e nelle sue applicazioni, al calcolo che si sviluppa attraverso la trasformazione di Laplace, operando formalmente con oggetti trasformati al fine di semplificare il calcolo stesso. Per questa sua caratteristica di semplificazione il calcolo simbolico è impiegato in svariate applicazioni di tipo fisico e ingegneristico (→ Laplace, trasformazione di).