Results 31 to 40 of about 52,408 (111)

Sobre disjunções, confluências e o centro de gravidade da lógica filosófica [PDF]

, 2014
No dizer de Burgess [B2009], o centro de gravidade da Lógica Filosófica é, hoje em dia, a área científica que, em Inglês, se designa por Theoretical Computer Science.
Espírito Santo, José
core  

Deduzindo a fórmula para cálculo de diagonais de um polígono: uma experiência no Ensino Fundamental

Revista de Ciência e Inovação do IF Farroupilha, 2019
Este artigo apresenta uma investigação resultante de ações do Grupo de Estudos e Pesquisas em Geometria do Programa de Pós-Graduação em Ensino de Ciência e Matemática da Universidade Franciscana, a qual teve por objetivo verificar se a utilização de ...
Mauricio Ramos Lutz, Camila Dorneles da Rosa, José Carlos Pinto Leivas, Jussara Aparecida da Fonseca   +3 more
doaj   +1 more source

O Balanced Scorecard e a sua aplicação às Forças Armadas Portuguesas [PDF]

, 2009
O presente Trabalho de Investigação Individual pretende desenvolver um modelo de Balanced Scorecard que possa ser aplicado às Forças Armadas Portuguesas. O Balanced Scorecard é uma ferramenta que quando integrada no ciclo de gestão estratégico, permite
Casimiro, Rui
core  

Lei de Snell generalizada

Revista Brasileira de Ensino de Física
Neste artigo deduzimos a equação característica da trajetória seguida por um raio de luz monocromático que se propaga num meio com índice de refração variável.
Lúcio Fassarella
doaj   +1 more source

PICOT-clinic, acrónimo para a inferência do raciocínio clínico em enfermagem

Cultura de los Cuidados, 2020
Objetivo. Apresentar a codificação do acrónimo PICOT-clinic, como abordagem de melhoria dos processos de inferência, dedução, indução do raciocínio clínico em Enfermagem: Método. Codificação das etapas do PICOT-clinic, integradas em transição consecutiva
Melo-Dias, Carlos
doaj   +1 more source

As infâncias na história social e da educação [PDF]

, 2018
O primado do pensamento do autor é de que as diferentes infâncias se obtém por dedução do nuclear socio-histórico: infância. Não cabe aqui dialogar com o autor sobre a justeza deste primado, mas anotar quanto há de esforço no texto do autor para ...
Martins, Ernesto Candeias
core  

Idealismo e refutação do idealismo na filosofia crítica de Kant

Kriterion, 2013
O presente trabalho versa sobre o tema, central no projeto filosófico de Kant, da refutação do idealismo, concentrando-se em dois momentos da Crítica da Razão Pura (CRP): a Dedução Transcendental e a Refutação do Idealismo.
Pedro Costa Rego
doaj  

Os métodos de prova nos Primeiros Analíticos de Aristóteles e sua natureza normativa = The proof methods in Aristotle’s Prior Analytics and its normative nature = Los métodos de prueba en las Primeras Analíticas de Aristóteles y su naturaleza normativa

Veritas, 2020
Este artigo se divide em dois passos. O primeiro passo tem dois objetivos. O primeiro objetivo é apresentar três métodos de prova presentes nos Primeiros Analíticos de Aristóteles: o direto, reductio ad impossibile e ekthesis, além disso, um método de ...
Heck, Ralph Leal
doaj  

A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX

Kínesis, 2010
(Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a Lógica TK, que foi apresentada inicialmente no estilo hilbertiano. O objetivo deste trabalho é apresentar a Lógica TK em sistemas de dedução natural, cálculo de sequentes e tableaux ...
Ana Claudia de Jesus Golzio, Angela Pereira Rodrigues   +1 more
doaj   +1 more source

Pedido de declaração de insolvência por outro legitimado : exercício do direito de ação ou abuso de direito de ação? [PDF]

, 2015
Sumário: 1. Introdução: 1.1. Situação de insolvência; 1.2. Critérios de definição da situação de insolvência; 2. O pedido de declaração de insolvência por outro legitimado. 3. O direito de ação e os seus limites; 4. A litigância de má-fé; 5. O abuso de
Alves, Lurdes Dias
core