Tradução de "logic programming" para a língua portuguesa:
Dicionário Inglês-Português
Exemplos (Fontes externas, não revisadas)
| Salus, Peter H. Functional and Logic Programming Languages . | Salus, Peter H. Functional and Logic Programming Languages. |
| This is the basis for the logic programming paradigm. | Tal conceito é base para a programação lógica. |
| For some alternate conceptions of what constitutes an algorithm see functional programming and logic programming. | Concepções alternativas para algoritmos variam em programação funcional e programação lógica. |
| Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics. | É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e linguística computacional. |
| The notation of ladder logic is still in use as a programming idiom for PLCs. | A notação ladder ainda é muito utilizada em CLP's. |
| The archetypical example of a declarative language is the fourth generation language SQL, as well as the family of functional languages and logic programming. | Um exemplo é o SQL, assim como a família das linguagens funcionais e lógicas. |
| Predicate logic Predicate logic is the generic term for symbolic formal systems such as first order logic, second order logic, many sorted logic, and infinitary logic. | Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas. |
| Comparison to imperative programming Functional programming is very different from imperative programming. | Laços, outra construção de programação imperativa, estão presentes através da construção funcional mais geral de recursividade. |
| Symbolic logic is often divided into two branches propositional logic and predicate logic. | A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados. |
| Compensatory Fuzzy Logic The CFL (Compensatory Fuzzy Logic) is a branch of Fuzzy Logic. | Na lógica fuzzy são utilizados para definir o grau máximo e mínimo de pertinência do conjunto. |
| Logic. | Dicionário de Lógica. |
| 388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ. | 388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ. |
| Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science. | A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações. |
| Software Parallel programming languages Concurrent programming languages, libraries, APIs, and parallel programming models (such as Algorithmic Skeletons) have been created for programming parallel computers. | Software Linguagens de programação paralelas Linguagens de programação, bibliotecas, API e modelos foram criados para programar computadores paralelos. |
| Win32 Programming . | Win32 Programming . |
| Some aspects of logic system design make use of Boolean logic. | Alguns aspectos dos sistemas lógicos são projetados utilizando princípios da lógica Booleana. |
| Logic In logic, Antisthenes was troubled by the problem of universals. | Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. |
| Compatibility with Financial Programming Proposal is compatible with existing financial programming . | Compatibility with Financial Programming Proposal is compatible with existing financial programming . |
| Compatibility with Financial Programming Proposal is compatible with existing financial programming . | Compatibilidade com a programação financeira A proposta é compatível com a programação financeira existente . |
| There are several logic families with different characteristics (power consumption, speed, cost, size) such as RDL (resistor diode logic), RTL (resistor transistor logic), DTL (diode transistor logic), TTL (transistor transistor logic) and CMOS (complementary metal oxide semiconductor). | História Em 1854, o matemático britânico George Boole (1815 1864), através da obra intitulada An Investigation of the Laws of Thought (Uma Investigação Sobre as Leis do Pensamento), apresentou um sistema matemático de análise lógica conhecido como álgebra de Boole. |
| GFingerPoken logic game | Jogo de lógica GFingerPoken |
| Logic circuit simulator | Simulador de circuitos lógicos |
| Blackbox Logic Game | Jogo de Lógica Caixa Preta |
| Formalization of Logic . | Formalization of Logic . |
| IDE development programming | AID desenvolvimento programação |
| Educational Programming Environment | Ambiente Educacional de Programação |
| Learn programming interactively | Aprenda programação interativa |
| It's called programming. | É chamado de programação. |
| PL I ( Programming Language One , pronounced ) is a procedural, imperative computer programming language designed for scientific, engineering, business and systems programming applications. | PL I (alternativamente PL 1, lê se pê ele um ) significa Programming Language One e é uma linguagem de programação desenvolvida pela IBM em meados de 1960. |
| Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics. | A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. |
| These areas share basic results on logic, particularly first order logic, and definability. | Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. |
| Logic control Logic control systems for industrial and commercial machinery were historically implemented at mains voltage using interconnected relays, designed using ladder logic. | Controles lógicos Sistemas de controles lógicos para a indústria e equipamentos comerciais foram historicamente implementados através da lógica de relés, projetados utilizando a lógica ladder. |
| 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 . | 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. |
| Sokoban like Logic Game | Jogo de Lógica tipo Sokoban |
| A number logic game | Um jogo sobre lógica de número |
| You need voting logic. | Você precisa escolher logicamente. |
| Addictive little logic game. | Um pequeno jogo lógico viciante. |
| Introduction to Mathematical Logic . | Introdução à Lógica Simbólica. |
| Introduction to Medieval Logic . | Lógica Modus ponens Modus tollens |
| The development of logic . | O desenvolvimento da Lógica. |
| Compatibility with Financial Programming | Compatibility with Financial Programming |
| CHIRP Radio Programming Tool | Ferramenta de Programação Rádio CHIRP |
| MicroHOPE microcontroller programming system | MicroHOPE sistema de programação de microcontroladores |
| A Logo programming environment | Um ambiente de programação Logo |
| Compatibility with Financial Programming | Compatibilidade com a programação financeira |
Related searches : Programming Logic - Logic Circuit - Economic Logic - Logic Behind - Core Logic - Logic Element - Industrial Logic - Logic Tree - Relay Logic - Logic Solver - Conditional Logic - Basic Logic
