Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:17:27Z (GMT). No. of bitstreams: 1 ErtolaBiraben_RodolfoCristian_D.pdf: 6541731 bytes, checksum: 679633ee0bf6443f0e2e45097736869c (MD5) Previous issue date: 2001 / Resumo: Nesta Tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as análises destacamos um estudo de uma objeção às definições habituais desse conceito, quanto ao caráter construtivo do mesmo. Desenvolvemos uma teoria de computabilidade onde são distinguidas as noções de auto-referência e automodificação. Além disso, estudamos uma reformulação da Tese de Turing-Church, devida a Yiannis Moschovakis / Abstract: 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 by Yiannis Moschovakis / Doutorado / Doutor em Filosofia

Orientador: Walter A. Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-21T14:44:37Z (GMT). No. of bitstreams: 1 Pela_RubenAlekxander_M.pdf: 2604511 bytes, checksum: 865f3288939547006b92be6353ab4141 (MD5) Previous issue date: 1996 / Resumo: O propósito deste trabalho é mostrar que o conceito de computabilidade sobre estruturas abstratas - apesar de não acrescentar nada genuinamente novo ao conceito clássico de computação, formalizado pela teoria da recursão, pode ser útil do ponto de vista matemático se visto como um conceito genuíno de computação. Tomamos como motivação, de um lado, o problema proposto por Arnold de decidir algoritmicamente se um ponto fixo de uma equação diferencial é ou não estável, e de outro, uma solução negativa deste problema que utiliza o conceito clássico de função computável. A partir da discussão gerada em torno desta solução, tentamos mostrar que o conceito de Turing-computabilidade é inadequado, sob um certo ponto de vista, para tratar problemas deste tipo. Tentamos mostrar que os modelos de computabilidade sobre estruturas abstratas propostos por Moschovakis, Friedman e Blum et al. podem ser usados para tratar o problema de uma forma mais 'realista'. Também discutimos alguns aspectos da teoria de computabilidade sobre os reais e sua relação com sistemas dinâmicos com o objetivo de enfatizar nosso ponto de vista. Além disso, discutimos brevemente algumas implicações desta análise para a Tese de Church-Turing. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Made available in DSpace on 2015-09-17T15:24:43Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-12-08. Added 1 bitstream(s) on 2015-09-17T15:47:24Z : No. of bitstreams: 1 000846699.pdf: 1020326 bytes, checksum: c7a5e9a1d059b52a24e7bc08ab96ce1b (MD5) / Esse trabalho apresenta uma proposta relacionada ao ensino de alguns conceitos de equações recorrentes com um olhar voltado para a cobweb. Sua construção ajuda o aluno a pensar recursivamente, apoiado em um ponto de vista geométrico, num ambiente predominantemente algébrico. Serão apresentadas estratégias para a resolução de recorrências lineares de primeira e segunda ordem, buscando deixar para o professor do ensino médioa compreensão dos conceitos, para que ele possa aplicar em suas aulas. Ademais, o trabalho trata de pontos singulares e estabilidade, no caso não linear. No final, são dadas ideias para o tirocínio dos alunos em classe. / This work deals with the teaching of some concepts on recurrent equations taking in account the cobweb.The method used to construct the cobweb is easily assimilated, and has connection with topics of high school and helps students to think recursively with the support of a geometric point of view, in a predominantly algebraic environment .It will be presented strategies for solving linear recurrences of the first and second order, seeking to leave high school teachers to be understanding the concepts, allowing in this way applications in their classes. Furthermore, the work deals with singular points and stability in the non-linear case. Finally ideas are given for practical training of students in class.

Orientador: Luciano Barbanti / Banca: Edison Righeto / Banca: Jaqueline Godoy Mesquita / Resumo: Esse trabalho apresenta uma proposta relacionada ao ensino de alguns conceitos de equações recorrentes com um olhar voltado para a cobweb. Sua construção ajuda o aluno a pensar recursivamente, apoiado em um ponto de vista geométrico, num ambiente predominantemente "algébrico". Serão apresentadas estratégias para a resolução de recorrências lineares de primeira e segunda ordem, buscando deixar para o professor do ensino médioa compreensão dos conceitos, para que ele possa aplicar em suas aulas. Ademais, o trabalho trata de pontos singulares e estabilidade, no caso não linear. No final, são dadas ideias para o tirocínio dos alunos em classe / Abstract: This work deals with the teaching of some concepts on recurrent equations taking in account the cobweb.The method used to construct the cobweb is easily assimilated, and has connection with topics of high school and helps students to think recursively with the support of a geometric point of view, in a predominantly "algebraic" environment .It will be presented strategies for solving linear recurrences of the first and second order, seeking to leave high school teachers to be understanding the concepts, allowing in this way applications in their classes. Furthermore, the work deals with singular points and stability in the non-linear case. Finally ideas are given for practical training of students in class / Mestre