Pesquisa
ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF
A Teoria de Tipos de Per Martin Löf é um sistema formal que combina lógica intuicionista e teoria dos tipos, com aplicações na formalização de provas matemáticas e na computação. No entanto, apesar de sua estrutura rigorosa, a teoria apresenta desaf…
O ensino de filosofia para/com crianças: uma revisão sistemática da literatura
Resumo: O presente estudo tem como objetivo identificar, na literatura existente, quais os estudos sobre filosofia para/com crianças que investigam sobre as experiências das crianças nessa prática. Por meio de uma Revisão Sistemática da Literatura (…
A ecologia evolutiva da plasticidade fenotípica em táxons de organismos: uma breve revisão
Resumo Atualmente, a plasticidade fenotípica é bem conhecida em táxons de organismos unicelulares e pluricelulares em todo o mundo. Ela resulta da evolução de características dos organismos devido às suas interações com fatores ambientais. A plastic…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.