Translation of "programação lógica" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Concepções alternativas para algoritmos variam em programação funcional e programação lógica. | For some alternate conceptions of what constitutes an algorithm see functional programming and logic programming. |
| Tal conceito é base para a programação lógica. | This is the basis for the logic programming paradigm. |
| As iniciais significavam Programação Lógica para Operações de Ensino Automatizadas. | The initials stood for Programmed Logic for Automated Teaching Operations. |
| Outras formas de semântica incluem a semântica nas linguagens de programação, lógica formal, e semiótica. | Other forms of semantics include the semantics of programming languages, formal logics, and semiotics. |
| 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. |
| 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 termo sintaxe também é usado para referir o estudo das regras que regem o comportamento de sistemas matemáticos, como a lógica, e as linguagens de programação de computadores. | In mathematics, the term syntax is also used to refer to the rules governing the behavior of mathematical systems, such as formal languages used in logic. |
| Ver também Software Programação Código de máquina Linguagem de programação | Compilers are used to translate source code from a programming language into either object code or machine code. |
| 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. |
| Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam. | He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language. |
| AID desenvolvimento programação | IDE development programming |
| Seleccione linguagem programação | Select execution program and args |
| Aprenda programação interativa | Learn programming interactively |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Scheme é uma linguagem de programação multiparadigma que suporta programação funcional e procedural. | Scheme and Common Lisp are the two principal dialects of the computer programming language Lisp. |
| Ambiente Educacional de Programação | Educational Programming Environment |
| É chamado de programação. | It's called programming. |
| VERSÃO PRELIMINAR DA PROGRAMAÇÃO | DRAFT PROGRAM |
| Comecei programação em Android. | I've started Android programming. |
| Iniciei programação em Android. | I've started Android programming. |
| Tom está aprendendo programação. | Tom is learning programming. |
| Compatibilidade com a programação financeira A proposta é compatível com a programação financeira existente . | Compatibility with Financial Programming Proposal is compatible with existing financial programming . |
| 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 . |
| 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. |
| Linguagens de programação Várias linguagens de programação, planilhas e pacotes estatísticos incluem simulações da normal. | Sum of differences from the mean Another useful formula is as follows formula_115where formula_116 With known variance For a set of i.i.d. |
| 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. |
| 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 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. |
| Ferramenta de Programação Rádio CHIRP | CHIRP Radio Programming Tool |
| Um ambiente de programação Logo | A Logo programming environment |
| Compatibilidade com a programação financeira | Compatibility with Financial Programming |
| Não sei nada de programação. | I don't know anything about programming. |
| Eu faço programação em PHP. | I program in PHP. |
Pesquisas relacionadas : Lógica De Programação - Lógica De Programação - Lógica De Programação - Lógica De Programação - Programação - Escolha Lógica - Lógica Econômica - Concepção Lógica - Lógica Industrial - árvore Lógica - Lógica Relé - Solver Lógica
