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.

Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-29T13:55:12Z No. of bitstreams: 1 Leonardo Moura de Amorim.pdf: 828204 bytes, checksum: 55c23efb1aea53b7c05d633603ce2194 (MD5) / Made available in DSpace on 2017-03-29T13:55:12Z (GMT). No. of bitstreams: 1 Leonardo Moura de Amorim.pdf: 828204 bytes, checksum: 55c23efb1aea53b7c05d633603ce2194 (MD5) Previous issue date: 2014-05-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The purpose of this present paper is to discuss about recurrences, with focus, mainly in the recurrences of rst and second orders, because they're quite frequent, especially in high school, to face some Math problems that involve sequences whose elements are de ned recursively, in other words, its elements are determined from the moment in which they know their predecessors. Via recursion it's possible to solve a great variety of interesting problems and that would be almost hard salving without the knowledge of how to work with these recurrences, these are problems that involve, among others, subjects like count, Financial Mathematics, probability etc and which are relatively common in entrance examinations and in the Olympics of math. / A finalidade do presente trabalho e versar sobre Recorrências, com ênfase, principalmente, nas recorrências de 1ª e 2ª ordens, pois é frequente, em especial no Ensino Médio, nos depararmos com problemas matemáticos que envolvem sequências cujos elementos são definidos de forma recursiva, ou seja, os seus elementos são determinados a partir do momento em que se conhece(m) o(s) seu(s) antecessor(es). Através da recursão é possível resolver uma grande variedade de problemas interessantes e que seriam quase insolúveis sem o conhecimento devido de como trabalhar com essas recorrências. São problemas que envolvem, entre outros, assuntos como contagem, Matemática Financeira, probabilidade etc. e que são relativamente comuns em exames vestibulares e em Olimpíadas de Matemática.

Orientadores: Jônatas Manzolli, Fernando Augusto de Almeida Hashimoto / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-21T15:36:18Z (GMT). No. of bitstreams: 1 Campos_CleberdaSilveira_D.pdf: 5383709 bytes, checksum: 9fbbd1f6fb089fb64097a7c772db5d62 (MD5) Previous issue date: 2012 / Resumo: Dentro da linha de pesquisa de processos criativos voltados à composição e à improvisação por meios acústicos e tecnológicos, a Tese apresenta um estudo focado na aplicação de processos graduais e recursivos para gerar estruturas musicais no contexto da percussão mediada por suporte tecnológico. Do repertório para percussão vinculada à noção de Processo Gradual, conceito criado por Reich (1968), extraíram-se Modelos para Processos Criativos em Percussão (MPCP). O estudo pormenorizado desses modelos permitiu a articulação de nuances, detalhes e diferenças existentes nos processos graduais aplicados à percussão, aqui representada pelo instrumento africano Djembê. O processamento computacional permitiu identificar, organizar, controlar e expandir as diferenças presentes nas estruturas sonoras através da criação de uma Taxonomia de Gestos Musicais Interpretativos (TGMI). Analisou-se o espectrograma para medir as frequências características e as durações das ressonâncias do Djembê. Tais medições, relacionadas às características físicas e geométricas do instrumento e com a parametrização da TGMI, nortearam o desenvolvimento de processos de interação musical. Adotaram-se, ainda, outros dois componentes na metodologia de pesquisa: 1) Modelagem sonora pré-composicional em que amostras sonoras do Djembê foram gravadas, analisadas e relacionadas às possibilidades de controle por computador - procedimento realizado em tempo diferido. O processo de análise foi conduzido à aplicação sistemática dos MPCP em Estudos Recursivos para Improvisação em Tempo Real; 2) Oficinas de criação em que foram relacionados ciclos musicais aplicados ao Djembê e manipulados pela improvisação via programação em Pure Data (PD), em tempo real. Ao final, concluiu-se que o conceito de Processo Gradual de Reich, relacionado aos instrumentos de percussão, foi ampliado com a TGMI desenvolvida durante a pesquisa. O processamento computacional vinculado a recursividade permitiram a manipulação de nuances sonoras encontradas nas oficinas, que produziram novos modelos timbrístico texturais no contexto da performance musical mediada por processos tecnológicos / Abstract: This Thesis presents a research on creative processes focusing composition and improvisation with percussion instruments and technology. It is a study on an application of Music Gradual Processes and recursive structures to musical improvisation. More specifically, it studies works composed for percussion based on the notion of Gradual Process, a concept created by Reich (1968), and extract from them Models for Creative Processes in Percussion (MPCP). The detailed study of these models brought up the possibility of articulating the nuances, details, variations on gradual processes applied to percussion. Further, we apply these models in compositional studies for the African percussion instrument - Djembe. The recursive models enabled to organize, control and expand the variation sound structures through the development of a methodology for a Taxonomy of Interpretive Musical Gestures (TGMI) of the Djembe. We analyzed the spectrogram to measure characteristic frequencies and durations of resonances produced by the Djembe. Such quantitative measures, which are related to the physical and geometrical characteristics of this instrument, enabled musical interaction in real time. In addition to this quantitative analysis, research methodology was based on two other components: 1) Workshops where the Djembe sound samples were recorded, analyzed and related to control via digital technology - procedure performed off-line; 2) Workshops in which they were created music cycles applied to African percussion instruments and manipulated through improvisation, used to generate melodic textural profiles programmatically in Pure Data (PD), a procedure performed in real time. Then the analysis was conducted to a systematic development of recursive MPCP Studies for Improvisation in real time. The Thesis conclusion point out to: Reich's Gradual Process concept, related exclusively with percussion instruments, has been expanded with the TGMI and computer processing enabled creation of new models for timbre and textural improvisation and for studying musical performance mediated by digital technology / Doutorado / Processos Criativos / Doutor em Música

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