This dissertation aims at presenting and discussing the proofs for immortality of the soul in Book I of the Tusculan Disputations by Cicero, a philosophical work written in the form of a dialogue in which why man must not fear death is discussed. Before directly approaching the theme, in the proem to Book I, Cicero presents his conception about philosophy and about the requirement of producing philosophy in Latin. Concerning its subject, the dialogue of Book 1 can be divided into two great parts: the first one consisting of an argumentation favourable to the immortality of the soul, that proves death is something good (18-71), and the second one, consisting of a reservation that death is not only something good, but it cannot be something bad (82-119). In accordance to the main goal of this work and based on several different translations which allowed us to do the work with a philological stance where necessary, and which guided a great part of our investigation through notes and valued suggestions of a secondary bibliography we analysed the first part of Book 1, showing that the argumentation in favour of the immortality of the soul, is according to Cicero, absolute and praiseworthy to the best philosophers. We also noticed that the immortality of the soul had been denied as an axiom of ancient philosophy by Hellenistic thought, such as Stoicism and Epicureanism. Cicero refuses the Stoic views about duration of the souls and despises the Epicurean concept on the proof of the mortality of the soul. There are four proofs of immortality of the soul in Book 1, in which we can find the following discussions: the argument consensus omnium gentium, the soul as warm air, the soul as the principle of movement and the soul as the fifth nature (quinta natura). For this work the last discussions are the most important ones: the discussion of the soul as a principle of movement, from Phaidro by Plato and the discussion of the soul as the fifth nature from the lost dialogues of Aristotle, by means of which, Cicero demonstrates that the soul is eternal and divine, thus, establishing a difference between the nature of the soul and the nature of the body. As it may be seen in the conclusion of this work, the immortality of the soul is restricted to the mind, a part of the soul, provided with reason. Remaining after death of the material body, the soul owns perception and intelligence, as it presents the same nature of god, thus pertaining to the celestial realms. / Esta dissertação tem como objetivo principal apresentar e discutir as provas da imortalidade da alma no Livro I das Discussões Tusculanas, de Cícero, uma obra filosófica escrita em forma de diálogo em que se discute, dentre outras coisas, por que o homem não deve temer a morte. Antes de abordar o tema de forma direta, Cícero apresenta no proêmio ao Livro I sua concepção acerca da filosofia e da necessidade de produzir filosofia em latim. Quanto a seu tema, o diálogo do Livro I pode ser dividido em dois grandes momentos: o primeiro consiste numa argumentação favorável à imortalidade da alma, que prova que a morte é um bem (parágrafos 18 a 71); e o segundo consiste na ressalva de que a morte não apenas é um bem, mas sequer pode ser um mal (parágrafos 82 a 119). Alinhados ao objetivo principal deste trabalho e munidos de diferentes traduções que nos permitiram o trabalho de cunho filológico, quando necessário, e nortearam, pelas notas e indicações de bibliografia secundária, grande parte de nossa pesquisa, analisamos a primeira parte do Livro I, mostrando que, para Cícero, a argumentação em favor da imortalidade da alma é primorosa e digna de filósofos superiores (Platão e Aristóteles). Constatamos, também, que a imortalidade da alma, como uma doutrina da filosofia antiga, havia sido negada pelas correntes helenistas, o estoicismo e o epicurismo. Cícero rejeita o ponto de vista do estoicismo sobre a duração das almas e despreza a prova da mortalidade de Epicuro. Quatro são as provas da imortalidade da alma encontradas no Livro I. Delas constam os seguintes argumentos: consensus omnium gentium, a alma como ar aquecido, a alma como princípio de movimento e a alma como quinta natureza. Para este trabalho, os dois últimos são de maior importância: o argumento da alma como princípio de movimento, extraído do diálogo Fedro, de Platão; e o argumento da alma como quinta natureza, noção retirada dos diálogos perdidos de Aristóteles, já que, com eles, Cícero demonstra que a alma é eterna e divina, estabelecendo uma diferença entre a natureza da alma e a natureza do corpo. Como poderá ser visto na conclusão, a imortalidade da alma restringe-se à mente, parte da alma provida de razão. Permanecendo após a morte do corpo, a alma possui percepção e é dotada de inteligência, tem a mesma natureza de deus e, assim, pertence à região celeste. / Mestre em Filosofia

Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.

Submitted by Jean Medeiros (jeanletras@uepb.edu.br) on 2017-12-05T12:03:24Z No. of bitstreams: 2 PDF - Anderson de Araújo Nascimento.pdf: 46622103 bytes, checksum: d60f09812020a13c3cb13ccf0c932c21 (MD5) Produto - Anderson de Araújo Nascimento.pdf: 2173471 bytes, checksum: a461965985df3647cd94256a818a4661 (MD5) / Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2017-12-06T18:38:49Z (GMT) No. of bitstreams: 2 PDF - Anderson de Araújo Nascimento.pdf: 46622103 bytes, checksum: d60f09812020a13c3cb13ccf0c932c21 (MD5) Produto - Anderson de Araújo Nascimento.pdf: 2173471 bytes, checksum: a461965985df3647cd94256a818a4661 (MD5) / Made available in DSpace on 2017-12-06T18:38:49Z (GMT). No. of bitstreams: 2 PDF - Anderson de Araújo Nascimento.pdf: 46622103 bytes, checksum: d60f09812020a13c3cb13ccf0c932c21 (MD5) Produto - Anderson de Araújo Nascimento.pdf: 2173471 bytes, checksum: a461965985df3647cd94256a818a4661 (MD5) Previous issue date: 2017-08-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The present research work investigated the level of geometric thinking and the types of mathematical proofs by 1st year high school students from the application of a Didactic Proposal. This research was constituted as a qualitative one, and as case study, having instruments of the application an essay with the theme Proofs and Mathematical Demonstrations, Didactic Proposal developed by a team of five members who worked collaboratively, inserted in the Project CAPES/OBEDUC/UFMS/UEPB/UFAL Edital 2012, participant observation and audio recording. We developed the didactic proposal with 18 activities, divided into four parts, which stimulated students to reflect, justify, prove and demonstrate. The application of this proposal occurred in June 2015 for 1st year high school students in a public school in the city of Areia, Paraíba. Our research took place in three moments. In the first moment, we apply the essay on the subject mathematical proofs and demonstrations. In the second moment we did a didactic intervention approaching definitions, theorems, proofs and mathematical demonstrations with the objective of taking to the students this knowledge. In the third moment, Part I and II of the Didactic Proposal were applied, involving activities to conjecture and demonstrate the Pythagorean Theorem, Internal Angle Sum Theorem and External Angle Theorem. This proposal helped in the investigation of the mathematical knowledge of the 1st year high school students, divided into 8 pairs and one trio, chosen freely. The two pairs of students who achieved the best performance in our Didactic Proposal were chosen for our case study and the one of better performance had its dialogue recorded and transcribed as a source of evidence of our case study. In our research we analyzed the answers given by the two pairs on Activities 1 and 3 (Part II) and Activity 2 (Part III), totaling in 3 questions. We used the data triangulation method for our case study. Firstly, we draw the profile of the two pairs of students in relation to Proofs and Mathematical Demonstrations. Next, we investigate the types of mathematical proofs used by them and their geometric thinking. To do so, we use discussions about the levels of geometric thinking proposed by Van Hiele and the types of evidence. From our results we can conclude that the pairs of students were able to develop informal justifications, that is, informal proofs. Thus, the pairs presented pragmatic evidence and the types of evidence Pragmatic Justification and Crucial Example. Regarding the geometric thinking proposed by Van Hiele, only one pair could be classified in one of the levels of development of geometric thinking, Level 3, informal deduction. Therefore, we come to the end of this research convinced that it is necessary to start working mathematical proofs and demonstrations in the basic education level, adapting its teaching to the degree of maturity and to the mathematical knowledge of the students, since our results point out that this subject is not approached properly in the classroom. / A presente pesquisa investigou o nível do pensamento geométrico e os tipos de provas matemáticas de alunos do 1º ano do Ensino Médio a partir da aplicação de uma Proposta Didática. Esta pesquisa se constituiu como qualitativa, e estudo de caso, tendo como instrumentos a aplicação de uma redação com o tema Provas e Demonstrações Matemáticas, Proposta Didática desenvolvida por uma equipe de cinco membros que trabalhou de forma colaborativa, inserida no Projeto CAPES/OBEDUC/UFMS/UEPB/ UFAL Edital 2012, observação participante e gravação em audio do diálgo de umas das duplas participantes da pesquisa. Elaboramos uma proposta didática com 18 atividades, dividida em quatro partes, que estimulavam aos alunos refletirem, justificarem, provarem e demonstrarem. A aplicação dessa proposta se deu em junho de 2015 para alunos do 1º ano do Ensino Médio de uma escola pública da cidade de Areia, Paraíba. Nossa pesquisa se deu em três momentos. No primeiro momento, aplicamos a redação sobre o tema provas e demonstrações matemáticas. No segundo momento realizamos uma intervenção didática abordando definições, teoremas, provas e demonstrações matemáticas com o objetivo de levar aos alunos esses conhecimentos. No terceiro momento foi aplicado a Parte I e II da Proposta Didática, envolvendo atividades de conjecturar e demonstrar o Teorema de Pitágoras, Teorema da Soma dos Ângulos Internos e Teorema dos Ângulo Externo. Essa proposta auxiliou na investigação do conhecimento matemático dos alunos do 1º ano do Ensino Médio, divididos em 8 duplas e um trio, escolhidos livremente. As duas duplas de alunos que obteveram melhores desempenhos em nossa Proposta Didática foram escolhidas para o nosso estudo de caso e a de melhor desenpenho teve seu diálogo gravado e transcrito como fonte de evidência de nosso estudo de caso. Em nossa pesquisa analisamos as respostas dadas pelas duas duplas sobre Atividades 1 e 3 (Parte II) e Atividade 2 (Parte III), totalizando em 3 questões. Utilizamos o método de triângulação de dados para nosso estudo de caso. Primeiramente, traçamos o perfil das duas duplas de alunas com relação às Provas e Demonstrações Matemáticas. Em seguida, investigamos os tipos de provas matemáticas utilizadas por elas e o seu pensamento geométrico. Para tanto, utilizamos as discussões sobre os níveis do pensamento geométrico proposto por Van Hiele e os tipos de provas. A partir de nossos resultados pudemos concluir que as duplas de alunas conseguiram desenvolver justificativas informais, ou seja, provas informais. Assim, as duplas apresentaram provas pragmáticas e os tipos de provas Justificativa Pragmática e Exemplo Crucial. Com relação ao pensamento geométrico proposto por Van Hiele, apenas uma dupla pôde ser classificada em um dos níveis de desenvolvimento do pensamento geométrico, o Nível 3, dedução informal. Portanto, chegamos ao final desta pesquisa convictos de que é preciso iniciar o trabalho das provas e demonstrações matemáticas na Educação Básica, adequando seu ensino ao grau de maturidade e aos conhecimentos matemáticos dos alunos, visto que nossos resultados apontam que esse tema não é abordado adequadamente em sala de aula.

Este trabalho tem como objetivo central o desenvolvimento da infra-estrutura de sensoriamento e atuação para a avaliação de Sistemas de Posicionamento Dinâmico de modelos reduzidos de embarcações em tanques de provas. Ele descreve a concepção, o projeto, a implementação e os testes de um sistema sensor de posição e orientação do modelo, assim como o hardware dos propulsores utilizados como atuadores do modelo. O sistema sensor é baseado na emissão e recepção de sinais acústicos sincronizados de alta freqüência (ultra-som). Utiliza-se o Método Esférico 3-D como algoritmo de triangularização, obtendo-se a estimativa da posição por meio da minimização de uma medida quadrática do erro. Além disso, foi também aplicado o filtro estendido de Kalman como algoritmo de estimação. São apresentadas de forma clara e objetiva as dificuldades encontradas no decorrer do desenvolvimento do trabalho, bem como as soluções adotadas para contorná-las, analisando as influências das condições atmosféricas e do ambiente laboratorial no processo de medição, os resultados obtidos a partir dos ensaios, a robustez e o desempenho do sistema sensor. / The main objective of this work is the development of both sensing and actuation infra-structure for the performance evaluation of Dynamic Positioning Systems for reduced scale model of ships in towing tanks or offshore tanks. It describes the conception, design, implementation and tests of a range and orientation sensor system, as well as the hardware of the propellers used as the model actuators. The sensor system is based on the emission and reception of high frequency synchronized accoustic signals (ultra-sound). A 3-D spherical method based on the minimization of a quadratic measure of the error is used to estimate the position of the ship model. Furthermore the extended Kalman filter is also used. The difficulties found during the development of the project are presented as well as the solutions adopted to circumvent them. The experimental results obtained are discussed. In particular, the influence of both the local atmosphere and the lab environment on the performance of the sensor system are taken into account.

Esta dissertação de mestrado tem como objetivo a validação do modelo numérico de manobras para navios utilizado pelo simulador chamado SMH - Simulador Marítimo Hidroviário, que foi desenvolvido no laboratório Tanque de Provas Numérico. Para tanto foram realizados ensaios experimentais de manobras com um modelo em escala reduzida da embarcação Alpha Crucis com o objetivo de criar dados de manobra que serviram como referência para validação do modelo numérico. Foram selecionados diversos tipos de manobras com o propósito de criar uma caracterização da manobrabilidade da embarcação em baixas velocidades e regime transitório, permitindo a medição de diversas características, que permitem quantificar as capacidades de manobra da embarcação. Através de experimentos numéricos foram, então, realizadas as mesmas manobras executadas pelo modelo físico em escala reduzida, de forma a reproduzir as mesmas condições iniciais e os mesmos comandos, procurando reproduzir as manobras para validação do modelo implementado no SMH. Os resultados obtidos apresentam a aderência das características de manobras do modelo implementado no SMH, através da comparação das características de manobra obtidas pelo modelo físico em escala reduzida e das obtidas pelo modelo numérico. A dissertação apresenta ainda um estudo de sensibilidade que mostra o efeito dos principais fatores utilizados no laboratório Tanque de Provas Numérico para a calibração dos modelos de embarcações, mostrando que para as manobras consideradas neste trabalho alguns dos efeitos possuem pouca influência nos resultados. Por fim o trabalho conclui que o modelo matemático utilizado pelo SMH representa a capacidade de manobra da embarcação de forma consistente para diversos tipos de manobra, e com um grau de aderência satisfatório. / This research aims to present a validation for the ship maneuvering simulator named SMH, anachronym in Portuguese for Maritime and Waterway Simulator, developed on Tanque de Provas Numérico laboratory. For this propose small scale tests were performed with a model of Alpha Crucis ship aiming to create maneuver data that was used as reference for the numerical model validation. Several types of maneuver where selected to create a characterization of the maneuverability of the ship at low speeds and transient regime, and the parameters that quantify the maneuverability were measured. Then were performed numerical experiments recreating the same maneuver executed with the experimental model, with the same initial conditions and propulsion/rudder controls, trying to reproduce the maneuvers to validate the model implemented on the SMH. The results showed that the maneuvering characteristics predicted by the SMH simulator are similar to measured values in the experiment. The dissertation also presents a sensitivity study that shows the effect of the main parameters used in the laboratory Tanque de Provas Numérico for the vessel model calibration, This study showed that for some maneuvers, the tuning parameters have less influence on the results. Finally, the work concludes that the mathematical model used by the SMH represents the ability of the vessel to maneuver consistently for several types of maneuvers, and with a satisfactory degree of accuracy.

O tema \"segurança de fundações\" tem merecido especial atenção, tanto na lide acadêmica quanto na prática profissional, em virtude da necessidade de se buscar soluções cada vez mais otimizantes para a dicotomia custo versus segurança, soluções essas que diferem pela forma de tratamento das incertezas envolvidas no projeto e execução das fundações. As provas de carga sobre as fundações têm desempenhado papel central na redução dessas incertezas. Ultimamente, tem-se discutido muito, particularmente no âmbito da revisão da NBR 6122, o papel das provas de carga na redução das incertezas inerentes a qualquer obra de fundações. Se é ponto pacífico que as provas de carga devem reduzir as incertezas, já não há consenso quanto aos níveis dessa redução em função do tipo e da quantidade de provas de carga, nem tampouco como a variabilidade dos resultados das provas de carga efetuadas em dada obra influenciam no fator de segurança. Desta feita, o presente trabalho apresenta uma formulação consistente para combinação das previsões de capacidade de carga de estacas de deslocamento com as informações derivadas da realização de provas de carga estáticas conduzidas até a ruptura ou ensaios de carregamento dinâmico, propiciando a atualização racional dos indicadores de segurança, segundo os conceitos da inferência bayesiana. Os resultados permitem consignar que a inferência bayesiana se apresenta com grande vantagem em relação à inferência clássica, pois permite a incorporação das informações anteriores existentes, muitas vezes de caráter subjetivo, sendo menos dependente de amostragem. Além disso, a inferência bayesiana se mostrou um instrumento legítimo para a incorporação dos resultados de provas de carga, decorrendo em medidas de segurança fundamentadas e com paralelo na prática da engenharia de fundações. / The theme of \"foundations safety\" deserves special attention in theory and practice, due to the need to find optimized solutions, which balance cost and safety, solutions that differ in their method of uncertainty treatment. An important way of coping with these uncertainties is the proof pile load tests. Recently, the importance of proof load tests in the reduction of uncertainty has been widely discussed, mainly in the context of the NBR 6122 update. Despite their importance, there is no universally accepted standard regarding how the type and the number of proof load tests influence the safety factor. This work uses the bayesian inference concepts to present a consistent approach, which matches predictions of precast pile capacity with proof pile load tests results, thus providing a rational updating of safety indicators. The results of this study lead to the conclusion that bayesian inference methods have advantages compared with classical approaches. Since they allow the consideration of previous information, sometimes of a subjective nature, these methods do not require as large a sample as frequency approaches do. Furthermore, these methods have proved to be more robust than classical approaches whilst providing results which are consistent with current practice of foundation engineering.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T13:11:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a257db (MD5) / Made available in DSpace on 2016-08-08T13:11:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a257db (MD5) Previous issue date: 2016-03-28 / CAPEs / Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different such tools are being increasingly used in order to accelerate and simplify proof checking, and the Coq proof assistant is one of the most known and used. Language and automata theory is a well-established area of mathematics, relevant to computer science foundations and information technology. In particular, context-free language theory is of fundamental importance in the analysis, design and implementation of computer programming languages. This work describes a formalization effort, using the Coq proof assistant, of fundamental results of the classical theory of context-free grammars and languages. These include closure properties (union, concatenation and Kleene star), grammar simplification (elimination of useless symbols, inaccessible symbols, empty rules and unit rules), the existence of a Chomsky Normal Form for context-free grammars and the Pumping Lemma for context-free languages. To achieve this, several steps had to be fulfilled, including (i) understanding of the characteristics, importance and benefits of mathematical formalization, specially in computer science, (ii) familiarization with the underlying mathematical theories used in proof assistants, (iii) familiarization with the Coq proof assistant, (iv) review of the strategies used in the informal proofs of the main results of the context-free language theory and finally (iv) selection and adequation of the representation and proof strategies adopted in order the achieve the desired objectives. The result is an important set of libraries covering the main results of context-free language theory, with more than 500 lemmas and theorems fully proved and checked. This is probably the most comprehensive formalization of the classical context-free language theory in the Coq proof assistant done to the present date, and includes the remarkable result that is the formalization of the Pumping Lemma for context-free languages. The perspectives for the further development of this work are diverse and can be grouped in three different areas: inclusion of new devices and results, code extraction and general enhancements of its libraries. / Assistentes de prova são ferramentas de software que são usadas na mecanização da construção e da validação de provas na matemática e na ciência da computação, e também no desenvolvimento de programas certificados. Diferentes ferramentas estão sendo usadas de forma cada vez mais frequente para acelerar e simplificar a verificação de provas, e o assistente de provas Coq é uma das mais conhecidas e utilizadas. A teoria de linguagens e de autômatos é uma área bem estabelecida da matemática, com relevância para os fundamentos da ciência da computação e a tecnologia da informação. Em particular, a teoria das linguagens livres de contexto é de fundamental importância na análise, no projeto e na implementação de linguagens de programação de computadores. Este trabalho descreve um esforço de formalização, usando o assistente de provas Coq, de resultados fundamentais da teoria clássica das gramáticas e linguagens livres de contexto. Estes incluem propriedades de fechamento (união, concatenação e estrela de Kleene), simplificação gramatical (eliminação de símbolos inúteis, de símbolos inacessíveis, de regras vazias e de regras unitárias), a existência da Forma Normal de Chomsky para gramáticas livres de contexto e o Lema do Bombeamento para linguagens livres de contexto. Para alcançar estes resultados, diversas etapas precisaram ser cumpridas, incluindo (i) o entendimento das características, da importância e dos benefícios da formalização matemática, especialmente na ciência da computação, (ii) a familiarização com as teorias matemáticas fundamentais utilizadas pelos assistentes de provas, (iii) a familiarização com o assistente de provas Coq, (iv) a revisão das estratégias usadas nas provas informais dos principais resultados da teoria das linguagens livres de contexto e, finalmente, (v) a seleção e adequação das estratégias de representação e prova adotadas para permitir o alcance dos resultados pretendidos. O resultado é um importante conjunto de bibliotecas cobrindo os principais resultados da teoria das linguagens livres de contexto, com mais de 500 lemas e teoremas totalmente provados e verificados. Esta é provavelmente a formalização mais abrangente da teoria clássica das linguagens livres de contexto jamais feita no assistente de provas Coq, e inclui o importante resultado que é a formalização do Lema do Bombeamento para linguagens livres de contexto. As perspectivas para novos desenvolvimentos a partir deste trabalho são diversas e podem ser agrupadas em três áreas diferentes: inclusão de novos dispositivos e resultados, extração de código e aprimoramentos gerais das suas bibliotecas.

This paper presents the results of a survey which aimed to investigate the mathematical basic knowledge present in contest exams for primary school teachers in Sergipe in the period of 1874 to 1924. To achieve this purpose, those tests were used as main sources, as well as decrees, laws, regulations, president messages of the State of Sergipe. Valente (2013); Chartier (1995), Julia (2001) and Chervel (1990) served as support for an understanding of the history of mathematics education and to an interpretation of the sources. As a result of that investigation, the exams types were identified as essay and resolution tests. It was included in those exams: Basic knowledge of integer operations; Broken and fractions; Reduction of fractions to decimals; Conversion capacity measures in Canadas and vice versa; Broken adding; The greatest common divisor; The least common multiple; GCD by decomposition; Decimal numbers; Decimal fraction; Decimal conversion into ordinary and vice versa; Theory and property of proportions; Proportional division and simple interest; Divisibility of prime numbers; Multiplying common fractions with four major cases; Numbers and figures; Surface measurements; Volume and length; Conversion capacity measures and length measures; Time and its multiples and submultiples; Rule of three; Numeric expressions with fractions; Repeating decimal composed. After identifying those contents in the exams and not identifying how they should have been dealt in the contest rules, decrees or programs, we chose to establish a possible relationship between what was identified in those exams and how they were addressed in written manuals by Antonio Trajano. Throughout the research methods, we could establish that candidates or members of the congregation who used to create the exams had this author as reference. This statement is based not only by the way the questions were designed as well as the way the candidates used to answer the exams proposed questions. It is possible to identify elements which connect knowledge of mathematical elementary manuals to resolutions of those tests for example, divisibility and prime numbers among themselves. A fact worth mentioning is that all these knowledge were not taken as a reference when choosing teachers for Primary Education. Finally, we can say that the mathematical basic knowledge present in those exams were closer to elementary arithmetical knowledge treated in primary education. / Neste trabalho é apresentado o resultado de uma pesquisa que teve por objetivo investigar sobre os saberes elementares matemáticos presentes em provas de concursos para professores primários em Sergipe no período de 1874 a 1924. Para atingir esse intento, foram utilizadas provas de concursos como fontes principais, além de decretos, leis, regulamentos, mensagens de presidentes do Estado de Sergipe. Valente (2013), Chartier (1995), Julia (2001) e Chervel (1990) serviram como suporte para uma compreensão sobre história da educação matemática e para uma interpretação das fontes. Como resultado da investigação, foram identificados os tipos de provas: dissertativas e de resolução. Abrangem saberes como: operações fundamentais de inteiros, quebrados e frações; Redução de frações a decimais; Conversão de medidas de capacidade em canadas e vice versa; Somar quebrados; Maior divisor comum; Mínimo múltiplo comum; Máximo divisor comum por decomposição; Numeração decimal, fração decimal; Conversão de fração decimal em ordinária e vice-versa; Teoria e propriedade das proporções; Divisão proporcional e Juros simples; Divisibilidade dos números- números primos; Multiplicação de frações ordinárias com quatro casos principais; Números e algarismos; Medidas de superfície, de volume e de comprimento; Conversão de medidas de capacidade e medidas de comprimento; Hora e seus múltiplos e submúltiplos; Regra de três; Expressões numéricas com frações; Dízima periódica composta. Depois da identificação desses saberes e de não identificarmos um detalhamento sobre como esses saberes deveriam ser tratados, nos regulamentos, decretos ou programas, optamos por estabelecer uma relação possível entre o que foi identificado nas provas e a forma como eles são abordados nos manuais de autoria de Antonio Trajano. A partir da investigação é possível afirmar que os candidatos ou os membros da congregação que elaboraram as provas tomaram os manuais desse autor como referência. Tal afirmativa é baseada tanto na forma como as questões foram elaboradas quanto na maneira de responder dos candidatos. É possível identificar elementos de aproximação com os saberes elementares matemáticos dos manuais em relação aos enunciados e resoluções como, por exemplo, divisibilidade e números primos entre si. Um fato que merece destaque é que todos esses saberes estão localizados na matéria/disciplina Aritmética, visto que, ao que tudo indica os saberes elementares geométricos não eram tomados como referência para a seleção dos professores para o ensino primário. Por fim, é possível afirmar que os saberes elementares matemáticos das questões das provas estão mais próximos dos saberes elementares aritméticos tratados no ensino primário.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-02-22T11:00:53Z No. of bitstreams: 2 Dissertação - Spiridon Nicofotis Anyfantis - 2004.pdf: 1754042 bytes, checksum: 3be2f4d514c73ade66e257c0e0b50294 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-02-22T13:17:29Z (GMT) No. of bitstreams: 2 Dissertação - Spiridon Nicofotis Anyfantis - 2004.pdf: 1754042 bytes, checksum: 3be2f4d514c73ade66e257c0e0b50294 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-02-22T13:17:29Z (GMT). No. of bitstreams: 2 Dissertação - Spiridon Nicofotis Anyfantis - 2004.pdf: 1754042 bytes, checksum: 3be2f4d514c73ade66e257c0e0b50294 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2004-03-02 / It concerns an essay about the evidences in the penal procedure and its way of production by means of image captation and recordings, whether by hidden cameras or safety ones. It´s composed of five chapters which analyses, respectively, the penal evidence in its particularities and afterwards, the theme of the illegal evidences making, inclusively, a counterpoint between proof illicitness and the proportionateness principle. It still studies the theme of exceptions to the theory of illegal proofs – named by argentinean and spanish exception of the exclusionary rule. They´re studied, briefly, intimacy aspects and individual private life, with subtle distinctions and similarities. Soon after it goes to an analyses regarding the original image recordings evidence – by ostensive cameras and hidden ones – and its use in the penal procedure, specially when used in work places, investigative journalism, private and public places among other circumstances. Finally, such images validity hypothesis are evaluated in the penal procedure and suggestions are presented in order to them, in case of being produced, and in very specific cases, can be effectively used in the process without violation to the intimacy and private life of the individual. / Trata-se de estudo sobre a prova no processo penal e sua forma de produção por meio de captação e gravação de imagens, seja por câmeras ocultas ou de segurança. É composto por cinco capítulos onde se analisam, respectivamente, a prova penal em suas particularidades e, em seguida, o tema das provas ilícitas, fazendo-se, inclusive, contraponto entre a ilicitude da prova e o princípio da proporcionalidade. É estudado, ainda, o tema das exceções à teoria das provas ilícitas – denominada pelos argentinos e espanhóis exceções à regra de exclusão probatória. São estudados, sucintamente, aspectos da intimidade e da vida privada do indivíduo, com suas sutis distinções e semelhanças. É analisada a questão das provas originárias de gravações de imagens – por câmeras ostensivas e ocultas - e sua utilização no processo penal, especialmente quando utilizadas em ambientes de trabalho, jornalismo investigativo, ambientes privados e públicos, dentre outras circunstâncias. São avaliadas as hipóteses de validade de tais imagens no processo penal e apresentadas sugestões para que as mesmas, caso produzidas, e em hipóteses muito específicas, possam ser efetivamente utilizadas no processo sem violação à intimidade e vida privada do indivíduo.

O Transtorno de Déficit de Atenção e Hiperatividade (TDAH) é um dos transtornos de maior prevalência na infância e adolescência. Pesquisas recentes demonstram que, ao menos do ponto de vista cognitivo, existem diferenças importantes no desenvolvimento de crianças com TDAH quando comparadas com crianças sem qualquer diagnóstico psiquiátrico. O presente trabalho pretende contribuir para o campo de pesquisa sobre o TDAH, buscando uma compreensão mais dinâmica deste transtorno, ultrapassando o nível descritivo dos sintomas, incorporando aspectos da Psicologia do Desenvolvimento. Acreditamos que a teoria de Piaget acerca do desenvolvimento psicológico, do processo de transição do estágio pré-operatório para o estágio operatório concreto de desenvolvimento, é um subsídio teórico importante para a compreensão deste transtorno, em especial a construção operatória da noção de tempo. A hipótese geral foi a de que crianças com TDAH apresentariam déficits no desenvolvimento de noções operatórias, como a conservação, reversibilidade e apreensão temporal. Foram entrevistadas 62 crianças, com idades entre 6 a 12 anos, subdividas em dois grupos: uma amostra clínica de crianças diagnosticadas com TDAH (n=32), e uma amostra de crianças sem diagnóstico (grupo controle, n=30). A amostra clínica foi também dividida entre crianças que faziam uso de metilfenidato, e crianças não medicadas, com o intuito de observar se a medicação exerceria alguma influência no desempenho das crianças em provas piagetianas. Para a composição dos grupos, foi utilizada a K-SADS-PL, elaborada segundo os critérios do DSM-IV. Com o objetivo de avaliar os níveis de desatenção e hiperatividade, os pais e/ou responsáveis responderam a dois questionários: a versão abreviada do questionário de Conners, e o Inventário dos Comportamentos de Crianças e Adolescentes entre 6 e 18 anos (CBCL). Tendo como referência a entrevista clínica de Piaget, foram aplicadas as seguintes provas piagetianas: Conservação das quantidades discretas; Mudança de critério dicotomia; as provas de Sucessão dos Acontecimentos Percebidos e da Simultaneidade, e O tempo da ação própria e a duração interior. Os resultados demonstram haver diferença estatisticamente significativa entre o desempenho das crianças dos diferentes grupos, para as provas piagetianas como um todo (p < 0,001), e, quando analisadas separadamente, para as provas de Conservação de Quantidades Discretas (p = 0,003), Simultaneidade (p = 0,004), e O tempo da ação própria e a duração interior (p < 0,001). Crianças com TDAH apresentaram uma tendência a terem suas respostas classificadas em níveis inferiores ao esperado, quando comparadas ao grupo controle. Em relação ao uso do metilfenidato na amostra clínica, não foi observada diferença significativa entre os grupos. Apesar importante no tratamento, o metilfenidato não demonstrou ser suficiente para potencializar o desenvolvimento cognitivo de crianças com TDAH, superando os déficits observados. Esses achados corroboram a hipótese de déficit na aquisição das noções operatórias em crianças com TDAH. Assim, são necessárias novas reflexões a respeito do TDAH, considerando alternativas de intervenções que considerem os déficits observados, ultrapassando o tratamento medicamentoso. / Attention Deficit Hyperactivity Disorder (ADHD) is one of the most prevalent disorders in childhood and adolescence. Recent research shows that, at least from a cognitive level, there are important differences in the development of children with ADHD when compared with children without any psychiatric diagnosis. This work aims to contribute to the field of research on ADHD, seeking a more dynamic understanding of this disorder, surpassing the descriptive level of symptoms, incorporating aspects of Developmental Psychology. We believe that Piaget´s theory about the psychological development, the process of transition from pre-operative stage to concrete operative stage of development, is important for the theoretical understanding of this disorder, especially the construction of the operative notion of time. The general hypothesis was that children with ADHD present deficits in the development of operational concepts, such as conservation, reversibility and temporal seizure. Sixty two children, aged 6 to 12 years, were interviewed, and subdivided into two groups: a clinical sample of children diagnosed with ADHD (n = 32) and a sample composed by children without diagnosis (control group, n = 30). The clinical sample was divided between children who made use of methylphenidate, and children non-medicated, in order to see if the medication did some influence on the children´s performance in piagetian tasks. For the composition of groups, the K-SADS-PL was utilized, prepared according to the DSM-IV criteria. To assess the levels of inattention and hyperactivity, the parents and / or guardians answered two questionnaires: Conners´ Abbreviated Parents Rating Scale, and the Child Behavior Checklist (CBCL). According to the Piaget´s clinical interview, the following tasks were applied: Conservation of discrete quantities; Change of criteria - dichotomy; the tasks Succession of Events Perceived; Simultaneity, and The time of the action and the internal duration. Results show statistically significant differences between the performance of children from different groups, for piagetians tasks as a whole (p <0001) and, when analyzed separately, for the tasks Conservation of Discrete Quantities (p = 0003), Simultaneity, (p = 0004), and The time of the action and the internal duration. (p <0001). Children with ADHD showed a tendency to take their responses classified at levels lower than expected when compared to the control group. Regarding the use of methylphenidate in the clinical sample, there was no significant difference between groups. Although necessary of treatment, methylphenidate has not be sufficient to enhance the cognitive development of children with ADHD, overcoming the deficits observed. These findings support the hypothesis of deficits in the acquisition of concepts operative in children with ADHD. This calls for new thinking about the ADHD, considering alternatives for interventions that consider the deficits observed, surpassing the drug treatment.