O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

Considerações históricas sobre o infinito e alguns de seus paradoxos

This research aims to elucidate some of the historical aspects of the idea of infinity during the creation of calculus and set theory. It also seeks to raise discussions about the nature of infinity: current infinite and potential infinite. For this, we conducted a survey with a qualitative approach in the form of exploratory study. This study was based on books of Mathematics' History and other scientific works such as articles, theses and dissertations on the subject. This work will bring the view of some philosophers and thinkers about the infinite, such as: Pythagoras, Plato, Aristotle, Galilei, Augustine, Cantor. The research will be presented according to chronological order. The objective of the research is to understand the infinite from ancient Greece with the paradoxes of Zeno, during the time which the conflict between the conceptions atomistic and continuity were dominant, and in this context that Zeno launches its paradoxes which contradict much a concept as another, until the theory Cantor set, bringing some paradoxes related to this theory, namely paradox of Russell and Hilbert's paradox. The study also presents these paradoxes mentioned under the mathematical point of view and the light of calculus and set theory

Programação por metas e análise envoltória de dados na avaliação de unidades de produção global: uma aplicação em uma empresa do segmento químico

Considering the high competitivity in the market, the application of quantitative methods can assist in analyzing the efficiency of production facilities of areas of export and import processes of the chemical industry sector. In this sense, this work aims to apply the model GPDEA-BCC optimization in order to develop an analysis of the production units of this chemical industry. So, were chosen variables relevant to the process and elaborated a final comparison between the results obtained by the optimization tool and performance indexes provided by the company. These results indicated that some production units should be monitored more carefully because some of them had a low efficiency when analyzed with multi criteria

Um Modelo de otimização inteira mista na programação de produção de mangueiras hidráulicas

This work deals with a problem of mixed integer optimization model applied to production planning of a real world factory that aims for hydraulic hose production. To optimize production planning, a mathematic model of MILP Mixed Integer Linear Programming, so that, along with the Analytic Hierarchy process method, would be possible to create a hierarchical structure of the most import criteria for production planning, thus finding through a solving software the optimum hose attribution to its respective machine. The hybrid modeling of Analytic Hierarchy Process along with Linear Programming is the focus of this work. The results show that using this method we could unite factory reality and quantitative analysis and had success on improving performance of production planning efficiency regarding product delivery and optimization of the production flow

Análise de variância WAVELET de séries temporais com dados faltantes: avaliação do índice de cintilação ionosférica S4 em sinais de satélite GPS

Pós-graduação em Matematica Aplicada e Computacional - FCT