Ense??anza del teorema de Bayes con apoyo tecnol??gico

XII Jornadas de Investigaci??n en el Aula de Matem??ticas : estad??stica y azar, celebradas en Granada, noviembre y diciembre de 2006. Resumen tomado de la publicaci??n

Actividades de aprendizaje con estadística dinámica : el teorema del límite central.

XII Jornadas de Investigación en el Aula de Matemáticas : estadística y azar, celebradas en Granada, noviembre y diciembre de 2006. Resumen tomado de la publicación

El teorema de Euler a partir de la teoría de grafos.

Se estudia la teoría de grafos en relación con el teorema de Euler. La teoría de grafos se refiere a la teoría de conjuntos relativa a las relaciones binarias de un conjunto numerable consigo mismo. Esta teoría posee un vasto campo de aplicaciones en Física, Economía, Teoría de la Información, Programación Lineal, Transportas, Psicología, e incluso en ciertos dominios del arte. Se pretende realizar un trabajo que sirva como seminario optativo para los alumnos de COU, que presente a los alumnos un teorema clásico de geometría mediante la teoría de grafos, un aspecto bastante olvidado en los programas. Se utilizan los métodos y el lenguaje de la teoría de grafos para demostrar el teorema de Euler, que liga caras, vértices y aristas de un poliedro regular. Para todo ello en primer lugar se sistematizan una serie de conceptos previos, se analizan las propiedades de distintos tipos de grafos, y por último, se realizan demostraciones.

El teorema de Fermat de l'educaci?? : conciliaci?? entre l'horari familiar, laboral i acad??mic

Resumen basado en el de la publicaci??n

Projetos de investimento com mais de duas variações de sinal: sobre a aplicação do teorema de Vincent e suas extensões

Neste trabalho, fazendo uso da teoria das equações, iremos cotejar a aplicação de dois métodos clássicos de separação de raízes. Tais métodos, especializados para a "separação" das taxas internas de retorno de um projeto, são superiores às condições de suficiência pois que permitem a determinação do número exato de taxas internas de retorno associadas a um projeto, no intervalo de taxas de juros considerado.

Algumas generalizações para o último teorema de Fermat

Neste trabalho estudamos três generalizações para o último Teorema de Fermat. A primeira generalização trata de expoentes negativos e de expoentes racionais. Além de mostrar em que casos estas equações possuem soluções, damos uma caracterização completa para todas as soluções inteiras não-nulas existentes. A segunda generalização também trata de expoentes racionais, porém num contexto mais amplo. Aqui permitimos que as raízes n-ésimas sejam complexas, não necessariamente reais. Na terceira generalização vemos que o último Teorema de Fermat também vale para expoentes inteiros gaussianos.

Resultantes, equações polinomiais e o teorema de Bezout

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

Otimização do fresamento de roscas internas com a técnica de interpolação helicoidal

In machining of internal threads, dedicated tools, known as taps, are needed for each profile type, diameter, and low cutting speed values are used when compared to main machining processes. This restriction in the cutting speed is associated with the difficulty of synchronizing the tool s rotation speed and feed velocity in the process. This fact restricts the flexibility and makes machining lead times longer when manufacturing of components with threads is required. An alternative to the constraints imposed by the tap is the thread milling with helical interpolation technique. The technique is the fusion of two movements: rotation and helical interpolation. The tools may have different configurations: a single edge or multiple edges (axial, radial or both). However, thread milling with helical interpolation technique is relatively new and there are limited studies on the subject, a fact which promotes challenges to its wide application in the manufacturing shop floor. The objective of this research is determine the performance of different types of tools in the thread milling with helical interpolation technique using hardened steel workpieces. In this sense, four tool configurations were used for threading milling in AISI 4340 quenched and tempered steel (40 HRC). The results showed that climb cut promoted a greater number of machined threads, regardless of tool configuration. The upcut milling causes chippings in cutting edge, while the climb cutting promotes abrasive wear. Another important point is that increase in hole diameter by tool diameter ratio increases tool lifetime

Dowscaling estocástico para extremos climáticos via interpolação espacial

Present day weather forecast models usually cannot provide realistic descriptions of local and particulary extreme weather conditions. However, for lead times of about a small number of days, they provide reliable forecast of the atmospheric circulation that encompasses the subscale processes leading to extremes. Hence, forecasts of extreme events can only be achieved through a combination of dynamical and statistical analysis methods, where a stable and significant statistical model based on prior physical reasoning establishes posterior statistical-dynamical model between the local extremes and the large scale circulation. Here we present the development and application of such a statistical model calibration on the besis of extreme value theory, in order to derive probabilistic forecast for extreme local temperature. The dowscaling applies to NCEP/NCAR re-analysis, in order to derive estimates of daily temperature at Brazilian northeastern region weather stations

Métodos numéricos para resolução de equações diferenciais ordinárias lineares baseados em interpolação por spline

In this work we have elaborated a spline-based method of solution of inicial value problems involving ordinary differential equations, with emphasis on linear equations. The method can be seen as an alternative for the traditional solvers such as Runge-Kutta, and avoids root calculations in the linear time invariant case. The method is then applied on a central problem of control theory, namely, the step response problem for linear EDOs with possibly varying coefficients, where root calculations do not apply. We have implemented an efficient algorithm which uses exclusively matrix-vector operations. The working interval (till the settling time) was determined through a calculation of the least stable mode using a modified power method. Several variants of the method have been compared by simulation. For general linear problems with fine grid, the proposed method compares favorably with the Euler method. In the time invariant case, where the alternative is root calculation, we have indications that the proposed method is competitive for equations of sifficiently high order.

Uma justificava da validade do teorema fundamental da álgebra para o ensino médio

Among several theorems which are taught in basic education some of them can be proved in the classroom and others do not, because the degree of difficulty of its formal proof. A classic example is the Fundamental Theorem of Algebra which is not proved, it is necessary higher-level knowledge in mathematics. In this paper, we justify the validity of this theorem intuitively using the software Geogebra. And, based on [2] we will present a clear formal proof of this theorem that is addressed to school teachers and undergraduate students in mathematics

Métodos de interpolação para estimar o ph em solo sob dois manejos de café Arábica

There are many methods used to estimate values in places no sampled for construction of contours maps. The aim of this study was to use the methods of interpolation kriging, inverse of the square of the distance and polynomial in the representation of the spatial variability of the pH of the soil in the organic and conventional management in the culture of the coffee plantation. For that, irregular meshes were built for soil sampling in the depth of 0-0,10 meters, totaling 40 points sampling in each area. For gauging of the interpolation methods they were solitary 10% of the total of points, for each area. Initially, the data were appraised through the classic statistics (descriptive and exploratory) and spatial analysis. The method inverse square of the distance and kriging has low error in estimating dados. The method of kriging presented low variation around the average in different managements.

Teorema de Riemann-Roch e aplicações

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)