teoria del primo ordine oor Engels
teoria del primo ordine
Vertalings in die woordeboek Italiaans - Engels
first-order logic
en
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Teoria del primo ordine?
The need for a flexible system was emphasized.OpenSubtitles2018.v3 OpenSubtitles2018.v3
ACA0 (un sottosistema dell'aritmetica del secondo ordine) è un'estensione conservativa dell'aritmetica di Peano (una teoria del primo ordine).
and whereas implementation of this policy necessarily involves its progressive standardisation during the transitional periodWikiMatrix WikiMatrix
Già da tempo padroneggiano l’abc della teoria del primo ordine – del tipo, mamma pensa che sono andato a letto.
I' m #, but she' s a might olderLiterature Literature
Aritmetica di Presburger è la teoria del primo ordine dei numeri naturali con l'aggiunta introdotta nel 1929 da Mojżesz Presburger, da cui prende il nome.
He got Yale right between the eyesWikiMatrix WikiMatrix
Si propone una teoria secondo cui l'assenza del primo ordine è dovuta ad una carenza dell'onda capillare pertinente.
This formula shall be valid for carcases weighing between # and # kgspringer springer
Quindi, si può ad esempio specificare l'intera teoria degli insiemi nella logica del primo ordine, gli assiomi della teoria degli insiemi e dei predicati che sono valide per tutti i possibili set.
I' ve done me time for that blue, fair and squareQED QED
La teoria delle perturbazioni del primo ordine è usata per lo studio della propagazione di un fascio di luce attraverso un plasma non omogeneo con fluttuazioni stocastiche di densità nello spazio e nel tempo.
So, Emily sent himspringer springer
Si presenta uno studio critico dei procedimenti di disaccoppiamento del primo ordine nella teoria del ferromagnetismo espressa con le funzioni di Green, basato sul caso esattamente risolvibile di un sistema di due spin accoppiati per mezzo dell’interazione di scambio.
Work all day!springer springer
Si estende l’approssimazione al primo ordine del metodo W.K.B. alla teoria dei campi dando le corrispondenti condizioni quantiche.
You straighten your son out, ¿ que no?- Simonspringer springer
Si dimostra che nella teoria delle perturbazioni del primo ordine, per valori fisici degli impulsi, si può sostituire specialmente la funzione a gradini convenzionale che compare nelle formule integrali normali con la funzione a gradini modificataθ(x0 — α|x|) con 0<α<k0/|k|, dovek rappresenta il quadrimomento della particella ridotta nel sistema in quiete dell’altra.
In accordance with Article #) of the basic Regulation, it is necessary to examine whether the expiry of the measures would be likely to lead to a continuation or recurrence of dumpingspringer springer
La non linearità del materiale viene presa in considerazione nel calcolo secondo la teoria del primo ordine.
Clause # sets workers' rates of pay for the new agreementParaCrawl Corpus ParaCrawl Corpus
Si tratta il primo ordine della teoria occupandosi in particolare del caso nel quale le equazioni di campo non sono varianti di gauge.
Maybe she' s not homespringer springer
Si esamina anche una teoria non lineare della polarizzabilità per la dispersione basata sulla teoria lineare della polarizzabilità di Born e Bradburn per l'effetto Raman lineare del primo ordine, e si dimostra la sua equivalenza con la teoria generale nel limite nullo della frequenza del fonone.
In this context, foreign-ownership restrictions are likely to encourage, rather than discourage, concentration of ownership within a domestic market.springer springer
Linguaggi predicativi (sintassi della logica predicativa, variabili libere e legate, interpretazioni e modelli, equivalenza semantica, connettivi e operatori insiemistici, teorie del primo ordine)
That' s why men get frustrated...... when we see women reading articles...... like " Where to Meet Men. "ParaCrawl Corpus ParaCrawl Corpus
In questo articolo mostriamo che la seconda quantizzazione della teoria gravitazionale di Einstein scritta in formalismo del primo ordine basato su una formaleN-bein invece dell’usuale 4-bein, dà un «modello» di gravità quantistica che è finito ed unitario nell’ambito perturbativo di un’espansione in 1/N.
Besides, where are you gonna meet some nice guys?springer springer
Si ottiene un’equazione agli autovalori per gli impulsi di eccitazione di un sistema interagente, nel primo ordine della teoria delle perturbazioni, in base alle equazioni autoconsistenti del moto per le particelle ed il campo.
You' il love it... everything tailored to your personalityspringer springer
La teoria dell'integrazione dei dati costituisce un sottoinsieme della teoria delle basi di dati e formalizza i concetti di fondo del problema attraverso la logica del primo ordine.
I want to go on a rideWikiMatrix WikiMatrix
Si può formulare la teoria in forma canonica introducendo due campi spinoriali addizionali che sono correlati alle derivate del primo e secondo ordine del campo originale da equazioni di Eulero.
The conscriptspringer springer
Secondo lo schema di assiomi della Comprensione delle Classi di NBG, tutti gli oggetti che soddisfano una data formula nella teoria del primo ordine di NBG formano una classe; se la classe non fosse un insieme in ZFC, allora sarebbe una classe propria di NBG.
Richard and I can take care of ourselvesParaCrawl Corpus ParaCrawl Corpus
Il punto di partenza del metodo delle perturbazioni è un'equazione differenziale non lineare di primo ordine che entra nella formulazione della teoria dello scattering in fase.
Then there' s nothing to stop usspringer springer
L’accoppiamento minimo porta un andamento passivo identico a quello della relatività generale; l’accoppiamento completamente linearizzato porta al risultato che la luce non segue più geodetiche nulle della metrica effettiva (ad eccezione del primo ordine), e ad incongruenze apparenti nell’applicazione dogmatica della teoria cinetica.
Keep movingspringer springer
Erwin Schrödinger discusse lungamente dell'effetto Stark-Lo Surdo nel suo terzo articolo sulla teoria quantistica (nella quale introdusse la sua teoria perturbativa), in modo simile a quanto fatto nel lavoro del 1916 di Epstein (ma generalizzando dalla vecchia alla nuova teoria quantistica) e usando un approccio perturbativo (al primo ordine).
Polar bears have opposable thumbs now?WikiMatrix WikiMatrix
Definendo in modo adatto i prodotti degli operatori di campo spinoriali del termine quartico dell'autointerazione si mostra che la funzione di propagazione del fermione rinormalizzata della teoria nonlineare di Heisenberg èSFREN/−1∼γ·p(1−ap2) al primo ordine nella costante di accoppiamento.
Then how do you explain sergeant Pompous and the Fancy Pants Club band?Come on!springer springer
Facendo uso di un procedimento limitativo, otteniamo un primo integrale, divergente ed ambiguo, che determina formalmente il comportamento asintotico del propagatore del fotone in tutti gli ordini della teoria della perturbazione.
Any amount over $150,000 should probably be referred to a lawyer.springer springer
Come conseguenza di ciò, si ha una caratterizzazione logica semplice di L: contiene esattamente quei linguaggi esprimibili in logica del primo ordine con l'aggiunta di un operatore commutativo di chiusura transitiva (in termini di teoria dei grafi, ciò trasforma ogni componente connesso in una cricca).
The government had a wonderful opportunity to deal with both fiscal issues and the human deficitWikiMatrix WikiMatrix
37 sinne gevind in 18 ms. Hulle kom uit baie bronne en word nie nagegaan nie.