Funcoes Recursivas
Mostrando 1-12 de 13 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. Introdução pedagógica às funções de Green de equilíbrio: exemplos em matéria condensada com implementações numéricas
O método das funções de Green possui aplicações em diversos campos da Física, desde equações diferenciais clássicas a problemas quânticos de muitos corpos. No contexto quântico, as funções de Green são funções de correlação, das quais é possível extrair informação sobre o sistema em estudo, tais como densidade de estados, tempos de rela
Rev. Bras. Ensino Fís.. Publicado em: 22/09/2016
-
3. Clássicos versus Keynes: a abordagem formal de David Champernowne
Este texto tem por objetivo ressaltar um aspecto que não tem sido tratado com a devida profundidade na literatura que estuda a formalização da Teoria Geral do Emprego, dos Juros e da Moeda de John Maynard Keynes (1936). Mais precisamente, o texto destaca a estratégia de formalização adotada por David G. Champernowne em seu artigo intitulado "Unemployme
Estudos Econômicos (São Paulo). Publicado em: 2012-03
-
4. Computabilidade e limites da matemática das teorias físicas: aplicações em sistemas elétricos de potência. / Computability and limits of physical theories mathematics: applications in electric power systems.
Apesar dos modelos usados em engenharia serem, em sua maioria, reconhecidamente aproximados, acredita-se que a matemática usada na física e nos próprios modelos é infinitamente precisa e que tais teorias físicas poderiam prever completamente qualquer evento relacionado às variáveis equacionadas. No limite, seria possível prever o estado do universo e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/09/2011
-
5. O Décimo problema de Hilbert
Neste trabalho apresentamos uma demonstração da insolubilidade do Décimo Problema de Hilbert, que investiga a existência de um método para determinar se dada uma equação Diofantina qualquer podemos determinar se esta tem ou não uma solução. Começamos desenvolvendo alguns tópicos de teoria de números, que serão úteis em vários momentos, nesta
Publicado em: 2010
-
6. SiR: um simulador da execução de funções recursivas utilizando o conceito de grafo de dependências. / Sir : a simulater of the execution of recursive functions using the concept of the dependence graph.
A proposta aqui apresentada visa prover uma ferramenta gráca que auxilie no ensino de Computabilidade em cursos de Ciência da Computação e ans. A motivação para o desenvolvimento desta ferramenta está baseada na diculdade de aprendizagem e interesse dos alunos nas disciplinas de computação que abordam temas teóricos. Entre estes temas, destaca-se o
Publicado em: 2008
-
7. Uma proposta para a predição computacional da estrutura terciária de polipeptídeos
Nos últimos anos, um dos grandes desafios da Ciência da Computação perante a Bioinformática é o desenvolvimento de algoritmos, os quais, em um tempo hábil, consigam gerar as estruturas terciárias de proteínas a partir da seqüência linear de seus aminoácidos. Embora existam alguns métodos que consigam gerar estruturas quando se possui outra prote
Publicado em: 2007
-
8. Categoria de grafos parciais com homomorfismos totais teoria e aplicações
O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a téc
Publicado em: 2007
-
9. A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes / The geometric machine : a model for concurrence and non-determinism based on coherence spaces
O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicad
Publicado em: 2007
-
10. Conversão DSB/SSB a capacitores chaveados usando transformadores de Hilbert recursivos
Neste trabalho é apresentada a implementação completa de um conversor de modulação DSB (double-sideband) para SSB (single-sideband) a capacitores chaveados, usando componentes discretos. Para se conseguir uma modulação SSB eficiente, um Transformador de Hilbert é utilizado. Uma boa faixa dinâmica e sensibilidade baixa ao erros nas razões de capacit
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2003-06
-
11. Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar
A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números natur
Publicado em: 1999
-
12. Tese de Church : algumas questões historico-conceituais
Not informed
Publicado em: 1994