Tradução de "semântica computacional" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| 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. |
| ghkl Difractometria Computacional | ghkl |
| A semântica considera o conteúdo da comunicação. | Semantics considers the content of communication. |
| GAP (Grupos, Algoritmos e Programação) é um sistema de álgebra computacional para álgebra discreta computacional, com ênfase particular na teoria computacional de grupos. | GAP (Groups, Algorithms and Programming) is a computer algebra system for computational discrete algebra with particular emphasis on computational group theory. |
| O poder computacional é formidável. | The computational power is amazing. |
| Ver também Semiótica Ligações externas semanticsarchive.net Site ensinando sobre semântica Noam Chomsky, Universidade de Harvard, 30 de outubro de 2007 (vídeo) Ray Jackendoff, Conceito de semântica, Universidade de Harvard, 13 de Novembro de 2007 (vídeo) Sistema de semânticas http www.pciconcursos.com.br aulas portugues semantica, Aulas de Português Semântica Semântica uma entrevista com Jerry Fodor ReVEL, vol. | See also Linguistics and semiotics Logic and mathematics Computer science Psychology References External links semanticsarchive.net Teaching page for A level semantics Chomsky, Noam On Referring , Harvard University, 30 October 2007 (video) Jackendoff, Ray Conceptual Semantics , Harvard University, 13 November 2007 (video) Semantics an interview with Jerry Fodor |
| Outra grande influência foi a Semântica Geral de Alfred Korzybski. | Another major influence was Alfred Korzybski's General Semantics. |
| Ferramenta de administração para laboratório computacional Epoptes. | Epoptes computer lab administration tool |
| Visualizador gráfico de resultados de química computacional | Graphical display of computational chemistry output |
| Elas tem capacidade computacional. Tem sinais elétricos. | They have computing power, they have electrical signals. |
| Geometria computacional aplica algoritmos para problemas geométricos. | Computational geometry applies algorithms to geometrical problems. |
| Já lesões no lobo parietal esquerdo apresentam prejuízos na memória semântica. | Schwabe, L., Wolf, O.T. |
| Mesmo assim, ele deseja retomar a questão política, ao invés da semântica | Nevertheless he wants to return to the political rather than the lexical issue |
| O estudo das interpretações de linguagens formais é chamado de semântica formal. | The study of interpretations of formal languages is called formal semantics. |
| Mais especificamente Herbert foi influenciado pela Semântica Geral de Alfred Korzybski Sociobiologia. | More specifically, Frank Herbert was influenced by Alfred Korzybski's General Semantics . |
| Geometria Computacional é um ramo da Ciência da Computação que estuda algoritmos e estruturas de dados para a resolução computacional de problemas geométricos. | Computational geometry is a branch of computer science devoted to the study of algorithms which can be stated in terms of geometry. |
| Semânticas Alternativas Há outros conjuntos de semântica disponível para representar máquinas de estado. | Alternative semantics There are other sets of semantics available to represent state machines. |
| Sistema algébrico computacional para problemas da Teoria de Campos | Computer algebra system for field theory problems |
| Interface gráfico para a Biblioteca hkl de difração computacional | hkl library graphical interface. |
| E também traz novos temas, como a irredutibilidade computacional. | It also brings up new issues, though, like computational irreducibility. |
| Modelagem do lado direito, há um complexo modelo computacional. | Modeling on the right hand side, there's a very complex computational model. |
| Um interface para o Sistema Maxima de Álgebra Computacional | An interface to the Maxima Computer Algebra System |
| O sucesso dos modernos métodos matemáticos e programas de computador possibilitaram a criação da matemática computacional, ciência computacional, e engenharia computacional, que usam computações de alta performance para a simulação de certos fenômenos e soluções para problemas nas ciências e engenharia. | The success of modern numerical mathematical methods and software has led to the emergence of computational mathematics, computational science, and computational engineering, which use high performance computing for the simulation of phenomena and the solution of problems in the sciences and engineering. |
| GOSUB, para pular para um ponto do programa com a semântica de sub rotina. | WHILE ... WEND and REPEAT ... UNTIL repeat a section of code while the specified condition is true. |
| Semântica se preocupa com o significado de uma mensagem transmitida em um ato comunicativo. | Semantics is concerned with the meaning of a message conveyed in a communicative act. |
| Rede semântica Mapa cognitivo Análise morfológica Tecnologia educacional Psicologia educacional Freemind Freeplane Cayra Xmind | Pen and Paper vs Computer There are two studies that analyze whether electronic mind mapping or pen based mind mapping is more effective. |
| Interface gráfico de utilizador (GUI) para pacotes de química computacional | graphical user interface to computational chemistry packages |
| Que é o equivalente computacional de dois interruptores de luz. | So that's essentially the computational equivalent of two light switches. |
| Isto dá origem a alta inteligibilidade para análise sintática computacional. | This gives rise to high intelligibility for computer parsing. |
| Essa redução nao diz respeito à complexidade computacional, no entanto. | This reduction does not respect computational complexity, however. |
| GNU Octave é uma linguagem computacional, desenvolvida para computação matemática. | GNU Octave is a high level programming language, primarily intended for numerical computations. |
| De fato, a principal razão porque nós a usamos é devido a ter específicidade semântica. | In fact, the whole reason we use it is because it has semantic specificity. |
| Megan Clement Couzner, no blog the conversation , não vê nenhuma necessidade de tergiversar sobre semântica | Megan Clement Couzner at the blog the conversation, does not see the need to quibble about semantics |
| A semântica é o estudo do significado dos sinais a associação entre sinais e comportamento. | Semantics is the study of the meaning of signs the association between signs and behaviour. |
| Dado o modelo computacional, podemos testar o modelo essencialmente questionando o. | Given the computer model, we can test the model by essentially quizzing it. |
| O resultado destes vários requisitos da especificação era PowerPC (Performance Computacional). | The result of these various requirements was the PowerPC ( Performance Computing ) specification. |
| PCI Express, barramento computacional serial, usa exclusivamente mensagens de interrupção sinalizadas. | PCI Express, a serial computer bus, uses message signalled interrupts exclusively. |
| Bit versus qubit Um bit é a base da informação computacional. | Bit versus qubit The bit is the basic unit of information. |
| Além disso, um fato que talvez vocês não saibam, é que a capacidade computacional desta coisa não é tão diferente da capacidade computacional do seu computador de mesa. | Also, a fact which you may not know is that the compute capability of this thing is not so different from the compute capability of your desktop computer. |
| Esta disciplina faz parte da mais vasta teoria da complexidade computacional, que permite fazer estimativas quanto aos recursos necessários para que um algoritmo resolva um determinado problema computacional. | Algorithm analysis is an important part of a broader computational complexity theory, which provides theoretical estimates for the resources needed by any algorithm which solves a given computational problem. |
| Procurou aplicar a teoria formal da verdade de Tarski à semântica da linguagem natural, sublinhando a ideia de que para uma linguagem poder ser aprendida a sua semântica tem de depender de um número finito de axiomas. | It follows that it must be possible to give a theoretical semantics for any natural language which could give the meanings of an infinite number of sentences on the basis of a finite system of axioms. |
| A fonologia, a gramática, o vocabulário e a semântica são baseados em línguas indo europeias ocidentais. | The phonology, grammar, vocabulary, and semantics are based on the Indo European languages spoken in Europe. |
| A semântica linguística estuda o significado usado por seres humanos para se expressar através da linguagem. | Linguistic semantics is the study of meaning that is used for understanding human expression through language. |
| Na sua resposta Spongia adversus aspergines Hutteni (1523), Erasmo demonstra o seu pleno domínio da semântica. | In his reply in 1523, Spongia adversus aspergines Hutteni , Erasmus displays his skill in semantics. |
| Para eles, é apenas um conceito enganador que deve ser removido da filosofia e da semântica. | For them, it is just a misleading concept that should be removed from philosophy and semantics. |
