mathematical logics
logica matematica
mathematical logic oor Italiaans
mathematical logic
en
(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.
Vertalings in die woordeboek Engels - Italiaans
logica matematica
en
A subfield of mathematics with close connections to computer science and philosophical logic.
I was able to combine mathematical logic with romantic inconsistency.
Ho combinato la logica matematica con l'incoerenza romantica.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
“Here we have a manual of mathematical logic, a discussion of minichronics, and a treatise on basic cosmology.
Appoggio ogni idea di decentramento amministrativo, di partenariato e di uso degli stanziamenti in base alle esigenze delle regioni.Literature Literature
“Mathematical logic, or pure logic, is essentially a conversation between truths and falsehoods.
se l'etichettatura è effettuata mediante una stampigliatura diretta sugli articoli, è sufficiente un solo colore che contrasti con quello del fondoLiterature Literature
Quine, W. van Orman, Mathematical Logic (Cambridge, MA: Harvard University Press, 1955).
Occorre integrare nell'accordo la decisione #/#/CE della Commissione, del # ottobre #, recante approvazione di alcuni trattamenti destinati ad inibire lo sviluppo di microrganismiLiterature Literature
It’s a technical paper in mathematical logic, but it’s also about the difficulty of telling right from wrong.
Voi ragazzi alla fine mi lascerete indietro comunqueLiterature Literature
The disciplined framework is reason, mathematics, logic.
Le domande di licenza d'esportazione, compilate su un modulo #, sono corredate dei seguenti documentiLiterature Literature
The first, an investigation into the history of mathematical logic, he taught himself.
Fevaxyn Pentofel si è dimostrato efficace nei confronti della leucemia felina, nei confronti di malattie respiratorie provocate dal virus della rinotracheite felina, dal calicivirus felino e dalla Chlamydia psittaci felina, nonché nei confronti di malattie provocate dal virus della panleucopenia felinaLiterature Literature
Who set down the mathematical logic?
Cosa tiaspetti che Dio faccia per te?Literature Literature
His one year course in mathematical logic was one of Princeton University's great offerings.
invita la Commissione a modificare di conseguenza la sua proposta, in conformità dell'articolo #, paragrafo #, del trattato CELiterature Literature
Unlike computers and the rules of mathematical logic, we don’t think in F’s and x’s and y’s.
Per consentire un controllo e un'esecuzione efficaci dell'obbligo di autorizzazione, gli utilizzatori a valle che usufruiscono di un'autorizzazione rilasciata al loro fornitore dovrebbero informare l'Agenzia dell'uso che essi fanno della sostanzaLiterature Literature
Or does it give it substance in some sense which is essential to mathematics (logic)?
Il presente ricorso è proposto contro la decisione adottata il # marzo # dal direttore del personale e dell'amministrazione della Commissione, che respinge il reclamo presentato dalricorrente,nell'ambito della redazione del suo rapporto di avanzamento di carriera per il periodo compreso tra il #o luglio # ed il # dicembre # (RACLiterature Literature
Moisil published papers on mechanics, mathematical analysis, geometry, algebra and mathematical logic.
Occorre concedere agli Stati membri un periodo di tempo sufficiente per adeguare le proprie norme e procedure interne in modo da poter redigere una dichiarazione sulla sicurezza dei sistemi d’informazione degli organismi pagatoriWikiMatrix WikiMatrix
Wittgenstein used, in fact, mathematical logic.
Ma siete tutte pazze?OpenSubtitles2018.v3 OpenSubtitles2018.v3
How will w e ensure a new internal distance between mathematical thought as such and mathematized logic?
In caso di estrema urgenza, le misure o formalità nazionali in questione vengono comunicate alla Commissione sin dallLiterature Literature
As for Husserl, we know that he was steeped in mathematics and mathematical logic.
Meccanismo d' azioneLiterature Literature
Pascal and Fermat found the mathematically logical answer.
Sento di poter cogliere la tua essenza, sento di aver capito come sei dentroLiterature Literature
The guidelines, exemption regulations and mathematical logic favour Lodato’s formula
Una persona debitamente istruita deve essere in grado, da sola, di smontare il prodottoEurLex-2 EurLex-2
I shall begin with counting and I shall reach the most recent branch of mathematics, mathematical logic.
Dammi quella bottigliaLiterature Literature
It defies all mathematical logic.
Il #/#/# la Commissione ha deciso di non opporsi alla suddetta operazione di concentrazione notificata e di dichiararla compatibile con il mercato comuneLiterature Literature
The area of mathematical logic opened up by Boolean algebra is now known as the propositional calculus.
Signora Presidente, credo che la Francia dovrebbe revocare immediatamente l' embargo sulla carne bovina britannica semplicemente perché la Gran Bretagna ha soddisfatto le condizioni dell' Accordo di Firenze.Literature Literature
I shall call them premises (from mathematical logic) for short.
Sono bravo a fare il morto, eh?Literature Literature
Mathematical logic: see P 110
Contribuire alla tutela e alla promozione della sanità pubblica e della salute degli animaliEurLex-2 EurLex-2
Silvio Funtowicz began his career teaching mathematics, logic and research methodology in Buenos Aires, Argentina.
Potrebbe non essere una buona idea.Perche ' no?WikiMatrix WikiMatrix
Others interested in mathematical logic were slower to absorb Godel's new work.
La spinta verso la collettività e quella verso I' individualitàLiterature Literature
"Cf. here the ""decision problem"" and similar topics in modern mathematical logic."
Cerchiamo di non far saltare la nave prima che riescano a uscire, stavoltaLiterature Literature
In 1972, logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic.
Hai un' ora per risolvere il caso mentre io metto a letto i bambiniWikiMatrix WikiMatrix
1084 sinne gevind in 12 ms. Hulle kom uit baie bronne en word nie nagegaan nie.