Newsgroup: it.cultura.linguistica.inglese
Titolo: mathematic language

ciao a tutti,
 sono alle prese con una dimostrazione descritta in inglese e mi sfugge
 il piena comprensione. Ecco qui alcune frasi
We start by assuming that this bound holds for [n/2], that is, that
T([n/2])<= c[n/2]lg([n/2]). Substituting into the recurrences yields..
Io l'ho tradotta così: " Cominciamo con l'assumere che il limite sia
verificato per [n/2], cioè che T([n/2])<= c[n/2]lg([n/2]). Sostituendo
ciò nelle produzioni ricorsive (?!?)
Poi un'altra frase  "where the last step holds as long as c>=1" io l'ho
tradotta con "dove l'ultimo passo prevede come minimo c>=1".
E' tutto il pomeriggio che ci sbatto la testa, soprattutto perché è una
dimostrazione un po' ostica. Siccome la comprensione deve essere molto
precisa, un "non" oppure un "quasi" stravolgono tutto, alla fine mi sono
detto se per caso non sbagliavo qualcosa nella traduzione, soprattutto
perché alcune traduzioni in ambito matematico non sono letterali. Se per
caso qualcuno ha fatto teoria sugli algoritmi magari può essergli utile
sapere che altro non è che la dim. del substitution method presa dal
mitico "Introduction to algoritms". Ciao e grazie!

 tradotta con "dove l'ultimo passo prevede come minimo c>=1".
"Dove l'ultimo passo č valito fintanto che c>=1", se e solo se (faccina
sorridente) non sbaglio. La sostanza č quella.
Ciao, FB
-- 
Mrs. Palmer, in her way, was equally angry. 'She was determined to drop his
acquaintance immediately, and she was very thankful that she had never been
acquainted with him at all'. (Jane Austen)

 T([n/2])<= c[n/2]lg([n/2]). Substituting into the recurrences yields..
Yields mi sembra il verbo di substituting.
"porta a", "conduce", "si ha".
Ciao
Fabio 

 tradotta con "dove l'ultimo passo prevede come minimo c>=1".
...dove l'ultimo passo "vale" fin quando/a condizione che c>=1.
-- 
Mary

 tradotta con "dove l'ultimo passo prevede come minimo c>=1".
Io tradurrei cosi' (ma non sono sicurissimo):
"Dove l'ultimo passaggio regge fin tanto che (se) c>=1".
Ciao
Fabio 

 ciò nelle produzioni ricorsive (?!?)
Al resto ti hanno già risposto.
Per quanto riguarda "Substituting into the recurrences yields..", "the
recurrences" sarebbero le occorrenze dell'espressione considerata, ma io lo
lascerei sottointeso e direi semplicemente "sostituendo si ottiene..."
-- 
Maria Luisa C - 08/11/2004 22.18.50

recurrences" sarebbero le occorrenze dell'espressione considerata,
Non ne sono sicuro, pare stia descrivendo un metodo di sostituzione
ricorsiva.
Secondo me ha da qualche parte delle relazioni ricorsive del tipo
    x[n+1]= f[ x[n], x[n-1],...]
E quello che viene fatto è una sostituzione in una di queste ricorrenze.
saluti,
Peltio

Poi un'altra frase  "where the last step holds as long as c>=1"
L'ultimo passaggio è valido fintanto che c non è minore di uno.
saluti,
Peltio
[*] Non so perchè ma mi è venuto maggiorazione, lo lascio anche se
sicuramente la tua interpretazione come 'valore limite' è più corretta.

 Peltio
Ciao,
-- 
Maria Luisa C - 09/11/2004 9.16.16

 Substituting into the recurrences yields..
... "yelds" = "da'", "ha come risultato", "porta come conseguenza"...
... "recurrences" non e' semplicenmente "ricorsioni"...?
HTH
--
Gnomo

 ... "recurrences" non e' semplicenmente "ricorsioni"...?
No, sarebbe "recursions".
-- 
Maria Luisa C - 09/11/2004 10.29.52

 [CUT]
ringrazio tutti per le risposte. Si, in definitiva penso di aver capito il
senso delle frasi. Non posso dire altrettanto del metodo che rimane ancora
oscuro. Peltio ha intuito giusto, è il metodo di sostituzione per
verificare l'appartenza di un algoritmo ricorsivo ad una certa classe (ad
esempio O(n)). Purtroppo non sono mai andato d'accordo con il metodo
d'induzione, che dire? torno a studiare...
grazie!