Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores (Área de especificação de Sistemas de Energia), apresentada na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Professores Doutores Fernando pires Maciel Barbosa e José Américo Dias Pinto

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-16Bitstream added on 2014-06-13T20:08:10Z : No. of bitstreams: 1 000734174.pdf: 1301603 bytes, checksum: c022c2b4e049a701b1abb5a9e04fe8e9 (MD5) / Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas com o objetivo de tratarmos de sistemas baseados em regras fuzzy e algumas aplicações / In this paper are presented some basic concepts of Fuzzy Sets Theory: operation with fuzzy sets, Zadeh extension principle, fuzzy numbers and fuzzy logic. The fuzzy relations are presented for the purpose of treating systems based on fuzzy rules and some application

Orientador: Luciano Barbanti / Banca: Ernandes Rocha de Oliveira / Banca: antonio Carlos Tamarozzi / Resumo: Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às "fórmulas" e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática / Abstract: This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics / Mestre

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T20:27:48Z (GMT). No. of bitstreams: 1 244635.pdf: 643291 bytes, checksum: 10dddc5e96e73351f4f0a02ae3faee8b (MD5) / Neste trabalho estuda-se um Modelo para classificação de espécies, em função do risco de extinção. A IUCN (International Union for the Conservation Nature) classifica as espécies, quanto ao risco de extinção, em cinco categorias. A classificação leva em conta fatores como Declínio Populacional, Extensão de Ocorrência, Área de Ocupação etc. Nesta classificação são estabelecidos limites que fazem uma mudança brusca de uma categoria para outra. É muito difícil estimar, com exatidão, o número de indivíduos de uma espécie ou o seu Declínio Populacional nos últimos tempos, tornando difícil saber a qual categoria da IUCN que a mesma pertence, principalmente se os dados são valores próximos aos valores de fronteira entre duas categorias. Visando melhorar esta classificação, uma fronteira entre duas categorias será tratada, neste trabalho, de forma fuzzy, afim de evitar uma mudança brusca de uma categoria para outra. Desta forma, uma pequena variação nos dados não muda a classificação de uma espécie.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T11:10:06Z (GMT). No. of bitstreams: 1 221454.pdf: 643291 bytes, checksum: 10dddc5e96e73351f4f0a02ae3faee8b (MD5) / Neste trabalho estuda-se um Modelo para classificação de espécies, em função do risco de extinção. A IUCN (International Union for the Conservation Nature) classifica as espécies, quanto ao risco de extinção, em cinco categorias. A classificação leva em conta fatores como Declínio Populacional, Extensão de Ocorrência, Área de Ocupação etc. Nesta classificação são estabelecidos limites que fazem uma mudança brusca de uma categoria

Este trabalho oferece um estudo das configurações intervalares contidas no grupo de peças para piano intitulado Seis Pequenos Quadros (1981) de Bruno Kiefer (1923- 1987). A análise toma como referencial teórico a obra Introduction to Post-Tonal Theory de Joseph Straus, a qual elucida a teoria dos conjuntos. Objetivou-se encontrar padrões que fornecem coerência ao discurso das peças isoladamente e como um todo. Para tanto, além da análise de conjuntos, fez-se necessário o levantamento de características estruturais, temporais e de textura. Todos estes parâmetros, os quais contribuem para um equilíbrio entre unidade e diversidade no discurso desta coleção de peças, foram investigados a partir dos gestos musicais característicos do estilo de Kiefer.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2010 / Bibliografia: f. 130-133

Made available in DSpace on 2015-09-17T15:25:23Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-25. Added 1 bitstream(s) on 2015-09-17T15:48:55Z : No. of bitstreams: 1 000845945.pdf: 880441 bytes, checksum: 9c8e9300bc4611479c38c1b4f9c807ea (MD5) / O principal objetivo deste trabalho é buscar uma forma prazerosa de se trabalhar a matemática em sala de aula, principalmente as frações e números decimais, sem deixar de lado o rigor que a matemática exige. Para isso estudaremos inicialmente a formação dos conjuntos numéricos de maneira formal e demonstrando os principais fatos inerentes ao assunto. Em seguida buscaremos maneiras de trabalhar tais conteúdos de maneira prática sem abrir mão do rigor e respeitando as limitações do nível de ensino em que os alunos se encontram. Como as frações são um dos tópicos que mais assustam os alunos do ensino fundamental e normalmente é vista em determinada unidade do livro didático, assim como os demais assuntos, o que leva os alunos a pensarem que os conteúdos são desconectados, vamos sugerir uma maneira alternativa de trabalhar. Além de atividades concretas e divertidas, vamos organizar um plano de ensino que traga o estudo das frações diluído durante todo o ano letivo, mostrando assim que esses números estão presentes sempre na matemática e na vida cotidiana / The main purpose of this work is to pursue a pleasant way of working math in the classroom, mainly fractions and decimals, without overlooking the accuracy that mathematics requires. For this, we will first study the formation of the set of numbers, in a formal way, and we will demonstrate the key facts relating to the topic. Then, we will search for some ways of working such contents in a useful way without losing accuracy and respecting the boundaries of the educational attainment in which students are. As fractions are one of the topics that most has been frightening elementary students, and are frequently seen in a specific unit of the textbook, as well as other matters, which can lead students to think that the contents are detached, we will suggest an unconventional way to work. In addition to concrete and fun activities, we will organize a teaching plan that brings the study of fractions diluted throughout the school year, therefore showing that these numbers are always present in mathematics and in everyday life

Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-09-13Bitstream added on 2014-11-10T11:57:46Z : No. of bitstreams: 1 000789180.pdf: 565786 bytes, checksum: a981c33a001a1571a64e1e198746a2e4 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho estudamos o Teorema do Valor Intermediário e apresentamos várias aplica ções. Embora seja um teorema visto em cursos universitários, o teorema e de fácil entendimento e pode ser utilizado para resolver alguns problemas vistos no Ensino Médio como, por exemplo, garantir a existência de solução para certas equações / In this work we study the Intermediate Value Theorem and we present some applications. This kind of theorem is typical from Calculus in graduation courses. But it is easy to understand and it can be used to solve problems related to topics from high school, for example, to guarantee the existence of solutions for certain equations

Este trabalho oferece um estudo das configurações intervalares contidas no grupo de peças para piano intitulado Seis Pequenos Quadros (1981) de Bruno Kiefer (1923- 1987). A análise toma como referencial teórico a obra Introduction to Post-Tonal Theory de Joseph Straus, a qual elucida a teoria dos conjuntos. Objetivou-se encontrar padrões que fornecem coerência ao discurso das peças isoladamente e como um todo. Para tanto, além da análise de conjuntos, fez-se necessário o levantamento de características estruturais, temporais e de textura. Todos estes parâmetros, os quais contribuem para um equilíbrio entre unidade e diversidade no discurso desta coleção de peças, foram investigados a partir dos gestos musicais característicos do estilo de Kiefer.