Tradução de "lógica do núcleo" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| Ao trabalhar com a lógica fuzzy é comum chamar a lógica booleana de lógica nítida. | Fuzzy logic has been applied to many fields, from control theory to artificial intelligence. |
| Lógica tradicional Esta tradição começou com o livro Lógica, ou a arte do pensamento ou Lógica de Port Royal de Antoine Arnauld e Pierre Nicole. | Traditional logic The textbook tradition Traditional logic generally means the textbook tradition that begins with Antoine Arnauld and Pierre Nicole's Logic, or the Art of Thinking , better known as the Port Royal Logic . |
| A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados. | Symbolic logic is often divided into two branches propositional logic and predicate logic. |
| O núcleo C é o maior e presumidamente o principal remanescente do núcleo original. | Nucleus C is the largest and the presumed principal remnant of the original nucleus. |
| codice_11 Sistema de arquivos do núcleo. | The system closes all files on program exit. |
| O sistema lógico de Aristóteles foi responsável pela introdução do silogismo hipotético, lógica modal temporal e lógica indutiva. | Aristotle's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic, and inductive logic, as well as influential terms such as terms, predicables, syllogisms and propositions. |
| Lógica NMOS | Designs (e.g. |
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| E a lógica do nosso experimento foi simples. | And the logic of our experiment was simple. |
| Foi estabelecido como núcleo do Eurosistema e do | It was established as the core of the Eurosystem and the ESCB and ensures |
| O líquido viscoso dentro do núcleo denomina se nucleoplasma, e é similar ao citoplasma encontrado no exterior do núcleo. | The viscous liquid within it is called nucleoplasm, and is similar in composition to the cytosol found outside the nucleus. |
| Foi estabelecido como núcleo do Eurosistema e | It has been established as |
| A primeira versão do núcleo foi 0.01. | The first version of the kernel was 0.01. |
| É o núcleo do Condado de Simcoe. | It was a station of the Northern Railway. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| O ARN viral e as proteínas do núcleo viral abandonam o núcleo e penetram nesta protuberância (estágio 6). | The vRNA and viral core proteins leave the nucleus and enter this membrane protrusion (step 6). |
| Micronúcleo, ou microkernel, é uma arquitetura de núcleo (kernel) de um sistema operativo cujas funcionalidades são quase todas executadas fora do núcleo, em oposição a um núcleo monolítico. | In computer science, a microkernel (also known as μ kernel) is the near minimum amount of software that can provide the mechanisms needed to implement an operating system (OS). |
| Precisamos de tecnologia como princípio do núcleo organizacional. | We need technology as a core organizational principle. |
| Os prótons são encontrados no núcleo do átomo. | Protons can be found at the nucleus of an atom. |
| núcleo dourado | inner part gold |
| núcleo prateado | inner part silver |
| Dentro do núcleo, a RanGTP actua para separar a carga da importina, permitindo que esta possa sair do núcleo para ser reutilizada. | Inside the nucleus, RanGTP acts to separate the cargo from the importin, allowing the importin to exit the nucleus and be reused. |
| nucleus núcleo ), é uma espécie atómica caracterizada pelo número de protões, neutrões e estado energético do núcleo (quando observável). | A nuclide (from nucleus) is an atomic species characterized by the specific constitution of its nucleus, i.e., by its number of protons Z , its number of neutrons N , and its nuclear energy state. |
| Em aplicações de cellphone PDA, o núcleo dos MIPS foi incapaz de deslocar o encarregado, núcleo competindo do BRAÇO. | In cellphone PDA applications, MIPS has been largely unable to displace the incumbent, competing ARM architecture. |
| Jogo de lógica GFingerPoken | GFingerPoken logic game |
| A lógica de mercado | The logic of the market |
| Um Prelúdio á Lógica. | Cohen and M.W. |
| Introdução à Lógica Simbólica. | Introduction to Mathematical Logic . |
| A lógica, entretanto, prevaleceu. | However, it is all we have. |
| (Veja também lógica intuicionista). | U.S. Dept. |
| Mundo Possível Lógica Modal | Acumben Publishing Limited. |
| O desenvolvimento da Lógica. | The development of logic . |
| Vénus não tem um núcleo interno sólido, ou seu núcleo não está se resfriando atualmente, de modo que toda a parte líquida do núcleo está aproximadamente à mesma temperatura. | One possibility is that Venus has no solid inner core, or that its core is not cooling, so that the entire liquid part of the core is at approximately the same temperature. |
| Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. | These areas share basic results on logic, particularly first order logic, and definability. |
| Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. | In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. |
| Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. | Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language. |
| Isto é feito através do tunelamento de uma partícula de fora do núcleo (um tunelamento de elétrons para dentro do núcleo é a captura eletrônica). | This is done via the tunnelling of a particle out of the nucleus (an electron tunnelling into the nucleus is electron capture). |
| O estudo da lógica O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. | The study of logic The concept of logical form is central to logic, it being held that the validity of an argument is determined by its logical form, not by its content. |
| Pode ser um pedaço do núcleo perfurado da montanha. | It might be a piece of a core drill of the mountain. |
| No sentido do núcleo solar, atua a força gravitacional. | The Sun is the star at the center of the Solar System. |
| Nanaimo é o núcleo do Distrito Regional de Nanaimo. | The Nanaimo Pirates, of the B.C. |
| Estes seriam o núcleo da futura Marinha do Brasil. | These became the core of the Navy of Brazil. |
| A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. | Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics. |
| Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. | For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted. |
Pesquisas relacionadas : Lógica Do Controle - Lógica Do Circuito - Lógica Do Computador - Lógica Do Processo - Lógica Do Projeto - Lógica Do Design - Lógica Do Desenvolvimento - Lógica Do Mercado - Lógica Do Inversor - Núcleo Do Solo - Gestão Do Núcleo - Estudo Do Núcleo