Teoria Recursao
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. 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
-
4. 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
-
5. Hipertexto e complexidade
O texto propõe que o hipertexto deve ser visto conceitualmente como um mecanismo cognitivo e também enunciativo. Ted Nelson desenvolveu o mecanismo digital, inspirado em sua própria experiência de escritor, possibilitando que os escritores nesse meio se livrassem da linearidade imposta pela tecnologia do papel. O hipertexto, neste artigo, é discutido à
Linguagem em (Dis)curso. Publicado em: 2009-12
-
6. Sistemas concentrados e distribuídos através da análise modal adjunta
Este estudo visou a utilização direta da análise modal adjunta em sistemas não-clásicos de natureza concentrada e distribuída, explorando o conceitos de biortogonalidade modal e da resposta impulso evolutiva e estacionária. Discutiu-se a natureza do espectro para diversas classes de sistemas, em particular para sistemas com efeitos giroscópicos e com
Publicado em: 2007
-
7. An algebraic approach to the design of compilers for object-oriented languages
Neste trabalho discutimos o projeto de compiladores corretos por construÃÃo para linguagens orientadas a objeto. Um compilador correto à aquele que garante que a semÃntica à preservada quando o programa fonte à traduzido para a linguagem destino. O projeto de compiladores corretos para linguagens imperativas se encontra bem fundamentado; atualmente, o
Publicado em: 2005
-
8. Questões conceituais de computabilidade
In this Thesis we examine some problems related to the concept of computable function. In particular, we present an analysis of an objection to the usual definition as regards its constructive contentoWe also develop computability theory distinguishing selfreference and self-modification and we make an evaluation of a reformulation of Turing- Church Thesis b
Publicado em: 2001
-
9. Algoritmos abstratos e seu significado para a matematica
Not informed
Publicado em: 1996