Termini per la matematica inglese - italiano - Imati

Transcript

Termini per la matematica inglese - italiano - Imati
MATeXp
Termini per la matematica inglese - italiano
Ogni termine dovrebbe essere seguito da rinvii.
Quelli della forma “!Xccypp” inviano al testo di MATeXp, accessibile in
http://www.mi.imati.cnr.it/∼alberto; qui Xcc indica un capitolo, y una sezione e pp un
paragrafo.
I rinvii “we” riguardano voci di en.wikipedia, “wi” voci di it.wikipedia, “wmw” voci di
Wolfram MathWorld.
abc conjecture = congettura abc ::
abstract nonsense = assurdità astratta ::
abuse of language = abuso di linguaggio =fr abus de langage ::
abuse of notation = abuso di notazione ::
abuso di linguaggio = abuse of language =fr abus de langage ::
abuso di notazione = abuse of notation ::
active and passive transformation = trasformazione attiva e passiva ::
adjugate matrix = matrice dei cofattori ::
algebraic function = funzione algebrica ::
algebrica / funzione = algebraic function ::
aliquot / sequenza / aliquot sequence ::
aliquot sequence = sequenza aliquot ::
all / almost = quasi tutto ::
all / at = del tutto ::
almost all = quasi tutto ::
almost everywhere = quasi ovunque ::
almost surely = quasi sicuramente ::
alternata / corrente = alternating current ::
alternating angles = angoli alterni ::
alternating current = corrente alternata :::
alterni / angoli = alternating angles ::
analisi e sintesi di un automa = automaton analysis and synthesis :::
analitico / prolungamento = analytic continuation ::
analysis and synthesis / automaton = analisi e sintesi di un automa ::
analytic continuation = prolungamento analitico ::
anello di divisione = division ring ::
angle / straight = angolo piatto ::
angles / alternating = angoli alterni ::
angoli alterni = alternating angles ::
angolo giro = complete rotation angle ::
angolo piatto = straight angle ::
angolo retto / con = right-angled ::
arbitrariamente grande – esteso = arbitrarily large ::
arbitrarily large = arbitrariamente grande – esteso ::
arithmetic and geometric Frobenius = endomorfismo aritmetico e geometrico di Frobenius :ew:
assurdità astratta = abstract nonsense ::
2015-11-16
014: Termini per la matematica inglese - italiano
1
Alberto Marini
astratta / assurdità = abstract nonsense ::
attiva e passiva / trasformazione = active and passive transformation ::
attraction / gravitational = attrazione gravitazionale ::
attrazione gravitazionale = gravitational attraction ::
aurea / sezione = golden ratio – section ::
automa / analisi e sintesi di un = automaton analysis and synthesis ::
automaton analysis and synthesis = analisi e sintesi di un automa ::
bellezza matematica = mathematical beauty ::
bell-shaped curve = curva a campana ::
ben formato = well formed ::
ben posto / problema = well posed problem ::
bordata / matrice = bordered matrix ::
bordered matrix = matrice bordata ;arricchita di una riga e una colonna::
buon ordinamento = well ordering ::
by inspection = mediante mera verifica – ispezione ::
campana / curva a = bell-shaped curve ::
campo fendente = splitting field ::
canonical form = forma canonica ::
carrier set = insieme portante , insieme sottostante ::
ceiling function = funzione soffitto ::
check / check = controllo di parità ::
chi square = chi quadro ::...
chiusura convessa = convex hull ::
chiusura lineare = linear hull ::
circuito di commutazione serie-parallela = series-parallel swithwork ::
classe di resti = residue class ::
code / error correcting = codice a correzione di errore ::
code / teoria delle = queuing theory ::
codice a correzione di errore = error correcting code ::
coefficient / leading = coefficiente primario ::
coefficiente primario = leading coefficient ::
cofattori / matrice dei = adjugate matrix ::
coincidenza patematica = mathematical coincidence ::
commutative diagram = diagramma commutativo ::
commutativo / diagramma = commutative diagram ::
commutazione serie-parallela / circuito di = series-parallel swithwork ::
complementare / forma del termine = form of remainder ::
complete set of invariants = insieme completo di invarianti ::
completo di invarianti / insieme = complete set of invariants ::
congettura abc = abc conjecture ::
conjecture / abc = congettura abc ::
continuation / analytic = prolungamento analitico ::
contorno / integrale al = contour integral ::
contour integral = integrale al contorno ::
controllo di parità = parity check ::
convention / Einstein’s summation = convenzione di Einstein sulla sommatoria ::
2
014: Termini per la matematica inglese - italiano
2015-11-16
MATeXp
convenzione di Einstein sulla sommatoria = Einstein’s summation convention ::
convessa / chiusura = convex hull ::
convex hull = chiusura convessa ::
correcting code / error = codice a correzione di errore ::
corrector / predictor- = predictor-corrector , predittore-correttore ::
corrente alternata = alternating current ::
correzione di errore / codice a = error correcting code ::
coseno / integral = cosine integral ::
cosine integral = integral coseno ::
crinale / linea di = ridge line ::
crivello di Eratostene = sieve of Eratosthenes ::
crunching / number = elaborazione numerica massiccia ::
current / alternating = corrente alternata :::
curva a campana = bell-shaped curve ::
cut and paste = taglia e cuci ::
cut set = insieme di taglio ::
del operator = operatore del = operatore nabla ::
depth-first search = ricerca con approfondimento prioritario ::
diadico = sviluppo = dyadic expansion ::
diagramma commutativo = commutative diagram ::
dimostrazione matematica = mathematical proof ::
dimostrazione mediante discesa illimitata = proof by infinite descent ::
discesa maggiormente ripida = steepest descent ::
distribution / marginal = distribuzione marginale ::
distribuzione marginale = marginal distribution ::
division ring = anello di divisione ::
divisione / anello di = division ring ::
dyadic expansion = sviluppo diadico ::
dychotomizing search = ricerca dicotomica ::
Einstein sulla sommatoria / convenzione di = Einstein’s summation convention ::
Einstein’s summation convention = convenzione di Einstein sulla sommatoria ::
elaborazione numerica massiccia = number crunching ::
elevato / sufficientemente = sufficiently large ::
elliptic function = funzione ellittica
empty product = prodotto vuoto ::
end time = tempo finale ::
endomorfismo aritmetico e geometrico di Frobenius = arithmetic and geometric Frobenius :ew:
entire function = funzione intera
equation / sides of an = membri di una equazione ::
equation / stiff = equazione stiff .::
equazione / membri di una = sides of an equation ::
Eratostene / crivello di = sieve of Eratosthenes ::
Eratosthenes / sieve of = crivello di Eratostene ::
error correcting code = codice a correzione di errore ::
error function = funzione degli errori
errore / codice a correzione di = error correcting code ::
2015-11-16
014: Termini per la matematica inglese - italiano
3
Alberto Marini
esclusione / principio di inclusione- = inclusion-exclusion principle ::
escluso / principio del terzo = principle of excluded middle ::
essentially unique = essenzialmente unico ::
essenzialmente unico = essentially unique ::
esteso / arbitrariamente grande – = arbitrarily large ::
estimator / maximum likelihood = estimatore di massima verosomiglianza ::
estimatore di massima verosomiglianza = maximum likelihood estimator ::
European languages / Indo- = linguaggi indo-europei ::
everywhere / almost = quasi ovunque ::
exceptional object = oggetto eccezionale ::
excluded middle / principle of = principio del terzo escluso ::
exclusion / inclusion- = inclusione-esclusione ::
expansion / dyadic = sviluppo diadico ::
factor / scale = fattore di scala ::
famiglia parametrica = parametric family ::
fattore di scala = scale factor ::
fendente / campo = splitting field ::
Fidia / numero di = golden ratio – section ::
field / splitting = campo fendente , ==::
finale / tempo = end time ::
form of remainder = forma del resto , forma del termine complementare ::
forma canonica = canonical form ::
forma del resto = form of remainder ::
forma del termine complementare = form of remainder ::
formato / ben = well formed ::
formed / well = ben formato ::
function / algebraic = funzione algebrica ::
function / ceiling = funzione soffitto ::
funzione algebrica = algebraic function ::
funzione multivoca = many-valued function ::
funzione soffitto = ceiling function ::
funzione univoca = single-valued function ::
fuso orario = time zone ::
game-theoretical model = modello di teoria dei giochi ::
generalized inverse = inverso generalizzato ::
generated / star- = generato da stella ::
generato da stella = star-generated ::
giocattolo / modello = toy model ::
giocattolo / teorema = toy theorem ::
giochi / modello di teoria dei = game-theoretical model ::
giochi / modello di teoria dei = game-theoretical model ::
glide reflection = scivolamento con riflessione ::
golden ratio – section = sezione aurea , numero di Fidia ::
grafo dei lati = line graph : D26g08
grande – esteso / arbitrariamente = arbitrarily large ::
gravitational attraction = attrazione gravitazionale ::
4
014: Termini per la matematica inglese - italiano
2015-11-16
MATeXp
gravitazionale / attrazione = gravitational attraction ::
greatest common divisor = massimo comun divisore = gcd , MCD ::
hull / convex = chiusura convessa ::
hull / linear = chiusura lineare ::
inclusion-exclusion principle = principio di inclusione-esclusione .::
incremental ratio = rapporto incremntale :::
Indo-European languages = linguaggi indo-europei ::
inflection point = punto di flesso ::
insieme completo di invarianti = complete set of invariants ::
insieme di taglio = cut set ::
insieme parzialmente ordinato = poset , partially ordered set , order ::
insieme portante = carrier set ::
insieme sottendente = spanning set ::
insieme sottostante = carrier set ::
inspection / by = mediante mera ispezione – verifica ::
integral / contour = integrale al contorno ::
integral / cosine = integral coseno ::
integral / sine = integral seno ::
integral coseno = cosine integral ::
integral seno = sine integral ::
integrale / versione = unabridged version ::
integrale al contorno = contour integral ::
invarianti / insieme completo di = complete set of invariants ::
inverso generalizzato = generalized inverse ::
ispezione / mediante mera = by inspection ::
language / abuse of = abuso di linguaggio =fr abus de langage ::
languages / Indo-European = linguaggi indo-europei ::
large / arbitrarily = arbitrariamente grande – esteso ::
large / sufficiently = sufficientemente elevato ::
latin square = quadrato latino ::
latino / quadrato = latin square ::
leading coefficient = coefficiente primario ::
least common multiple =
minimo comune multiplo :: = lcm , mcm
lexicographic product = prodotto lessicografico ::
likelihood estimator / maximum = estimatore di massima verosomiglianza ::
line / ridge- = linea di crinale ::
line graph = grafo dei lati : D26g08
linea di crinale = ridge line ::
linear hull = chiusura lineare ::
linear hull = chiusura lineare ::
lineare / chiusura = linear hull ::
linguaggio / abuso di = abuse of language ::
linguaggio / abuso di = abuse of language =fr abus de langage ::
logarithmic / algebraic- = algebrico-logaritmico ::
logaritmico / algebrico- = algebraic-logarithmic ::
2015-11-16
014: Termini per la matematica inglese - italiano
5
Alberto Marini
marginal distribution = distribuzione marginale ::
marginale / distribuzione = marginal distribution ::
massiccia / elaborazione numerica = number crunching ::
massima verosomiglianza / estimatore di = maximum likelihood estimator ::
massimo comun divisore = greatest common divisor :: = MCD , gcd
matematica / teoria = mathematical theory ::
matematica pura = pure mathematics ::
mathematical beauty = bellezza matematica ::
mathematical coincidence = coincidenza patematica ::
mathematical model = modello matematico ::
mathematical proof = dimostrazione matematica ::
mathematical theory = teoria matematica ::
matrice bordata = bordered matrix ;arricchita di una riga e una colonna::
matrice dei cofattori = adjugate matrix ::
matrix / adjugate = matrice dei cofattori ::
matrix / bordered = matrice bordata ::
maximum likelihood estimator = estimatore di massima verosomiglianza ::
meccanica quantistica = quantum mechanics ::
mediante mera ispezione – verifica = by inspection ::
membri di una equazione = sides of an equation ::
method / shooting = metodo dello sparo ::
metodo dello sparo = shooting method ::
metodo di Newton = Newton’s method :::
middle / principle of excluded = principio del terzo escluso ::
minimo comune multiplo =b mcm = least common multiple =b lcm ::
model / game-theoretical = modello di teoria dei giochi ::
model sensitivity = sensibilità del modello ::
modello / sensibilità del = model sensitivity ::
modello di teoria dei giochi = game-theoretical model ::
modello di teoria dei giochi = game-theoretical model ::
modello giocattolo = toy model ::
modello matematico = mathematical model ::
modus ponens == ;lat::
modus tollens == ;lat::
m-topological space = spazio m-topologico :ew:
multivoca / funzione = many-valued function ::
nabla operator = operatore nabla = = operatore del
necessità e sufficienza = necessity and sufficiency ::
necessity and sufficiency = necessità e sufficienza ::
nonsense / abstract = assurdità astratta ::
notation / abuse of = abuso di notazione ::
notazione / abuso di = abuse of notation ::
notazione parti-per = parts-per notation ::
number crunching = elaborazione numerica massiccia ::
numerica massiccia / elaborazione = number crunching ::
numero di Fidia = golden ratio – section ::
6
014: Termini per la matematica inglese - italiano
2015-11-16
MATeXp
oggetto eccezionale = exceptional object ::
operator / del = nabla operator ::
operator / nabla = del operator ::
oraria / legge ::
orario / fuso = time zone ::
ordering / well = buon ordinamento ::
ordinamento / buon = well ordering ::
ovunque / quasi = almost everywhere ::
parameter space = spazio dei parametri ::
parametri / spazio dei = parameter space ::
parametric family = famiglia parametrica ::
parità / controllo di = parity check ::
parity check = controllo di parità ::
parts-per notation = notazione parti-per :ew:
parzialmente ordinato / insieme = partially ordered set = poset ::
passiva / trasformazione attiva e = active and passive transformation ::
piatto = angolo = straight angle ::
point / saddle- = punto di sella ::
posed problem / well = problema ben posto ::
posto / problema ben = well posed problem ::
predictor-corrector = predictor-corrector , predittore-correttore ::
primario / coefficiente = leading coefficient ::
principio del terzo escluso = principle of excluded middle ::
principio di inclusione-esclusione = inclusion-exclusion principle ::
principle of excluded middle = principio del terzo escluso ::
problem / well posed = problema ben posto ::
problema ben posto = well posed problem ::
prodotto interno = interna product , dot product ::
prodotto lessicografico = lexicographic product ::
prodotto scalare = scalar product , dot product ::
prodotto vuoto = empty product ::
prolungamento analitico = analytic continuation ::
proof by infinite descent = dimostrazione mediante discesa illimitata ::
proprietà universale = universal property ::
punto di ondulazione ::
punto di sella = saddle-point ::
pure mathematics = matematica pura ::
quadrato latino = latin square ::
quasi ovunque = almost everywhere ::
quasi sicuramente = almost surely ::
quasi tutto = almost all ::
queuing theory = teoria delle code ::
raise to a power = elevare a potenza ::
ratio – section / golden = sezione aurea , numero di Fidia ::
remainder / form of = forma del resto , forma del termine complementare ::
remainder class = classe di resti ::
2015-11-16
014: Termini per la matematica inglese - italiano
7
Alberto Marini
respect to / with = rispetto a ::
resti / classe di = residue class ::
resto / forma del = form of remainder ::
ridge-line = linea di crinale ::
ring / division ring = anello di divisione ::
rispetto a = with respect to ::
ruled surface = superficie rigata ::
saddle-point = punto di sella ::
scala /fattore di s= scale factor ::
scale factor = fattore di scala ::
scarto medio ::
scarto quadratico medio ::
scivolamento con riflessione = glide reflection ::
section / golden ratio – = sezione aurea , numero di Fidia ::
segmento circolare :::
sella / punto di = saddle-point ::
seno / integral = sine integral ::
sensibilità del modello = model sensitivity ::
sensitivity / model = sensibilità del modello ::
sequence / aliquot = sequenza aliquot ::
sequenza aliquot / aliquot sequence ::
serie-parallela /circuito di commutazione = series-parallel swithwork ::
series-parallel swithwork = circuito di commutazione serie-parallela ::
sezione aurea = golden ratio – section ::
shooting method = metodo dello sparo ::
sicuramente / quasi = almost surely ::
sides of an equation = membri di una equazione ::
sieve of Eratosthenes = crivello di Eratostene ::
sine integral = integral seno ::
single-valued function = funzione univoca ::
sintesi di un automa / analisi e = automaton analysis and synthesis ::
soffitto / funzione = ceiling function ::
sommatoria / convenzione di Einstein sulla = Einstein’s summation convention ::
space / parameter = spazio dei parametri ::
spanning set = insieme sottendente ::
sparo / metodo dello = shooting method ::
spazio dei parametri = parameter space ::
splitting field = campo fendente , ==::
square / latin = quadrato latino ::
star-generated = generato da stella ::
steepest descent = discesa maggiormente ripida ::
stella / generato da = star-generated ::
stiff equation = equazione stiff ::
straight angle = angolo piatto ::
struttura / trasporto di = transport of structure ::
sufficientemente elevato = sufficiently large ::
8
014: Termini per la matematica inglese - italiano
2015-11-16
MATeXp
sufficiently large = sufficientemente elevato ::
sufficienza / necessità e = necessity and sufficiency ::
summation convention / Einstein’s = convenzione di Einstein sulla sommatoria ::
superficie rigata = ruled surface ::
surely / almost = quasi sicuramente ::
sviluppo diadico = dyadic expansion ::
swithwork / series-parallel = circuito di commutazione serie-parallela ::
synthesis / automaton analysis and = analisi e sintesi di un automa ::
taglia e cuci = cut and paste ::
tazza di caff (curva della)
tempo finale = end time ::
teorema giocattolo = toy theorem ::
teoria dei giochi / modello di = game-theoretical model ::
teoria dei giochi / modello di = game-theoretical model ::
teoria delle code = queuing theory ::
teoria matematica = mathematical theory ::
term by term = termine a termine .::
termine complementare / forma del = form of remainder ::
terzo escluso / principio del = principle of excluded middle =l tertium non datur ::
theoretical model / game- = modello di teoria dei giochi ::
theory / mathematical = teoria matematica ::
theory /queuing = teoria delle code ::
time / end = tempo finale ::
time zone = fuso orario ::
toy model = modello giocattolo ::
toy theorem = teorema giocattolo ::
transport of structure = trasporto di struttura ::
trasformazione attiva e passiva = active and passive transformation ::
trasporto di struttura = transport of structure ::
tutto / del = at all ::
tutto / quasi = almost all ::
unabridged version = versione integrale ::
unità del genere livello = units of level ::
units of level = unità del genere livello , logaritmo di un rapporto :ew:
universal property = proprietà universale ::
univoca / funzione = single-valued function ::
uomo della strada = T.C. Mits = the celebrated man in the street ::
verifica / mediante mera = by inspection ::
verosomiglianza / estimatore di massima = maximum likelihood estimator ::
version = unabridged = versione integrale ::
versione integrale = unabridged version ::
well formed = ben formato ::
well ordered = bene ordinato ::
well ordering = buon ordinamento ::
well posed problem = problema ben posto ::
zone / time = fuso orario ::
2015-11-16
014: Termini per la matematica inglese - italiano
9
Alberto Marini
Le varie componenti di questo testo sono accessibili in http://www.mi.imati.cnr.it/∼alberto
10
014: Termini per la matematica inglese - italiano
2015-11-16