Introduzione alla matematica

Validare congetture aritmetiche

22 Luglio 2018emodica Nessun commento

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… Continua a leggere Validare congetture aritmetiche

Che cos’è un algoritmo?

22 Luglio 2018emodica Nessun commento

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… Continua a leggere Che cos’è un algoritmo?