Validare congetture aritmetiche

Una congettura è una proprietà derivante dall’intuito che si ritiene sia vera ma che non è stata ancora dimostrata né confutata. In particolare una congettura matematica è un enunciato formulato da uno o più matematici che si ritiene vero, per il quale però non è stata ancora trovata una dimostrazione. Verificare una congettura vuol dire effettuare tante prove […]

Condividi
Read More Validare congetture aritmetiche
Luglio 22, 2018

Tag:

Che cos’è un algoritmo?

Intuitivamente si dispone di un algoritmo per risolvere un problema se si ha un elenco finito di istruzioni tali che: 1) a partire dai dati iniziali le istruzioni sono applicabili in maniera rigorosamente deterministica, cioè in modo che ad ogni passo sia sempre possibile stabilire univocamente quale è l’istruzione che deve essere applicata al passo successivo; 2) si disponga […]

Condividi
Read More Che cos’è un algoritmo?
Luglio 22, 2018

Tag: