Results 51 to 60 of about 53,090 (153)

Dedução da Matriz do Hamiltoniano Tight Binding usando a discretização da Equação de Schrödinger

, 2020
Resumo Neste trabalho realizamos a montagem de uma matriz hamiltoniana para um gás de elétrons bidimensional não interagente. Estes sistemas podem ser formados na interface de heteroestruturas do GaAs-AlGaAs e, na presença de potenciais de confinamento ...
R. M. Costa, M. Mendoza
semanticscholar   +1 more source

Goodman e o equilíbrio reflexivo [PDF]

, 2013
Goodman sustentou que o ajuste mútuo entre inferências indutivas particulares e princípios indutivos constitui a única justificação necessária para ambos.
Carvalho, Eros Moreira
core  

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  

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

Algumas considerações em torno das pretensões da razão prática em Kant: a espontaneidade como chave para a "dedução" do princípio supremo da moralidade

Studia Kantiana, 2020
Neste trabalho, proponho uma interpretação para a polêmica terceira seção da Fundamentação à metafísica dos costumes de Kant, defendendo que a espontaneidade da razão cumpre um papel central para a prova da liberdade como fundamento da lei moral.
João Geraldo Martins da Cunha
semanticscholar   +1 more source

Turing e a normalização [PDF]

, 2012
Em publicaçãoAlgumas contribuições de Turing em Lógica dizem respeito à Teoria de Tipos e foram desenvolvidas durante a Segunda Guerra Mundial. Um dos resultados desse trabalho é uma demonstração do teorema da normalização para tipos simples, que ...
Espírito Santo, José
core   +1 more source

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

Teoria da definição e princípio de causalidade na dedução do conatus

, 2020
Ao realizar a deducao do conatus na Parte III da Etica , Espinosa apresenta na esfera dos modos finitos a mesma conclusao depreendida na Parte I com a deducao da potencia de Deus: essencia e existencia nao se desvinculam e, em ultima instância se ...
P. Jesus
semanticscholar   +1 more source

Incentivos fiscais: como a dedução de tributos em projetos socioambientais pode beneficiar empresas concessionárias de distribuição de energia elétrica

Revista da Faculdade de Administração e Economia, 2020
Este artigo tem por finalidade analisar se os projetos socioambientais trazem benefícios financeiros ou não nos resultados das empresas distribuidoras de energia elétrica.
Lorrayne Emerik Souza, M. H. Pereira, A. A. B. Guimarães   +2 more
semanticscholar   +1 more source

Presentation and representation of biological phenomena from a vegetable garden [PDF]

, 2007
This paper proposes a methodology for science education based on the triad perceive/associate/experience. The analysis performed relied upon Charles Sanders Peirce’s semiotics framework.
Ana Maria de Andrade Caldeira, Selma Rosana Santiago Manechine   +1 more
core