Approccio metodologico e cognitivo per la formulazione e la risoluzione di problemi tramite la loro formalizzazione in termini algoritmici, in tal modo da renderne l’esecuzione affidabile e non ambigua da parte di un esecutore, umano o artificiale che sia. Si fonda sull’uso sistematico di decomposizione, astrazione, riconoscimento di schemi e progettazione di procedure finite e deterministiche (algoritmi), orientate alla trasformazione di input in output secondo regole esplicite e verificabili.
Pensiero Computazionale
