Tradução de "lógica de programação" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| Dicionário de Lógica. | Logic. |
| Ambiente Educacional de Programação | Educational Programming Environment |
| É chamado de programação. | It's called programming. |
| 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. |
| Jogo de lógica GFingerPoken | GFingerPoken logic game |
| A lógica de mercado | The logic of the market |
| 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 NMOS | Designs (e.g. |
| 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. |
| Ferramenta de Programação Rádio CHIRP | CHIRP Radio Programming Tool |
| Um ambiente de programação Logo | A Logo programming environment |
| Não sei nada de programação. | I don't know anything about programming. |
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| 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 . |
| Os paradigmas de programação são muitas vezes diferenciados pelas técnicas de programação que proíbem ou permitem . | Many programming paradigms are as well known for what techniques they forbid as for what they enable. |
| Jogo de Lógica tipo Sokoban | Sokoban like Logic Game |
| Jogo de Lógica Caixa Preta | Blackbox Logic Game |
| MicroHOPE sistema de programação de microcontroladores | MicroHOPE microcontroller programming system |
| 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. |
| AID desenvolvimento programação | IDE development programming |
| Seleccione linguagem programação | Select execution program and args |
| Aprenda programação interativa | Learn programming interactively |
| Linguagens de programação são seu passatempo. | Programming languages are his hobby. |
| FORTRAN é uma linguagem de programação. | Fortran is a programming language. |
| Eu não sei nada de programação. | I don't know anything about programming. |
| JavaScript é uma linguagem de programação. | JavaScript is a programming language. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Software Linguagens de programação paralelas Linguagens de programação, bibliotecas, API e modelos foram criados para programar computadores paralelos. | Software Parallel programming languages Concurrent programming languages, libraries, APIs, and parallel programming models (such as Algorithmic Skeletons) have been created for programming parallel computers. |
| Um jogo sobre lógica de número | A number logic game |
| Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa. | In many definitions of logic, logical inference and inference with purely formal content are the same. |
| Na Lógica, uma lógica multi valorada é um calculo proposicional no qual existem mais de dois valores. | In logic, a many or multi valued logic is a propositional calculus in which there are more than two values. |
| Tal formulação é chamada de um problema de otimização ou um problema de programação matemática (um termo não diretamente relacionado à programação de computadores, mas ainda em uso, por exemplo, na programação linear). | Such a formulation is called an optimization problem or a mathematical programming problem (a term not directly related to computer programming, but still in use for example in linear programming see History below). |
| Técnicas de pesquisa operacional incluem programação linear e outras áreas de otimização , teoria das filas , teoria de programação , teoria de rede . | Operations research techniques include linear programming and other areas of optimization, queuing theory, scheduling theory, network theory. |
| Linguagem de programação de baixo nível trata se de uma linguagem de programação que compreende as características da arquitetura do computador. | In computer science, a low level programming language is a programming language that provides little or no abstraction from a computer's instruction set architecture. |
| VERSÃO PRELIMINAR DA PROGRAMAÇÃO | DRAFT PROGRAM |
Pesquisas relacionadas : Programação Lógica - Programação - De Programação - Escolha Lógica - Lógica Econômica - Concepção Lógica - Lógica Industrial - árvore Lógica - Lógica Relé
