Visualizzazione post con etichetta word. Mostra tutti i post
Visualizzazione post con etichetta word. Mostra tutti i post

mercoledì 13 gennaio 2016

ABC

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

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.







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