Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

A construção de significado na aprendizagém da matematica

Nesta comunicação, darei a conhecer parte do estudo que conduzi no âmbito do mestrado em Informática e Educação, no que respeita à natureza da compreensão desenvolvida pelos alunos no contexto da aula de Matemática. A investigação teve como objectivo compreender e analisar o significado matemático, construído pelos alunos, em interacção social, focando a utilização do computador em actividades de construção geométrica.

Computacao Voluntaria

A computação voluntária tem vindo a ganhar uma importância crescente devido a capacidade de computação disponível actualmente nos computadores pessoais. Para muitos trabalhos científicos estima-se que esta estratégia possa complementar (ou até substituir) a necessidade de grandes investimentos em infra-estruturas de computação de elevado desempenho. Esta forma de computação surgiu em 1996 com o projecto GIMPS que consistia na procura computorizada de grandes números primos, utilizando a fórmula de Mersenne, 2p-1, em que “p” representa o número primo. Qualquer pessoa com computador e com uma ligação a Internet podia instalar o programa cliente do GIMPS e participar no projecto disponibilizando poder de computação durante períodos de tempo de não utilização. Seguindo esta analogia seguiram-se os projectos distributed.net em 1997 e SETI@home em 1999, sendo este último o mais popular de todos. Com base neste paradigma de computação muitos projectos de investigação científica foram desenvolvidos, trabalhos na área da física, astronomia, matemática, biologia molecular, normalmente ligados a instituições universitárias que podem beneficiar desta forma de computação, o principal problema é saber como fazer isso e que tecnologias utilizar. Para solucionar esse problema foram propostos protótipos, utilizando as tecnologias BOINC, Condor e Hadoop, onde se pôde avaliar a oportunidade da introdução destes serviços em Instituições Universitárias. Para este fim foram realizados alguns testes nos sistemas implementados com as tecnologias já referidas e definida uma matriz de comparação destas tecnologias focando em características que definem um sistema distribuído.

Curso de matematica para economistas, Capitulo III: calculo no R

Os autores objetivam, com este trabalho preliminar, bem como com aqueles que lhe darão continuidade, na sequência de composição de um livro de matemática para economistas, registrar as suas experiências ao longo dos últimos anos ministrando cadeiras de matemática nos cursos de pós-graduação em economia da Fundação Getúlio Vargas, da UFF (Universidade Federal Fluminense) e da PUC-RJ. Reveste-se de constante repetição em tais cursos a discussão sobre que pontos abordar, bem como com qual grau de profundidade, e em que ordem. É neste sentido que os autores esperam, com a sequência didática aqui apresentada, trazer alguma contribuição para o assunto.

Curso de matematica para economistas: capitulo V: otimização dinamica

Os autores objetivam, com este trabalho, bem como com aqueles que lhe precederam (capítulos l, 2, 3 e 4) registrar as suas experiências ao longo dos últimos anos ministrando cadeiras de matemática nos cursos de pós-graduação em economia da Fundação Getúlio Vargas, da UFF (Universidade Federal Fluminense) e da PUC-RJ. Reveste-se de constante repetição em tais cursos a discussão sobre que pontos abordar, bem como com qual grau de profundidade e em que ordem. É neste sentido que os autores esperam. com a sequência didática aqui apresentada, trazer alguma contribuição para o assunto.

Curso de matematica para economistas, Capitulos I e II: funções, algebra linear e aplicações

Os autores objetivam, com este trabalho preliminar, bem como com aqueles que lhe darão continuidade, na sequência de composição de um livro de matemática para economistas, registrar as suas experiências ao longo dos últimos anos ministrando cadeiras de matemática nos cursos de pós-graduação em economia da Fundação Getúlio Vargas, da UFF (Universidade Federal Fluminense) e da PUC-RJ. Reveste-se de constante repetição em tais cursos a discussão sobre que pontos abordar, bem como com qual grau de profundidade, e em que ordem. É neste sentido que os autores esperam, com a sequência didática que aqui se inicia, trazer alguma contribuição para o assunto.

Curso de matematica para economistas - Capitulo IV : otimização estatica

Os autores objetivam, com este trabalho preliminar, bem como com aqueles que lhe darão continuidade, na sequência de composição de um livro de matemática para economistas, registrar as suas experiências ao longo dos últimos anos ministrando cadeiras de matemática nos cursos de pós-graduação em economia da Fundação Getúlio Vargas, da UFF (Universidade Federal Fluminense) e da PUC-RJ. Reveste-se de constante repetição em tais cursos a discussão sobre que pontos abordar, bem como com qual grau de profundidade, e em que ordem. É neste sentido que os autores esperam, com a sequência didática que aqui se inicia, trazer alguma contribuição para o assunto. A parte teórica relativa à demonstração do Teorema de Kuhn Tucker aqui apresentada transcreve, com a aquiescência do autor, textos selecionados de "Análise Convexa do Rn." de Mario Henrique Simonsen.

A Disciplina história da matemática e a formação do professor de matematica: dados e circunstâncias de sua implantação na Universidade Estadual Paulista, campi de Rio Claro, São José do Rio Preto e Presidente Prudente

Pós-graduação em Educação Matemática - IGCE

Matematica e lingua materna: um estudo sobre utilização conjunta com atividades para o ensino fundamental

This work is a study and a repost on a possible way that can be worked together Mathematics and Native Language, presenting activities for the middle school, trying to make teaching more interesting, dynamic and playful. The work presents proposal for activities based on stories from the book “O Homem que calculava” by Malba Tahan, with questionnaires to be answered by the students and guidance for teachers on how to apply these activities in the classroom. Applications of these activities were carried out and this work also includes analysis and records of them

A importância do planejamento financeiro: uma abordagem de matematica financeira para o ensino médio com o uso do excell

The financial health of a family is one of the main generators of quality of life, and this is only possible through financial planning, which is nothing more than save and analyze before contracting debts. To do this, students must have notion of financial mathematics, especially of that used by the banks on overdraft interest, in investments and in the short-term and longterm loans, that is, compound interest, equivalent rates, depreciation and others. Starting from the knowledge of arithmetic and geometric progressions and, based on real situations which allow the application of the content learned, one intends to develop activities applied to high education. To start from real situations is one of the main lines of thought of the Problem Solving Methodology, in which the student is the active agent in the construction of his or her knowledge. As the National Curricular Parameters point out, the practice in the use of computers is essential for gaining a job. Therefore, this project proposes an activity where knowledge of Financial Mathematics can to be practiced, associated with the use of Microsoft Excel® spreadsheet

La matematica fuzzy nell'ingegneria dei materiali. Applicazioni alla durevolezza e alla conservazione dei materiali in opera nei siti archeologici

La ricerca presentata è un’ampia esplorazione delle possibili applicazioni di concetti, metodi e procedure della Fuzzy Logic all’Ingegneria dei Materiali. Tale nuovo approccio è giustificato dalla inadeguatezza dei risultati conseguiti con i soli metodi tradizionali riguardo alla reologia ed alla durabilità, all’utilizzo di dati di laboratorio nella progettazione e alla necessità di usare un linguaggio (informatizzabile) che consenta una valutazione congiunta degli aspetti tecnici, culturali, economici, paesaggistici della progettazione. – In particolare, la Fuzzy Logic permette di affrontare in modo razionale l’aleatorietà delle variabili e dei dati che, nel settore specifico dei materiali in opera nel costruito dei Beni Culturali, non possono essere trattati con i metodi statistici ordinari. – La scelta di concentrare l’attenzione su materiali e strutture in opera in siti archeologici discende non solo dall’interesse culturale ed economico connesso ai sempre più numerosi interventi in questo nuovo settore di pertinenza dell’Ingegneria dei Materiali, ma anche dal fatto che, in tali contesti, i termini della rappresentatività dei campionamenti, della complessità delle interazioni tra le variabili (fisiche e non), del tempo e quindi della durabilità sono evidenti ed esasperati. – Nell’ambito di questa ricerca si è anche condotto un ampio lavoro sperimentale di laboratorio per l’acquisizione dei dati utilizzati nelle procedure di modellazione fuzzy (fuzzy modeling). In tali situazioni si è operato secondo protocolli sperimentali standard: acquisizione della composizione mineralogica tramite diffrazione di raggi X (XRD), definizione della tessitura microstrutturale con osservazioni microscopiche (OM, SEM) e porosimetria tramite intrusione forzata di mercurio (MIP), determinazioni fisiche quali la velocità di propagazione degli ultrasuoni e rotoviscosimetria, misure tecnologiche di resistenza meccanica a compressione uniassiale, lavorabilità, ecc. – Nell’elaborazione dei dati e nella modellazione in termini fuzzy, la ricerca è articolata su tre livelli: a. quello dei singoli fenomeni chimico-fisici, di natura complessa, che non hanno trovato, a tutt’oggi, una trattazione soddisfacente e di generale consenso; le applicazioni riguardano la reologia delle dispersioni ad alto tenore di solido in acqua (calci, cementi, malte, calcestruzzi SCC), la correlazione della resistenza a compressione, la gelività dei materiali porosi ed alcuni aspetti della durabilità del calcestruzzo armato; b. quello della modellazione della durabilità dei materiali alla scala del sito archeologico; le applicazioni presentate riguardano i centri di cultura nuragica di Su Monte-Sorradile, GennaMaria-Villanovaforru e Is Paras-Isili; c. quello della scelta strategica costituita dalla selezione del miglior progetto di conservazione considerando gli aspetti connessi all’Ingegneria dei Materiali congiuntamente a quelli culturali, paesaggistici ed economici; le applicazioni hanno riguardato due importanti monumenti (Anfiteatro e Terme a Mare) del sito Romano di Nora-Pula.

Metodi perturbativi per E.D.P e applicazioni in finanza matematica

In questa tesi si discute di alcuni modelli di pricing per opzioni di tipo europeo e di opportuni metodi perturbativi che permettono di trovare approssimazioni soddisfacenti dei prezzi e delle volatilità implicite relative a questi modelli.

Il dibattito sull'essenza della matematica. Scienza della natura o libera invenzione della mente umana?

Questa dissertazione si concentra sul dibattito circa l’essenza della matematica a partire dalla nascita delle geometrie non euclidee. Essa è una scienza della natura o una costruzione (e dunque una libera invenzione) della mente umana? Trattando altresì della crisi dei fondamenti, e tenendo a mente le posizioni platoniste e costruttiviste, questa tesi analizza le risposte che, da fine Ottocento in poi, diedero Jules-Henri Poincaré, Bertrand Russell, L.E.J. Brouwer e David Hilbert, e con loro le varie correnti convenzionaliste, logiciste, intuizioniste e formaliste.