Significado de "normalisable" en el diccionario de inglés

PRONUNCIACIÓN DE NORMALISABLE EN INGLÉS

normalisable  [ˈnɔːməˌlaɪzəbəl]

CATEGORIA GRAMATICAL DE NORMALISABLE

Normalisable es un adjetivo.

El adjetivo es la palabra que acompaña al nombre para determinarlo o calificarlo.

QUÉ SIGNIFICA NORMALISABLE EN INGLÉS

Función de onda

Wave function

Una función de onda o función de onda en la mecánica cuántica describe el estado cuántico de un sistema de una o más partículas y contiene toda la información sobre el sistema. Las cantidades asociadas con las mediciones, como el momento medio de una partícula, se derivan de la función de onda. Por lo tanto, es una cantidad central en la mecánica cuántica. Los símbolos más comunes para una función de onda son las letras griegas ψ o Ψ. La ecuación de Schrödinger determina cómo la función de onda evoluciona con el tiempo, es decir, la función de onda es la solución de la ecuación de Schrödinger. La función de onda se comporta cualitativamente como otras ondas, como ondas de agua o ondas en una cuerda, porque la ecuación de Schrödinger es matemáticamente un tipo de ecuación de onda. Esto explica el nombre de "función de onda", y da lugar a la dualidad onda-partícula. La función de onda para un sistema dado no tiene una representación única. Más comúnmente, se toma para ser una función de todas las coordenadas de la posición de las partículas y del tiempo, es decir, la función de onda está en el "espacio de la posición".

A wave function or wavefunction in quantum mechanics describes the quantum state of a system of one or more particles, and contains all the information about the system. Quantities associated with measurements, like the average momentum of a particle, are derived from the wavefunction. Thus it is a central quantity in quantum mechanics. The most common symbols for a wave function are the Greek letters ψ or Ψ. The Schrödinger equation determines how the wave function evolves over time, that is, the wavefunction is the solution of the Schrödinger equation. The wave function behaves qualitatively like other waves, like water waves or waves on a string, because the Schrödinger equation is mathematically a type of wave equation. This explains the name "wave function", and gives rise to wave–particle duality. The wave function for a given system does not have a unique representation. Most commonly, it is taken to be a function of all the position coordinates of the particles and time, that is, the wavefunction is in "position space".

TRADUCCIÓN DE NORMALISABLE

Conoce la traducción de normalisable a 25 idiomas con nuestro traductor multilingüe.

Las traducciones de normalisable presentadas en esta sección han sido obtenidas mediante traducción automática estadística a partir del idioma inglés.

• Traductor inglés - chino: normalisable
• Traductor inglés - español: normalisable
• inglés: normalisable
• Traductor inglés - hindi: normalisable
• Traductor inglés - árabe: normalisable
• Traductor inglés - ruso: normalisable
• Traductor inglés - portugués: normalisable
• Traductor inglés - bengalí: normalisable
• Traductor inglés - francés: normalisable
• Traductor inglés - malayo: Biasa
• Traductor inglés - alemán: normalisable
• Traductor inglés - japonés: normalisable
• Traductor inglés - coreano: normalisable
• Traductor inglés - javanés: Normalisable
• Traductor inglés - vietnamita: normalisable
• Traductor inglés - tamil: normalisable
• Traductor inglés - maratí: सामान्य स्थिती
• Traductor inglés - turco: normalisable
• Traductor inglés - italiano: normalisable
• Traductor inglés - polaco: normalisable
• Traductor inglés - ucraniano: normalisable
• Traductor inglés - rumano: normalisable
• Traductor inglés - griego: normalisable
• Traductor inglés - afrikáans: normalisable
• Traductor inglés - sueco: normalisable
• Traductor inglés - noruego: normalisable

10 LIBROS DEL INGLÉS RELACIONADOS CON «NORMALISABLE»

Descubre el uso de normalisable en la siguiente selección bibliográfica. Libros relacionados con normalisable y pequeños extractos de los mismos para contextualizar su uso en la literatura.

Computational Logic

If M red M' and M' is normal then we call M' a normal form of M. A term M is ( weakly) normalisable if M has a normal form and is strongly normalisable if every contraction path M contr M' contr M" . . . is finite. Some Examples: Trivially all normal ...

Ulrich Berger, Helmut Schwichtenberg, 1999

Logical Frameworks

Let M € A be simple and normalisable. For any a such that <pAa(a), we have that apply ( A/, a) is simple and normalisable, because M is simple and a normalisable, and hence by induction hypothesis, tpAl[a](appiy(M,a)). For any a, 6 such that ...

Gerard Huet, G. Plotkin, 1991

Typed Lambda Calculi and Applications: Third International ...

We first introduce a translation which translates lambda-terms into lambda- I- terms, and show that every lambda-term is strongly beta-normalisable if and only if its translation is weakly beta-normalisable. We then prove that the translation ...

Philippe de Groote, J. Roger Hindley, 1997

An Approach to the Extension of a Theorem Prover by Advanced ...

normalisable. signature. morphisms. By the de nition, the mappings Σclass(T1) φ −→ Σclass(T2), Σtype(T1) φ −→ φ Σtype(T2) and Σlogop(T1) ψ −→ φ,φ Σop(T2) already determine the base signature morphism σ(Σlogop(T1)) : T1 −→ T2.

Maksym Bortin, 2010

Computer Science Logic: 9th International Workshop, CSl '95, ...

This suffices to show that t is strongly normalisable, by lemma 10. — (CR2) if* — >t', we need to show that {t'u) e REDu2 [I?/X*] for all term u C REDVl [lt/T]. Take u C REDVl [Tt/X*]\ we have (tu) C REDu2 [T?/X*\ by definition of reducibility ...

Hans Kleine Buening, 1996

Confinement, Topology, and Other Non-Perturbative Aspects of QCD

Our solution corresponds to z at the boundary of this range, where the zero-mode fails to be normalisable. This boundary value of z is defined by det(O,) = 0, and the abelian field AQ given above corresponds to the isospin component of Oz ...

Jeff Paul Greensite, Stefan Olejna-K, 2002

Bayesian Time Series Models

We say that Step 4 in Algorithm 7.2 is supported, if all the beliefs that change because of the construction of the new messages remain normalisable. On the first forward pass this is automatically satisfied. Since a1 is a proper distribution and B, ...

David Barber, A. Taylan Cemgil, Silvia Chiappa, 2011

Functional Programming and Input/Output

... take advantage of the following theorem. Theorem 2.1 (Mendler) Jf no constant Elim" or lntro" occurs in a term M, then M is strongly normalisable, which is to say that there is no infinite sequence of reductions starting from M. Proof. The proof ...

Andrew D. Gordon, 1994

Rewriting Techniques and Applications: 10th International ...

Therefore, since the simply typed A-calculus is strongly ,3-normalisable, we immediately obtain the following proposition. Proposition 15. AT/W is strongly normalisable with respect to detour-conversions. I] 5 Strong Normalisation In this section ...

Paliath Narendran, Michael Rusinowitch, 1999

Modern Physics

Normalisable. Wave. Functions. For those wave functions which go to zero as r -> oo or x -> ± oo the total probability has to be one i.e. Jo" Jo Jo2?t/> ('. 8.9,0 ^ smQdBity = 1 (see page 119) or j^ \^ ]^P(x,y,z,t)dxdydz = 1 (4-2-15) because the ...

Prof. S.P. Khare