ricorsivita ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, [...] nell’ambito dei numeri naturali, di tutti i procedimenti effettivi (v. ricorsivo) ... Leggi Tutto

binormalita binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività. ... Leggi Tutto

ricorsivo agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono [...] ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Con altro sign., in matematica e in informatica, procedura r., algoritmo r., quelli ... Leggi Tutto

computabile computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica [...] . più concreto si dicono computabili quelle funzioni che, in linea di principio, possono essere calcolate con un elaboratore adeguatamente programmato; la teoria della computabilità (o della ricorsività) studia i limiti teorici di tale possibilità. ... Leggi Tutto