A...algorithm (algoritmo)
B...bounded (delimitato)
C...complexity (complessità)
D...defined (definito)
E...equivalent (equivalente)
F...formalization (formalizzazione)
G...generalized (generalizzato)
H...halt (arresto)
I...infinite (infinito)
L...learnable (apprendibile)
M...method (metodo)
N...number (numero)
O...output (produzione)
P...problem (problema)
Q...quantification (quantificazione)
R...result (risultato)
S...structure (struttura)
T...theory (teoria)
U...uncountable (innumerevoli)
V...variability (variabilità)
Z...n/d
Visualizzazione post con etichetta word. Mostra tutti i post
Visualizzazione post con etichetta word. Mostra tutti i post
mercoledì 13 gennaio 2016
Glossario
algoritmo - procedimento che risolve un determinato problema attraverso un numero finito di passi elementari.
computabilità - la teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi. Fra i suoi fondatori vi è Alan Turing.
computer - una macchina automatizzata in grado di eseguire complessi calcoli matematici ed eventualmente altri tipi di elaborazione dati.
crittografia - branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio "offuscato" in modo da non essere comprensibile/intelligibile a persone non autorizzate a leggerlo.
macchina di turing - modello astratto che definisce una macchina in grado di eseguire algoritmi e dotata di un nastro potenzialmente infinito su cui può leggere e/o scrivere dei simboli.
computabilità - la teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi. Fra i suoi fondatori vi è Alan Turing.
computer - una macchina automatizzata in grado di eseguire complessi calcoli matematici ed eventualmente altri tipi di elaborazione dati.
crittografia - branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio "offuscato" in modo da non essere comprensibile/intelligibile a persone non autorizzate a leggerlo.
macchina di turing - modello astratto che definisce una macchina in grado di eseguire algoritmi e dotata di un nastro potenzialmente infinito su cui può leggere e/o scrivere dei simboli.
martedì 12 gennaio 2016
mercoledì 25 novembre 2015
lunedì 12 ottobre 2015
2. Computabilità nelle lingue più usuali.
Computability (ingl.),
Berechenbarkeit (ted.),
Calculabilité
(fr.),
Computabilidad (sp.),
Computabilidade (port.),
Вычислимости
(rus.),
Obliczalności (pol.),
Beräkningsbarhet (sved.)
1. Definizione di 'Computabilità'
calcolabile
accertabile
valutabile
Iscriviti a:
Post (Atom)

