Usuário (não registrado)LOGIN ASSINE JÁ!


www.dicionariotecnico.com

Disponível no Google Play

Resultados da busca para "resolver"


a) Traduções técnicas inglês para português

(Substantivo)

Significado

Programa cliente do sistema de nomes de domínios, geralmente formado por uma biblioteca de funções que são compiladas e ligadas às aplicações que as utilizam para pesquisar o nome de um determinado domínio.

Outras denominações em Português transformador rotativo

OBS: Normalmente se encontram os termos "resolver" e "encoder", sem tradução

Significado

O resolver é um tipo de transformador elétrico rotativo usado para converter movimento rotativo mecânico em sinais elétricos que podem fornecer posição, velocidade ou ângulo. O resolver possui um estator e um rotor. O estator do resolver abriga três rolamentos: um rolamento excitador primário e dois rolamentos de saída (comumente denominados "seno" e "cosseno").



b) Traduções gerais inglês para português

(Substantivo)



c) Traduções Técnicas português para inglês

Exemplos de tradução

"Uma resolução iterativa dos mínimos quadrados ponderados é geralmente aplicada para resolver o problema das amostras de imagem que não respondem ao movimento global, sendo as referidas amostras geralmente...

"An iterative resolution to the least weighted squares is usually applied in order to resolve the problem of image samples that do not respond to the global motion, said samples being usually designated...



d) Traduções gerais português para inglês

(Verbo)

Exemplos de tradução

Although it is not be inserted in a large number of courses of Formation of Teachers who teach Mathematics in Brazil, the subject must be approached in a broad and efficient form, preparing the future citizens to decide financial challenges.

Apesar de não estar inserido em grande parte dos cursos de Formação de Professores que ensinam Matemática no Brasil, o tema deve ser abordado de forma motivadora e eficaz, preparando os futuros cidadãos a resolver desafios financeiros.

Each group must choose a representative to solve the equations and fill in the sheet with the results, the other members must help with the resolution and the group that first completes the cross will win the game.

Cada grupo deve escolher um representante para resolver as equações e preencher a folha com os resultados, os demais integrantes deverão ajudar na resolução e o grupo que completar primeiramente a cruzadinha, vencerá o jogo.

There are many methods to solve a system of linear equations and also to determine its solutions, as well as there are different types of software that permit to determine the solutions of these equation systems.

São muitos os métodos para resolver um sistema de equações lineares, assim como são diversos os softwares que permitem determinar as soluções de tais sistemas de equações.

(Expressão Fixa)


Banco de Glossários (traduções não verificadas)
Área Inglês Português Qualidade
Informáticaresolveresolver
Téc/GeralResolveresolver
Impressão & Gráficato solveresolver
Informáticaovercomeresolver
Téc/Geralresolvingresolver
Informáticaresolverresolvedor
Téc/Geralbest resolveresolver melhor
Mecânicaresolver valveválvula seletora
InformáticaDomain Name System resolverresolvedor de DNS
InformáticaName resolverResolvedor de nome
Téc/Geralactually resolvingresolver realmente
Informáticacaching resolverresolução de cache
Téc/Geralpartially solveresolver parcialmente
Téc/Geralto address thispara resolver esta questão
Téc/Geralresolutionresolução, resolvido, resolver
MecânicaLoad Signal resolverresolvedor de sinalização de carga
MedicinaCome out (to)Publicar, resolver, descobrir, aparecer
Informáticastored procedure resolverresolvedor de procedimentos armazenados
Informáticaresource exhaustion resolversolucionador de esgotamento de recursos
Téc/GeralCrack the caseDescascar o abacaxi; resolver um problema
Comércio ExteriorSettle (to)resolver; solucionar; liquidar; pagar contas; fixar
Téc/GeralTackleTentar resolver; equacionar; resolver; marcar (futebol)
Téc/GeralEffectivenessEfetividade; eficácia; surtir efeito; resolver o problema
InformáticaMicrosoft Windows Resource Exhaustion resolverSolucionador de Esgotamento de Recursos do Microsoft Windows
Téc/Geraladdressfazer face, combater, procurar/tentar resolver, abordar, falar sobre (analisar), responder; enfrentar ou evitar um problema, ultrapassar,
MedicinaAddress (to)Endereçar; enviar; encaminhar; remeter; considerar; tratar; abordar; enfrentar; estudar; examinar; lidar; dar atenção; ser voltado para; atender solucionar; remediar; resolver; responder; satisfazer

Frases traduzidas contendo "resolver"

Each group must choose a representative to solve the equations and fill in the sheet with the results, the other members must help with the resolution and the group that first completes the cross will win the game.

Cada grupo deve escolher um representante para resolver as equações e preencher a folha com os resultados, os demais integrantes deverão ajudar na resolução e o grupo que completar primeiramente a cruzadinha, vencerá o jogo.

Looking for strategies and methodologies for curriculum improvement and science classes, in particular, high school physics classes, students’ knowledge of prior to joining our classes is often disregarded and a common aspect to all students, regardless of their schooling, age or sex, they have already gone through numerous situations where they needed to perform some measurement to solve a certain problem or to know a specific aspect of personal interest of the executor of said measurement.

Buscando estratégias e metodologias para o aperfeiçoamento do currículo e aulas de ciências, em particular, aulas de física no ensino médio, muitas vezes são desconsiderados os conhecimentos dos estudantes de antes do ingresso em nossas classes e um aspecto comum a todos os estudantes, independentemente de sua escolaridade, idade ou sexo, é que os mesmos já passaram por inúmeras situações onde necessitaram realizar alguma medição para resolver determinado problema ou para conhecer um aspecto específico de interesse pessoal do executor da referida medição.

For that purpose a simulation game was developed, based on dynamic consensus democracy, in which the participants had the task of solving economic, social or cultural problems similar to lived for them.

Com esse intuito, foi desenvolvido um jogo de simulação, fundamentado na dinâmica da democracia de consenso, no qual os participantes precisavam resolver uma situação-problema de caráter econômico, social ou cultural, semelhantes às enfrentadas pelos jovens em sua vida real.

The Finite- Volume Method (FVM) is one of the numerical techniques that exist for solving differential equations, and has a feature of great value: the average conversation physical property in each volume control.

O chamado Método dos Volumes Finitos (MVF) é uma das técnicas numéricas que existem para resolver equações diferenciais, e possui uma característica em sua metodologia de grande valor: a conversação da média da propriedade física em cada volume de controle.

With the increasing demands on the performance and compatibility of the device with the biology of the cardiac system of the user, a project of intelligent control of rotating blood pumps was created through the paraconsistent annotated logic (PAL), mathematical structure used to solve cases of data inconsistency.

Com o aumento de exigência no desempenho e na compatibilidade do dispositivo com a biologia do sistema cardíaco do usuário, foi criado um projeto de controle inteligente de bombas de sangue rotativas através da lógica paraconsistente anotada (LPA), estrutura matemática utilizada para resolver casos de inconsistência de dados.

Thus, innovation in public administration is possible, even considering the obstacles, serving as reference to the proposal of a structured program that can solve internal needs so that society could receive better services.

Assim, a inovação na administração pública é possível, mesmo considerando os obstáculos existentes, servindo de referência à proposição de um programa estruturado que possa resolver necessidades internas de modo que a sociedade receba melhores serviços.

In these tasks, exponentiation is used as the process to solve a problem situation on the exponential behavior of numerical values and power as its solution.

En las tareas, la potenciación es tratada como el proceso para resolver una situación problema sobre el comportamiento exponencial de valores numéricos y la potencia como su solución.

Green’s Functions method is an important method of analytical solutions because of the possibility of solving transient problems of conduction heat transfer, with internal generation and with variable conditions of time.

O método de Funções de Green é um método importante de soluções analíticas devido à possibilidade de resolver problemas transitórios de transferência de calor de condução, com geração interna e com condições variáveis de tempo.

A priori, the analytical solution of this equation was found and a MATLAB program was implemented, in which the numerical solution was calculated based on the Finite Differences Method, applying the Decomposition Method in LU to solve the system of linear equations.

A priori, foi encontrado a solução analítica desta equação e implementou-se um programa em MATLAB, em que, calculou a solução numérica, com base no Método das Diferenças Finitas, aplicando o Método de Decomposição em LU para resolver o sistema de equações lineares.

Considering that the game can be an important educational resource, given your inherent motivation, and also represent an ally to the formation of knowledge, we highlight the following objectives: develop strategies of counting and numerical registry; register the quantities numerically; recognize and differentiate numbers; recognize, compare and differentiate quantities; reflect and resolve problem situations through personal strategies; develop oral language through interactions between children and between them and the teacher.

Considerando que o jogo pode ser um importante recurso pedagógico, dado sua motivação inerente, e também representar um aliado à formação de conhecimentos, destacamos os seguintes objetivos: desenvolver estratégias de contagem e de registro numérico; registrar numericamente as quantidades; reconhecer e diferenciar números; reconhecer, comparar e diferenciar quantidades; refletir e resolver situações-problema por meio de estratégias pessoais; desenvolver a linguagem oral através de interações entre as crianças e entre elas e a professora.

In the case of Information Systems Engineering, students are asked to “Determine the working temperature of a computer”; for Electromechanical Engineering students the "Study of thermal energy losses in a steam line" and finally for Civil Engineering students "Thermal Insulation in a home" Once the proposal has been evaluated by teachers and students, it is concluded that this teaching strategy partially resolves the question because it promotes significant learning by preparing students to interpret and solve problematic situations inherent in the occupational field.

Para el caso de Ingeniería en Sistemas de Información se solicita a los alumnos la “Determinación de la temperatura de trabajo de una computadora”; para alumnos de Ingeniería Electromecánica el   “Estudio de las pérdidas de energía térmica en una línea de vapor” y finalmente  para alumnos de  Ingeniería Civil “El Aislamiento Térmico en una vivienda” Evaluada la propuesta por docentes y alumnos se concluye que esta estrategia de enseñanza  resuelve parcialmente el interrogante pues promueve aprendizajes significativos preparando a los estudiantes para interpretar y resolver situaciones problemáticas inherentes al campo ocupacional

Several approaches have been developed with the purpose of solving larger instances of this problem.

Várias abordagens têm sido desenvolvidas com o propósito de se resolver instâncias cada vez maiores desse problema.

However, in order for the industrialization process to take place, it would be necessary to solve, firstly, the problems of food supply and manpower.

No entanto, para que pudesse ocorrer o processo de industrialização seria necessário resolver. em primeiro lugar, os problemas da oferta de alimentos e da mão-de-obra.

Given the level of difficulty and the large number of applications of this problem in several areas, there is interest in creating new efficient procedures for solving this kind of problem.

Dado o nível de dificuldade e a grande quantidade de aplicações deste problemas em diversas áreas, existe muito interesse em criar novos procedimentos eficientes para resolver este tipo de problemas.

Although it is not be inserted in a large number of courses of Formation of Teachers who teach Mathematics in Brazil, the subject must be approached in a broad and efficient form, preparing the future citizens to decide financial challenges.

Apesar de não estar inserido em grande parte dos cursos de Formação de Professores que ensinam Matemática no Brasil, o tema deve ser abordado de forma motivadora e eficaz, preparando os futuros cidadãos a resolver desafios financeiros.

This stage has contributed to our academic formation, in a singular, unique way, because through this experience we have seen ourselves as teachers, perceiving our mistakes, our difficulties, learning to overcome conflicts, to solve the problems that arise to improvise when everything seems to be going wrong.

Este estágio contribuiu para a nossa formação acadêmica, de forma singular, única, pois por meio desta experiência nos vimos como professoras, percebendo os nossos erros, nossas dificuldades, aprendemos a superar os conflitos, a resolver os problemas que vão surgindo, a improvisar quando tudo parece está dando errado.

The Judiciary, called to resolve the conflict, issued a ruling declaring that there were no indigenous peoples in the area, but rather traditional riverside populations.

O Judiciário, chamado para resolver o conflito, prolatou uma sentença que declarou não haver povos indígenas na área, mas sim populações tradicionais ribeirinhas.

It is expected that, with the implementation of the proposal, at the end of high school students will be able to use mathematics to solve practical problems of their daily life, professional or not, as well as be able to model phenomena in other areas of knowledge.

Espera-se que, com a implementação da proposta, ao final do ensino médio o aluno seja capaz de usar a matemática para resolver problemas práticos do seu cotidiano, profissional ou não, bem como seja capaz de modelar fenômenos em outras áreas do conhecimento.

The present work is the excerpt of a master's research in progress, which was developed with a class of 1st year of a public elementary school, in Jataí-GO. The objective was to identify how children's literature and problem solving can contribute to the mathematical learning of 1st year students of elementary school, based on the following research problem: “What strategies do 1st year elementary school students develop / (re)create to solve problems stimulated by children's stories”?

O presente trabalho é o recorte de uma pesquisa de mestrado em andamento, a qual foi desenvolvida com uma turma de 1º ano de ensino fundamental de uma escola pública, em Jataí-GO. O objetivo foi identificar como a literatura infantil e a resolução de problemas podem contribuir com a aprendizagem matemática de alunos de 1º ano do ensino fundamental, a partir do seguinte problema de investigação: “que estratégias os alunos de 1º ano do ensino fundamental elaboram/(re)criam para resolver problemas estimulados por histórias infantis”?

The geologist’s daily routine involves working with a multidisciplinary team to solve short and long term issues in the urban and planning.

A rotina diária do geólogo envolve trabalhar com uma equipe multidisciplinar para resolver problemas de curto e longo prazo no planejamento urbano.

To try solving this issue, this study proposes the collaboration among the population, city and university, by the students, through the creation of universitary extension projects, and the proposals of public policies to help the communities.

Para tentar resolver este problema, o presente estudo propõe a colaboração entre a população, cidade e universidade, por parte dos alunos; através da criação de projetos de extensão universitários, e as propostas de políticas públicas para ajudar as comunidades.

Hybrid teaching can be defined basically as the combination of online and offline learning with digital technologies collaborating with the teaching and learning processes, but only the use of technology is not enough, because it is not enough to just put the students in front of computers in the school and leaving them without any guidance will resolve.

O ensino híbrido pode ser definido basicamente como a combinação do aprendizado online com o offline as tecnologias digitais colaboram com os processos de ensino e aprendizagem, porém apenas o uso da tecnologia não é suficiente, pois não basta apenas colocar os alunos na frente de computadores na escola e deixá-los sem qualquer orientação irá resolver.

In general, these multiplicative structures are part of important concepts of proportional reasoning about the comparison and ordering of rational numbers during the learning process, in which students should promote the ability to solve problems.

Em geral, essas estruturas multiplicativas fazem parte de conceitos importantes do raciocínio proporcional sobre a comparação e ordenação dos números racionais durante o processo de aprendizagem, nas quais devem promover nos alunos, a capacidade de resolver problemas. 

The current focus is the need for changes in education, introducing active teaching, learning and evaluation methodologies and instruments, enabling the student to learn how to seek solutions and solve professional problems.

O foco atual é a necessidade de mudanças na educação, introduzindo metodologias e instrumentos pedagógicos ativos de ensino, aprendizagem e avaliação, possibilitando que o estudante aprenda a buscar soluções e a resolver problemas profissionais.

The scenario learning to solve the Rubik's cube develops knowledge and experiences about manipulative playful resources and activities with the Rubik's cube (structured logical material: logical block).

O cenário aprender a resolver o cubo de Rubik desenvolve conhecimentos e experiências sobre recursos e atividades lúdicas manipulativas com o cubo de Rubik (material lógico estruturado: bloco lógico).

More specifically, we will use here the method of least squares (studied in Linear Algebra), the uncertainties and interval operations (studied in Interval Mathematics) and the Python language (studied in computing) to solve an interval system that provides the best function which adjusts a set of data from a physical experiment in which a car moves with zero acceleration under a horizontal air path.

Mais especificamente, serão utilizados aqui o método de Mínimos Quadrados (estudado na Álgebra Linear), as incertezas e operações intervalares (estudados na Matemática Intervalar) e a linguagem Python (estudada na computação) para resolver um sistema intervalar que fornece a melhor função aproximada que ajusta um conjunto de dados oriundos de um experimento físico, no qual um carro se deslocava com aceleração nula sob um trilho de ar horizontal.

In the literature on business networks dominates the view of governance as a collective construction to solve asymmetries, while the literature on policy networks dominates the view of the necessary controls to prevent opportunism.

Na literatura sobre a governança de redes de negócios predomina a visão da governança como construção coletiva para resolver as assimetrias, ao passo que na literatura sobre redes de políticas públicas domina a visão dos controles necessários, para evitar oportunismo.

Final considerations: We look to supply the scarcity presents on the literature related to the assistance of the elderly people and the evolution with new perspectives about the resolution of such violence.

Considerações finais: Busca-se resolver a escasses de estudos e dados na literatura referente à assistência da pessoa idosa e evoluir em perspectivas de resolução sobre tal violência.

Thus, an approach adopted to solve this problem is based on a framework called ArCARE (Conceptual Framework of Educational Resources Adaptation in VLEs), being a strategy that allows the development of systems that promote the adaptation of resources in VLEs from the profile of each student.

Assim, uma abordagem adotada para resolver este problema é baseada em um framework chamado ArCARE (Arcabouço Conceitual para Adaptação de Recursos Educacionais em AVAs), sendo uma estratégia que permite o desenvolvimento de sistemas que promovam a adaptação de recursos em AVAs a partir do perfil de cada aluno.

In this way, it is concluded that technologies are a resource that contributes to the teaching and learning of the Logic of Programming, because it is a playful resource that awakens affective aspects such as student interest in the process that implies teaching and learning, mainly because the process student becomes active while he is interested in resolving a proposed situation.

Desta forma, conclui-se que as tecnologias são um recurso que contribui com o ensino e aprendizagem da Lógica de Programação, por ser um recurso lúdico que desperta aspectos afetivos como o interesse do aluno no processo que implica ensinar e aprender, principalmente porque o processo criativo do aluno colocase em atividade enquanto ele se interessa em resolver uma situação proposta.

We hope to answer our research question: “What are the knowledge and concepts mobilized by high school students in creating and solving Probability problems in a project development context”

Esperamos responder à nossa questão de pesquisa: “Quais são os conhecimentos e as concepções mobilizadas por estudantes do segundo ano do Ensino Médio ao criar e resolver problemas sobre Probabilidade em um contexto de trabalho por projetos”?

The mini-course had a goal of facilitating students’ learning and showing them a bit of programming logic and the need to solve everyday problems.

O minicurso teve um objetivo de facilitar a aprendizagem dos alunos e os mostrar um pouco de lógica de programação e a necessidade para resolver problemas do cotidiano.

In this way, learn about the great difficulty students face in learning chemistry as a consequence of the traditional way of teaching, how to memorize formulas, solve mathematical problems and exhaustive theory classes, the aim of this study is to use the experimental chemistry methodology to verify the students’ performance on the solutions content.

Desse modo, sabendo da grande dificuldade  enfrentada pelos alunos em aprender química, em consequência do modo tradicional do ensino, como decorar fórmulas, resolver problemas matemáticos e aulas exaustivas de teoria, o objetivo desse estudo é utilizar a metodologia experimental da química para verificar o desempenho dos alunos sobre o conteúdo de Soluções.

In order to solve this problem, in Brazil the National Solid Waste Policy (PNRS) was established and approved by Law 12,305 / 10, which establishes how to manage solid wastes.

Com o objetivo de resolver esse problema, no Brasil foi instituída a Política Nacional de Resíduos Sólidos (PNRS), aprovada pela Lei 12,305/10 que estabelece como deve ser feita a gestão dos resíduos sólidos.

According to the data obtained, the SES is a means to solve the difficulties of these students that, in most cases, the teachers of regular education do not know how to solve.

De acordo com os dados obtidos, o AEE constitui-se como um meio para dirimir as dificuldades desses alunos que, na maioria das vezes, os professores do ensino regular não sabem como resolver.

This study aims to present another way to solve determinants.

Este estudo objetiva apresentar uma outra forma para resolver determinantes.

As for the school, it is asked if its task is to teach how to solve everyday situations, life, including conflict resolution, or if it is limited to teaching topics of theory related to subjects, such as portuguese and mathematics.

Quanto à escola, pergunta-se se sua tarefa consiste em ensinar a resolver situações do cotidiano, da vida, inclusive a resolução de conflitos, ou se está limitada a ensinar tópicos de teoria relacionados às matérias, como, por exemplo: português e matemática.

However, several studies show that other technologies can and should be inserted in the educational environment, as they can motivate students, besides enabling better preparation and training to solve problems in clinical practice.

Entretanto, vários estudos mostram que outras tecnologias podem e devem ser inseridas no ambiente educacional, pois podem motivar os estudantes, além de possibilitar melhor preparação e capacitação para resolver problemas na prática clínica.

Thus, it is suggested that measures are needed to implement training on biosafety issues, surveillance of accidents at work, informative lectures on reports of accidents at work and hosts to resolve these impasses, promoting health and safety at work.

Com isso, sugere-se que sejam necessárias medidas para implementar o treinamento em questões de biossegurança, vigilância de acidentes de trabalho, palestras informativas sobre relatórios de acidentes de trabalho para resolver esses impasses, promovendo a saúde e segurança no trabalho.

Mathematical modeling was used as a strategy to plan and solve evaluations in higher education, with open questions about elementary functions.

A modelagem matemática foi utilizada como uma estratégia para planejar e resolver avaliações no ensino superior, com questões abertas sobre funções elementares.

The following findings stand out: a perception about the premature decision to breach by the Cuban government; the lack of knowledge about the Program purpose; the existence of a peculiar passivity before the problems and challenges derived and which are to come in view of the partnership end with Cuba; and, the importance of the Program tutors in solving local conflicts.

Destacam-se as seguintes observações: uma percepção de prematuridade da decisão de rompimento pelo governo cubano; o desconhecimento da finalidade do Programa; a existência de uma peculiar passividade, frente aos problemas e desafios advindos e que virão por conta do fim da parceria com Cuba; e a importância de tutores do Programa para resolver conflitos locais.

This paper presents the development of a model of mixed integer second-order cone programming to solve the problem of reconfiguration systems power distribution radial.

Este trabalho apresenta o desenvolvimento de um modelo de programação cônica de segunda ordem inteira mista para resolver o problema de reconfiguração de sistemas de distribuição de energia elétrica radiais.

This article proposed describes the importance of pharmaceutical interventions in clinical practice, in view of the duty to ensure the rational use of medications as well as to prevent and solve problems that may interfere with pharmacotherapy.

O artigo aqui proposto descreve sobre a importância das intervenções farmacêuticas na prática clínica, frente ao dever de garantir o uso racional de medicamentos bem como prevenir e ainda resolver problemas que venham interferir na farmacoterapia.

When they completed the tasks, in addition to knowing the Geoplane and the Geospace, it was explored the mathematical communication that this material “expressed” to the students, they indicated the mathematical contents communicated, what enabled them to formulate and solve mathematical problems.

Quando concluíram as tarefas, além de conhecer o Geoplano e o Geoespaço foi explorada a comunicação matemática que este material “falava” para os alunos, indicaram os conteúdos matemáticos comunicados, o que lhes propiciou formular e resolver problemas matemáticos.

Health education should promote actions to solve and modify disease-causing problem situations.

A educação em saúde deve promover ações para resolver e modificar situações-problema que causam doenças.

Identify possible ways to solve environmental problems without compromising the technological future, is the main goal of the coming years.

Identificar possíveis maneiras de se resolver problemas ambientais sem comprometer o futuro tecnológico, é a principal meta dos próximos anos.

Thus, the analysis was performed for drilling new wells, feasibility of supplying water demands by the concessionaire, verifying the hiring of water trucks to solve emergency supply problems, connecting the old refrigeration reservoir with the sanitary facilities and the study to implementation of rainwater harvesting.

Assim, foi realizada a análise para perfuração de novo poço, viabilidade do suprimento das demandas hídricas pela concessionária, a verificação da contratação de caminhões-pipas para resolver problemas emergenciais de abastecimento, ligação do antigo reservatório de refrigeração com as instalações hidrosanitárias e o estudo para implantação de sistema de captação de água pluvial.

It was developed to solve basic sanitation problems in regions where there is no such service.

Foi desenvolvido para resolver problemas de saneamento básico nas regiões onde não há este serviço.

For the development of such an equation, the Laplace transform method was used to solve the differential equation that describes the delay in the probe's response signal, which is characterized by a delay constant kd.

Para o desenvolvimento de tal equação, utilizou-se o método da transformada de Laplace para resolver a equação diferencial que descreve o atraso no sinal de resposta da sonda, o qual é caracterizado por uma constante de delay kd.

On the other hand, technologies must be understood as tools created by human knowledge to solve problems and to develop products; therefore, its potentialities and limitations are defined according to such needs.

Por outro, as tecnologias devem ser compreendidas como ferramentas criadas pelo conhecimento humano para resolver problemas e desenvolver produtos; portanto, suas potencialidades e limitações são definidas de acordo com tais necessidades.

The Heráclito environment assists students in solving various types of Logic exercises, beginning with exercises to calculate the logical value of a formula, going through truth-tablebuilding exercises, and even elaborating proofof-arguments exercises through the rules of Natural Deduction.

O ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural.


Termos relacionados contendo "resolver"
 
CLIQUE AQUI