Recursao
Mostrando 1-12 de 27 artigos, teses e dissertações.
-
1. A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas
Resumo No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboço de uma ideografia a qual ele pretende perspícua às condições essenciais de uma representação linguística. Seu estilo lacônico e sua notação elíptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatória com
Manuscrito. Publicado em: 29/09/2016
-
2. Organização curricular da matemática no Ensino Médio: a recursão como critério
Este ensaio teórico tem como objetivo fomentar discussões sobre a organização curricular da Matemática no Ensino Médio brasileiro, por intermédio da apresentação de resultados de pesquisas que convergem para a necessidade da quebra do paradigma organizacional linear, ilustrado por metáforas como: do balde, do edifício e da cadeia de elos. Para sup
Ciênc. educ. (Bauru). Publicado em: 2013
-
3. Alunos e professores no centro de Porto Alegre : o movimento de apropriação da cidade e de lugarização intermediados pela escola
Este estudo apresenta reflexões a respeito da relação entre a Escola e o Centro da cidade de Porto Alegre. Analisei a relação de alunos, que estudaram no Centro da Cidade, com o patrimônio histórico e geográfico da capital do Rio Grande do Sul. Movimentei-me pelo método da complexidade, tendo como dimensão focal a dialógica, a auto-ecoorganizaçã
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
4. O Ensino de geografia e as representações sociais do continente africano para sujeitos alunos
No seguinte trabalho buscamos identificar as representações sociais do continente Africano presentes para os sujeitos alunos. Em dois momentos: antes de depois de trabalharem esse continente nas aulas de Geografia. Ao longo da pesquisa foram pensados trajetos metodológicos que consideramos adequados para nos ajudar a responder, ainda que provisoriamente,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
5. Implementação sistemática da regularização implícita para diagramas de Feynman a muitos laços
A Regularização Implícita (RI) é uma candidata a um esquema de regularização invariante no espaço dos momentos no qual podemos calcular diagramas de Feynman de ordens arbitrárias. Nesse trabalho apresentaremos uma implementação sistemática do método que exibe automaticamente os termos a serem subtraídos pela fórmula de recursão de Bogoliubov.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2011
-
6. Implementação sistemática da regularização implícita para diagramas de Feynman a muitos laços
A Regularização Implícita (RI) é um esquema de regularização consistente no espaço dos momentos no qual podemos calcular diagramas de Feynman de ordens arbitrarias. Nesse trabalho apresentaremos uma implementação sistemática do método que exibe automaticamente os termos a serem subtraídos pela formula de recursão de Bogoliubov. Assim, atingimos
Publicado em: 2011
-
7. Números naturais parciais / Partial natural numbers
Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipa
Publicado em: 2010
-
8. Buscando explicitar os processos cognitivos em construções rescursivas no ambiente Logo, na elaboração de um projeto de pesquisa a partir da revisão da experiência
Publicado em: 2010
-
9. Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Apresenta-se uma formalização das propriedades de composicionalidade do Cálculo lambda-ex em Coq. A abordagem utilizada baseia-se na lógica nominal de acordo com o trabalho desenvolvido por [3]. Mais especificamente estendemos a formalização do lambda-cálculo contida neste trabalho de forma a incluir a operação de substituição explícita do cálcu
Publicado em: 2010
-
10. Verificação de propriedades do cálculo גex em Coq
O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com nomes, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a P
Publicado em: 2010
-
11. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
12. Redes em (co)operação e sustentabilidade : estratégias e desafios na produção da vida na cidade
Esta dissertação é fruto de um estudo-intervenção em um movimento urbano na cidade de Porto Alegre. É constituída por três sessões, que propõem reflexões acerca dos processos de pesquisa e das experiências cotidianas. Esta pesquisa tem como cenário um movimento urbano o "Porto Alegre Vive", que consideramos de extrema importância em sua potênc
Publicado em: 2010