refutazione (in programmazione logica)

Enciclopedia della Matematica (2013)

refutazione (in programmazione logica)


refutazione (in programmazione logica) → prolog.

Vedi anche
programmazione Economia P. economica Il complesso degli interventi dello Stato nell’economia, realizzati spesso sulla base di un piano pluriennale (in questo senso il termine si alterna, nell’uso, con pianificazione). Nella terminologia corrente, e anche da parte di alcuni studiosi, si è però soliti distinguere tra ... lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... algoritmo Matematica Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo (per es. l’a. euclideo, delle divisioni successive, l’a. algebrico, insieme delle regole del calcolo ... linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono l. di p. di alto livello e di basso livello: i primi permettono al programmatore di lavorare su vere e proprie operazioni logiche, ...
Tag
Vocabolario
refutazióne
refutazione refutazióne s. f. [dal lat. refutatio -onis, der. di refutare (v. le voci prec.)]. – Latinismo, raro, invece di confutazione.
programmazióne
programmazione programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo...