Buscar
Mostrando ítems 1-10 de 204
Indução finita, deduções e máquina de Turing
(Universidade Estadual Paulista (Unesp), 2017-06-29)
Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ...
O MDL florestal no Brasil : fundamentos, legado e elementos para o futuro
(Instituto de Pesquisa Econômica Aplicada (Ipea), 2019)
Forest CDM in Brazil : fundamentals, legacy and elements for the futureO MDL florestal no Brasil : fundamentos, legado e elementos para o futuro
(Instituto de Pesquisa Econômica Aplicada (Ipea), 2020)
Determinação das frequências naturais de passarela de concreto: análise modal operacional e método dos elementos finitos
(Florianópolis, SC, 2018-11-19)
O presente trabalho pretende realizar uma análise dinâmica em uma estrutura real e funcional existente na Universidade Federal de Santa Catarina (UFSC). A análise será feita experimentalmente e seu resultado comparado com ...
Erradicando a pobreza e promovendo a prosperidade em um mundo em mudança: subsídios ao acompanhamento dos Objetivos de Desenvolvimento Sustentável
(Instituto de Pesquisa Econômica Aplicada (Ipea), 2019)
Sobre semigrupos numericosAbout numerical semigroups
([s.n.], 2006)
Novas energias renováveis no Brasil : desafios e oportunidades
(Instituto de Pesquisa Econômica Aplicada (Ipea), 2018)
O papel das escolas agrícolas na introdução da racionalidade científica no Pará (1860-1912).
(Universidade Federal do ParáBrasilInstituto de Educação Matemática e CientíficaUFPAPrograma de Pós-Graduação em Educação em Ciências e Matemáticas, 2017)