Nella logica antica, ogni processo discorsivo della mente o ragione, che, muovendo da alcune premesse, perviene a una conclusione. Se questo procedimento va dall’universale al particolare, o dal più generale [...] r. deduttivo, che ha trovato la sua più compiuta trattazione nella sillogistica aristotelica (➔ sillogistica); se la direzione è inversa, si ha il r. induttivo (➔ induzione). Dato però il maggior rigore logico della deduzione, come r. per eccellenza ...
Leggi Tutto
operazione
operazione nel suo significato più elementare è una legge che a ogni coppia ordinata (a, b) di elementi di un insieme A associa un elemento di A. Tali sono le ordinarie operazioni di addizione [...] elemento b di A tale che a ∗ b = b ∗ a = u: se un tale elemento esiste, allora esso è unico ed è detto l’inverso di a. Se ogni elemento di A è invertibile rispetto a ∗, allora è possibile definire in A una seconda legge di composizione interna, detta ...
Leggi Tutto
trasformata di Fourier
Luca Tomassini
Una trasformazione integrale che mappa una funzione a valori complessi f(x):ℝn→ℂ nella sua corrispondente trasformata di Fourier (detta anche funzione spettrale [...] ) la trasformata di Fourier può essere vista come operatore lineare continuo da L1(ℝn,ℂ) a C(ℝn,ℂ). L’esistenza dell’inversa (ossia dell’integrale [3]) non è però garantita poiché la funzione ff∼(p) non è necessariamente sommabile. Anche nel caso ...
Leggi Tutto
reverse engineering
<rivë'ës enǧinìëriṅ> locuz. sost. ingl., usata in it. al masch. – Analisi, anche attraverso supporti informatici, delle forme e del comportamento di un oggetto, tecnico o biologico, [...] il funzionamento e poterlo eventualmente riprodurre e migliorare, ricostruendone il progetto alla base. Il r. e. (o ingegneria inversa) è un processo che trasforma oggetti reali in modelli informatici per mezzo di sistemi di acquisizione di forme che ...
Leggi Tutto
grandezze proporzionali
grandezze proporzionali due grandezze variabili x e y si dicono proporzionali se sussiste una relazione di proporzionalità tra di esse, vale a dire se il loro rapporto è costante [...] secondo caso, vale a dire se xy = c per un’opportuna costante c non nulla, allora x e y si dicono inversamente proporzionali. In geometria, sono esempi di grandezze direttamente proporzionali la lunghezza C di una circonferenza e il suo raggio r (C ...
Leggi Tutto
backward
backward 〈bèkuörd〉 [avv. ingl. "a rovescio"] [ELT] (a) Denomin. di un particolare tipo di diodi tunnel (diodi b.) in cui, in virtù di un minore drogaggio della giunzione, l'effetto tunnel risulta [...] del picco di corrente nella caratteristica diretta intensità I di corrente / tensione V (v. fig.); presentano una resistenza inversa molto bassa, per cui si comportano in maniera anomala rispetto ai tipici diodi a giunzione, praticamente "a rovescio ...
Leggi Tutto
simplettico, gruppo In matematica, il gruppo costituito dalle matrici s. di ordine 2n (simbolo Sp2n). Una matrice A di ordine 2n si chiama s. se risulta A*J=JA–1, ove J è la matrice di ordine 2n formata [...] da n blocchi (01 –10) situati lungo la diagonale principale e A*, A–1 sono rispettivamente le matrici trasposta e inversa di A. ...
Leggi Tutto
dama
Amedeo Quondam
Latinismo, " daino "; usato una sola volta, in rima, in Pd IV 6, a evidenziare l'immagine di D. incerto tra i suoi dubbi come starebbe un cane intra due dame, non sapendo su quale [...] avventarsi. Qualche commentatore (Mattalia) ricorda il passo di Virgilio (Georg. III 539-540) in cui appaiono i due animali, in situazione inversa a questa: " timidi dammae... / inter… canes... vagantur ". ...
Leggi Tutto
Fisica
Per il principio di corrispondenza di Bohr ➔ corrispondènza, princìpio di.
Matematica
Date due classi, o insiemi, A e A′, di oggetti o di enti astratti, si dice che fra di esse intercede una c. [...] è la c. diretta A → A′, che consiste nell’associare a ogni a di A uno o più elementi a′ di A′; l’altra è la c. inversa A′ → A, che consiste nell’associare a ogni a′ di A′ il sottoinsieme degli elementi a di A che contengono a′ tra i loro associati ...
Leggi Tutto
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] Markov di normalizzazione degli algoritmi e nel teorema di completezza di Post. La tesi di Ch. e l'affermazione inversa (cioè ogni funzione ricorsiva è effettivamente calcolabile) precisano la nozione di procedimento effettivo di calcolo nel caso di ...
Leggi Tutto
inversivo
agg. [der. di invertire, inverso1]. – Che ha rapporto con un’inversione, che comporta inversione, soprattutto in riferimento a fatti linguistici: costruzione i. e periodi i. (ant.), in cui è invertito l’ordine sintattico usuale delle...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...