Made available in DSpace on 2016-04-27T16:32:28Z (GMT). No. of bitstreams: 1 Simone de Almeida.pdf: 1792711 bytes, checksum: 68b339084f3949c5cf20d7cba01fd9ad (MD5) Previous issue date: 2011-03-30 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This work started from the inquiry about the mechanisms of effective participation and/or presence of families inside the school. The choice of the research object was due to the professional existence related to the partnership among the institutions and, on the other hand, to the mutual responsibility for the child/student s development. The main objective of this work was to investigate how and whether the participation of parents/relatives occurs at school or not, especially in the last grades of Primary School, which consist of the grades from 6th to 9th (previously called 5th to 8th grades), approaching the participation/presence in both public and private schools. This research was accomplished in a state public school (taking into consideration that the city public schools analyzed principally attend the initial grades of the Primary School) and a private school, both located in the city of Mogi das Cruzes, in the state of São Paulo. The schools were chosen taking as an important criterion the existence of classrooms from the last grades of Primary School and because they were schools belonging to neighborhoods, whose public mainly consisted of the surrounding neighbors who, therefore, would have more conditions to establish an affective relationship with the community. The data analysis was accomplished taking into account the theoretical references by some authors from the Social Sciences, considering Dubet s concepts of social experience and logics of action and Lahire s, Thin s and Vincent s concept of school form. To collect the data, we interviewed eight teachers, two representatives of the director team and nine students parents/relatives. We also conducted non-participant observations within the school environment, in situations with the families, as well as we proceeded to the analysis of documents (Director Plan, regarding both the public and private schools, and the specific legislation). According to the results obtained and considering the different realities investigated in this work, it is possible to point out some tendencies in the relationships established between the families and the schools, which suggest that, although the raised hypothesis lead to essentially strategic actions considering the private school, and actions designed by the subjectivizing logic, considering the public school, the construction of the social experience of the relationships happens by means of the heterogeneity of the cultural and social principles that organize the representatives behavior in both socialization institutions / Esta pesquisa partiu do questionamento sobre os mecanismos de efetiva participação e/ou presença das famílias na escola. A escolha pelo objeto de pesquisa foi decorrente das vivências profissionais relacionadas à tão aclamada parceria entre as instituições e, por outro lado, à responsabilização mútua pelo desenvolvimento dos filhos/alunos. O objetivo central do trabalho foi investigar como e se ocorre a participação dos pais/ familiares na escola, sobretudo no Ensino Fundamental II, que compreende as turmas de 6º a 9º ano (5ª à 8ª séries), abordando tanto a participação/presença em escola pública, quanto em escola da rede privada. A pesquisa foi realizada em uma escola pública estadual (tendo em vista que a rede de ensino municipal em questão atende majoritariamente o ciclo I ou séries iniciais do ensino fundamental) e uma escola privada, ambas localizadas na cidade de Mogi das Cruzes- SP. As escolas foram escolhidas tomando como critério fundamental a existência de turmas de ensino fundamental II e o fato de serem escolas de bairro, que atendem primordialmente os moradores dos arredores e que, portanto, teriam mais condições de estabelecer uma relação efetiva com a comunidade. A análise dos dados realizou-se à luz de referencial teórico de autores das Ciências Sociais, em especial com os conceitos de experiência social e lógicas de ação de F. Dubet e o conceito de forma escolar desenvolvido por Lahire, Thin e Vincent. Para coleta de dados foram realizadas entrevistas com oito professores, dois representantes da equipe de gestores e nove pais/familiares de alunos. Foram também realizadas observações não-participantes nos ambientes escolares, em situações de relação com as famílias, bem como procedeu-se à análise de documentos (Plano de Gestão, no caso da escola pública, Plano Diretor, no caso da escola da rede privada e legislação específica). De acordo com os resultados obtidos e tendo em vista as diferentes realidades investigadas neste trabalho, é possível vislumbrar algumas tendências nas relações estabelecidas entre as famílias e as escolas, as quais sugerem que, embora a hipótese levantada aponte para ações fundamentalmente estratégicas, no caso da escola privada, e ações delineadas pela lógica da subjetivação, no caso da escola pública, a construção da experiência social das relações se faz por meio da heterogeneidade dos princípios culturais e sociais que organizam as condutas dos representantes de ambas as instituições socializadoras

Made available in DSpace on 2016-04-25T20:20:16Z (GMT). No. of bitstreams: 1 Andre Luiz da Silva.pdf: 3705733 bytes, checksum: 52b572c932cddce4aec507bb8d1e13be (MD5) Previous issue date: 2011-05-27 / Universidade de Taubaté / This text examines the action of popular masters of devotional groups called moçambique and congada which exist in Vale do Paraíba, state of São Paulo. Their action has been under certain changes in the scope of recently adopted public policies on culture and the growth of the regional market for tourism and entertainment, which directly bear upon the groups led by such masters. These circumstances demand tactics in order to intercede in a plurality of domains which imply different logic of action. They show how cultural policies, the celebration of diversity and the search for cultural gratitude of popular actors affect cultural mediations which take place among groups of traditional popular culture in the region. It is argued that masters use tactics to access and leave the new domains of action in order to seize them, thus escaping new restrictions and alternatives and becoming actors of a contemporary cultural production in its hybrid characteristics, both plural and ambivalent. This imparts the analysis of the result and the appropriation of public policies from the popular producer's point of view. There is an attempt to understand the strategies of popular masters and how they deal with mediators of the popular cultural production sphere. The approach of this investigation is the ethnographic interpretation of the interests and strategies of the actors under study, with the help of other disciplines, mainly sociology. The analysis tries to specify how the actors built their relations between their concrete devotional practices, the local culture and the global processes of ressignification of culture. Through an empirical survey situations which could show the relations between different worlds of action were registered. Two interviews were carried out with each of the selected seven masters. Many moments of informal conversation improved information and the triangulation with documents made possible a strengthening on the quality of collected data. It may therefore be inferred that the context in which the groups were generated and the pressure of present circumstances occur in directing the changes of meanings and practices in the production of traditional popular culture in this region. Tradition, which until then was restrained to the interior of the popular-catholic devotional sphere, has been increasing evermore its universe of influence and adherence. This steady increase results from the prizing of traditional popular culture within the scope of re-emerging public policies turned to popular culture and the use of traditional goods and the legitimacy provided by the appropriation of the industry of tourism and mass media / Este trabalho examina a ação de mestres populares dos grupos devocionais nomeados moçambique e congada localizados no Vale do Paraíba paulista. Esta ação vem sofrendo modificações dentro do contexto das novas políticas públicas de cultura implementadas e do incremento do mercado regional de turismo e entretenimento, que afetam os grupos liderados por tais mestres. Estas circunstâncias exigem táticas para agir em uma pluralidade de domínios que supõem distintas lógicas de ação. Mostram como as políticas culturais, a celebração da diversidade e a busca de reconhecimento cultural dos atores populares influenciam as mediações culturais que ocorrem nos grupos de cultura popular tradicional da região. Argumenta-se que os mestres utilizam táticas para entrar e sair dos novos domínios de ação, para se apropriar e escapar de novas injunções e recursos, tornando-se atores de uma produção cultural contemporânea em suas características híbridas, plurais e ambivalentes. Isto contribui com a análise do resultado e da apropriação das políticas públicas do ponto de vista dos realizadores populares. Procura-se entender quais são as estratégias dos mestres populares e como se relacionam com os intermediários do setor da produção cultural popular. A abordagem da pesquisa é a interpretação etnográfica dos interesses e estratégias dos atores estudados, com o auxílio de outras disciplinas, especialmente o da sociologia. A análise procura explicitar como os atores elaboraram as relações entre suas práticas devocionais concretas, a cultura local e os processos globais de ressignificação da cultura. Por meio do levantamento empírico, registraram-se as situações que podiam mostrar as relações entre distintos mundos de ação. Foram realizadas duas entrevistas com cada um dos sete mestres selecionados. Muitos momentos de conversas informais complementaram as informações e a triangulação com documentos possibilitou um reforço na qualidade das informações levantadas. Conclui-se que o contexto de engendramento dos grupos e a pressão das circunstâncias presentes agem no direcionamento das mudanças dos significados e das práticas de produção de cultura popular tradicional na região. A tradição, que, até então, tinha circulação restrita no interior do campo devocional católico-popular, vem ampliando cada vez mais seu universo de influência e adesão. Tal ampliação decorre da valorização da cultura popular tradicional no âmbito das re-emergentes políticas públicas voltadas para a cultura popular e do consumo de bens tradicionais e de autenticidade propiciado pela apropriação da indústria do turismo e da comunicação de massa

Made available in DSpace on 2016-04-26T14:53:05Z (GMT). No. of bitstreams: 1 Andre Luiz da Silva.pdf: 3705733 bytes, checksum: 52b572c932cddce4aec507bb8d1e13be (MD5) Previous issue date: 2011-05-27 / Universidade de Taubaté / This text examines the action of popular masters of devotional groups called moçambique and congada which exist in Vale do Paraíba, state of São Paulo. Their action has been under certain changes in the scope of recently adopted public policies on culture and the growth of the regional market for tourism and entertainment, which directly bear upon the groups led by such masters. These circumstances demand tactics in order to intercede in a plurality of domains which imply different logic of action. They show how cultural policies, the celebration of diversity and the search for cultural gratitude of popular actors affect cultural mediations which take place among groups of traditional popular culture in the region. It is argued that masters use tactics to access and leave the new domains of action in order to seize them, thus escaping new restrictions and alternatives and becoming actors of a contemporary cultural production in its hybrid characteristics, both plural and ambivalent. This imparts the analysis of the result and the appropriation of public policies from the popular producer's point of view. There is an attempt to understand the strategies of popular masters and how they deal with mediators of the popular cultural production sphere. The approach of this investigation is the ethnographic interpretation of the interests and strategies of the actors under study, with the help of other disciplines, mainly sociology. The analysis tries to specify how the actors built their relations between their concrete devotional practices, the local culture and the global processes of ressignification of culture. Through an empirical survey situations which could show the relations between different worlds of action were registered. Two interviews were carried out with each of the selected seven masters. Many moments of informal conversation improved information and the triangulation with documents made possible a strengthening on the quality of collected data. It may therefore be inferred that the context in which the groups were generated and the pressure of present circumstances occur in directing the changes of meanings and practices in the production of traditional popular culture in this region. Tradition, which until then was restrained to the interior of the popular-catholic devotional sphere, has been increasing evermore its universe of influence and adherence. This steady increase results from the prizing of traditional popular culture within the scope of re-emerging public policies turned to popular culture and the use of traditional goods and the legitimacy provided by the appropriation of the industry of tourism and mass media / Este trabalho examina a ação de mestres populares dos grupos devocionais nomeados moçambique e congada localizados no Vale do Paraíba paulista. Esta ação vem sofrendo modificações dentro do contexto das novas políticas públicas de cultura implementadas e do incremento do mercado regional de turismo e entretenimento, que afetam os grupos liderados por tais mestres. Estas circunstâncias exigem táticas para agir em uma pluralidade de domínios que supõem distintas lógicas de ação. Mostram como as políticas culturais, a celebração da diversidade e a busca de reconhecimento cultural dos atores populares influenciam as mediações culturais que ocorrem nos grupos de cultura popular tradicional da região. Argumenta-se que os mestres utilizam táticas para entrar e sair dos novos domínios de ação, para se apropriar e escapar de novas injunções e recursos, tornando-se atores de uma produção cultural contemporânea em suas características híbridas, plurais e ambivalentes. Isto contribui com a análise do resultado e da apropriação das políticas públicas do ponto de vista dos realizadores populares. Procura-se entender quais são as estratégias dos mestres populares e como se relacionam com os intermediários do setor da produção cultural popular. A abordagem da pesquisa é a interpretação etnográfica dos interesses e estratégias dos atores estudados, com o auxílio de outras disciplinas, especialmente o da sociologia. A análise procura explicitar como os atores elaboraram as relações entre suas práticas devocionais concretas, a cultura local e os processos globais de ressignificação da cultura. Por meio do levantamento empírico, registraram-se as situações que podiam mostrar as relações entre distintos mundos de ação. Foram realizadas duas entrevistas com cada um dos sete mestres selecionados. Muitos momentos de conversas informais complementaram as informações e a triangulação com documentos possibilitou um reforço na qualidade das informações levantadas. Conclui-se que o contexto de engendramento dos grupos e a pressão das circunstâncias presentes agem no direcionamento das mudanças dos significados e das práticas de produção de cultura popular tradicional na região. A tradição, que, até então, tinha circulação restrita no interior do campo devocional católico-popular, vem ampliando cada vez mais seu universo de influência e adesão. Tal ampliação decorre da valorização da cultura popular tradicional no âmbito das re-emergentes políticas públicas voltadas para a cultura popular e do consumo de bens tradicionais e de autenticidade propiciado pela apropriação da indústria do turismo e da comunicação de massa

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Nesta tese são discutidos alguns aspectos importantes no desenvolvimento de sistemas fotovoltaicos moleculares. São abordados temas de interesse como a síntese de novos sensibilizadores para células solares sensibilizadas por corante, o desenvolvimento de novos materiais fotoativos, Química Supramolecular, bem como a aplicação de sistemas fotovoltaicos em eletrônica molecular, especificamente no desenvolvimento de portas lógicas moleculares e dispositivos de memória. A porfirina TBPyP, contendo quatro ligantes 2,2\'-bipiridina ligados covalentemente aos carbonos meso do anel porfirínico, foi sintetizada. Este derivado porfirínico serviu como bloco de construção de sistemas supramoleculares. A utilização desses sistemas como sensibilizadores em células solares (células de Grätzel) é discutido. Fios moleculares derivados da TBPyP foram obtidos via coordenação com íons de metais de transição e são investigados quanto à possibilidade de utilização em eletrônica molecular. Novos sistemas fotovoltaicos multicamada, utilizando filmes de porfirina depositados por evaporação a vácuo como elementos fotoativos e filmes de V2O5 como eletrodo passivo, foram estudados quanto a sua eficiência e quanto ao seu mecanismo de funcionamento. Os filmes finos de porfirina obtidos neste estudo foram testados como elelementos fotoativos em células fotovoltaicas com diferentes configurações, além daquelas utilizando filmes de V2O5. A obtenção de filmes híbridos compostos de nanopartículas de ouro e ligantes orgânicos foi desenvolvida e sua aplicação em sistemas fotovoltaicos bem como em dispositivos de memória investigada. Novas portas lógicas moleculares foram obtidas utilizando-se o arranjo de células de Grätzel convencionais sensibilizadas por clusteres trigonais de rutênio sintetizados para este fim. Seu princípio de funcionamento é discutido, bem como a seu potencial de integração em circuitos lógicos. / In this thesis some aspects concerning the development of molecular photovoltaic systems are discussed. Themes of current interest such as the synthesis of new sensitizers for dye-sensitized solar cells, the development of new photoactive materials, and Supramolecular Chemistry are treated, as well as the application of photovoltaic systems in molecular electronics, specifically in the development of molecular logic gates and memory devices. The porphyrin TBPyP, comprised of four 2,2\'-bipyridine ligands covalently linked to the porphyrin meso carbons, was synthesized. This porphyrin derivative was used as a building block on supramolecular systems. The utilization of these supramolecular species in solar cells (Grätzel cells) is discussed. The coordination of the porphyrin TBPyP with transition metal ions gave rise to molecular wires, which are investigated about its potential use in molecular electronics. New multilayer photovoltaic systems, using thermo-evaporated porphyrin films as photoactive elements and V2O5 films as passive electrodes, had their efficiency and mechanism studied. The confection of hybrid films comprised of gold nanoparticles and organic ligands was developed and its application in photovoltaic systems, as well as in memory devices, was investigated. New molecular logic gates were realized using the a Grätzel cell in its conventional configuration, sensitized by ruthenium trigonal clusters synthesized to this end.

As Lógicas de Descrição são usadas como base para a linguagem OWL, padrão para representação de ontologias na web. No entanto, conhecimento não é estático e, com tal dinamismo, o estudo de revisão de crenças e sua correta e adequada aplicação tornam-se muito importantes. Neste trabalho, pretendemos desenvolver uma ferramenta para revisão de ontologias como um plug-in para o Protégé, o editor de ontologias mais utilizado atualmente. / Description Logics are the basis for OWL language, which is the standard to represent ontologies on the web. However, knowledge is usually not satic and its dynamics brings the importance of belief revision and its correct and proper application. In this work, we intend to develop a tool for revising ontologies as a plug-in for Protégé, the most used ontology editor nowadays.

A sanitização de dados é um dos desafios que está em aberto quando tange a segurança de dados nos discos rígidos. Há duas formas de realizar este procedimento de sanitização de dados nos discos rígidos. A primeira é a utilização de técnicas físicas que visam à destruição do disco rígido por completo. A segunda é a utilização de técnicas lógicas que visam realizar a sanitização dos dados armazenados no disco, permitindo que este seja reutilizado. A proposta principal deste trabalho é a de verificar por meio da técnica de Microscopia de Força Magnética (MFM) a possibilidade de recuperação dos dados originais após o processo de sanitização ter ocorrido por meio de uma técnica lógica. Com este objetivo foram selecionadas oito técnicas lógicas (Gutmann, VSITR, RCMP TSSIP OPS-II, CSEC ITSG-06, DoD 5220.22-M, AR 280-19, GOST R 50739-95 e ISM 6.9.92), após esta seleção foi realizada uma avaliação lógica dessas técnicas com o intuito de selecionar duas técnicas para a avaliação experimental. Para realizar a avaliação experimental foram utilizados dois microscópios (Dimension Icon e o MultiMode 8) para aplicar a técnica de MFM em disco rígido. O objetivo foi comprovar a eficiência das técnicas lógicas na sanitização de dados armazenados nos discos rígidos. / Data sanitization is one of the challenges you face when it comes to data security on hard disk. There are two ways to perform this data sanitization procedure on hard disks. The first one is the deployment of physical techniques aimed at destroying the hard drive altogether. The second one is the use of logical techniques that aim to sanitize the data stored on the disk, allowing it to be used again. The main purpose of this work is to verify through the Magnetic Force Microscopy technique (MFM) the possibility of recovering of the original data after the sanitization process has occurred through of a logical technique. To this purpose, eight logics (Gutmann, VSITR, RCMP TSSIP OPS-II, CSEC ITSG-06, DoD 5220.22-M, AR 280-19, GOST R 50739-95 and ISM 6.9.92) were selected. After this selection, a logical evaluation of these techniques was carried out for selecting two techniques for the experimental evaluation. To perform the experimental evaluation, two microscopes (Dimension Icon and MultiMode 8) were used to apply the MFM technique to the hard disk. The objective was to verify the efficiency of the logical techniques in the sanitization of data stored in the hard disks.

El objetivo de esta tesis es proponer mejoras en modelos existentes de razonamiento espacial cualitativo con relaciones cardinales, y proponer nuevos modelos y técnicas de razonamiento utilizando algunos resultados previos del razonamiento temporal cualitativo. Los modelos propuestos se basan en dos formalismos muy utilizados para razonamiento cualitativo: los Problemas de Satisfacción de Restricciones y las Lógicas Modales. / The main goal of this PhD Thesis is to propose improvements to existing models for qualitative spatial reasoning with cardinal direction relations, and to propose new models and reasoning techniques using some previous results from qualitative temporal reasoning. The proposed models are based on two widely used formalisms for Qualitative Reasoning: Constraint Satisfaction Problems and Modal Logics.

We present the theory of orbital angular momentum of light (MAO), based on the basic concepts of electromagnetism, as well as some techniques from generation and characterization of light beams possessing MAO. We also present non-linear optical processes of parametric conversion spontaneous descendant (CPD) and stimulated (CPDE). We reviewed the problem of conservation of MAO in CPD in the scheme does not collinear, describing States of using Laguerre-Gauss beams MAO. We extend this study to the case in which Bessel beams are used to describe the States of MAO. Our results show that rape occurs on conservation law of MAO, which is attributed to deformation of the angular spectrum of beam pumping (pump) transferred to the twin photons. However, this violation can be advantageous because through breach of MAO have access to entangled States of dimension greater than those generated with collinear geometry. As an alternative to the note of the violation of the law of conservation in parametric down conversion process we proposed an experiment based on CPDE, where the experimental implementation is simpler. Using MAO as target and polarization qubit as qubit control, we experimentally a alternative to optical circuit proposal for Li-Ping et al. [16] for the implementation of the logic gate C-NOT. Also we present an application of logic gate C-NOT for the generation of entangled States of a single photon, which can be implemented with our optical circuit. The generation of entangled States, multidimensional, and the implementation quantum logic gates are important for the areas of information and quantum computation. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Apresentamos a teoria do momento angular orbital da luz (MAO), baseada nos conceitos básicos do eletromagnetismo, bem como algumas técnicas de geração e caracterização de feixes de luz possuindo MAO. Apresentamos também os processos ópticos não lineares de conversão paramétrica descendente espontânea (CPD) e estimulada (CPDE). Revisamos o problema da conservação do MAO na CPD no regime não colinear, descrevendo os estados de MAO utilizando feixes Laguerre-Gauss. Extendemos este estudo para o caso em que feixes Bessel são usados para descrever os estados de MAO. Nossos resultados mostram que ocorre violação na lei de conservação do MAO, que é atribuída a deformação do espectro angular do feixe de bombeamento (pump) transferido para os fótons gêmeos. Entretanto, esta violação pode ser vantajosa, pois através da violação do MAO conseguimos ter acesso a estados emaranhados de dimensão maior do que aqueles gerados com geometria colinear. Como alternativa para a observação da violação da lei de conservação no processo de conversão paramétrica descendente, propusemos um experimento baseado na CPDE, onde a realização experimental é mais simples. Utilizando o MAO como qubit alvo e a polarização como qubit controle, realizamos experimentalmente um circuito ótico alternativo à proposta de Li-Ping e colaboradores [16] para a implementação da porta lógica C-NOT. Também apresentamos uma aplicação da porta lógica C-NOT para a geração de estados emaranhados de um único fóton, que pode ser implementada com nosso circuito ótico. A geração de estados emaranhados multidimensionais e a implementaçãode portas lógicas quânticas são importantes para as áreas de informação e computação quântica.

Orientador: Prof. Dr. Vinícius Cifú Lopes / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2015. / Iniciamos esse trabalho com uma breve introdução histórica para que o leitor tenha uma noção de quando e por que houve interesse em sistematizar os raciocínios lógicos desde Aristóteles até nossos dias. A seguir, apresentamos noções de linguagens, com seus símbolos e regras de formação, sintaxe dos cálculos proposicional e de predicados, funções e operações envolvendo o cálculo de predicados e aplicações (fórmulas matemáticas bem conhecidas). No terceiro capítulo introduzimos o conceito de semântica e apresentamos alguns procedimentos de prova como as tabelas-verdade, tableaux e dedução natural envolvidos nesses sistemas. No quarto capítulo apresentamos a Lógica Modal Alética, demonstrações de teoremas do sistema S5, semântica relacionada com mundos possíveis. Em seguida, apresentamos noções de lógicas modais não aléticas e no sexto capítulo, finalizamos esse trabalho com uma atividade que pode ser aplicada para alunos no Ensino Médio. / We begin this work with a brief historical introduction to when and why there was interest in systematizing logical reasoning since Aristotle until our days. Next, we introduce notions of languages, with its symbols and forming rules, the syntax of propositional and predicate calculi, functions and operations involving the predicate calculus and applications (well known mathematical formulas). In the third chapter we introduce the concept of semantics and present some proof procedures as truth tables, tableaux and natural deduction involved in these systems. In the fourth chapter we present alethic Modal logic, proofs of theorems of the S5 system, and the semantics related to possible worlds. Then, we present notions of non-alethic modal logics. In the sixth chapter, we conclude with an activity that can be applied to high school students.