FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Esta dissertaÃÃo constitui pesquisa de cunho bibliogrÃfico, cujo objetivo foi de uma discussÃo teÃrica em Freud e Lacan sobre o que caracteriza a transmissÃo da PsicanÃlise na universidade e, consequentemente, contextualizar como o psicanalista contribui com o ensino da teoria psicanalÃtica na academia brasileira, especificamente nos cursos de graduaÃÃo em Psicologia. Este trabalho trata das questÃes relacionadas à transmissÃo da PsicanÃlise nos cursos de Psicologia e na supervisÃo clÃnica. Nesta perspectiva de trabalho, acredita-se que possa haver a formulaÃÃo de um saber em que o psicanalista no manejo da transferÃncia, estabeleÃa uma subversÃo dos discursos presentes no Ãmbito da universidade (discurso do mestre, da histÃrica, do analista e do universitÃrio), advertido de seu lugar de semblante de quem âtudo sabeâ e da falta no outro / Outro. Para isso, aponta que a transmissÃo a ser realizada na supervisÃo clÃnica seja semelhante à transmissÃo de um saber ânÃo-todoâ mediante o dispositivo do ensinante proposto por Lacan no ensino na Ãcole Freudienne de Paris (EFP). Para isso, entÃo retoma alguns momentos importantes que refletem os impasses de Freud quanto à inserÃÃo da PsicanÃlise na universidade e os mal-entendidos surgidos sobre o lugar de formaÃÃo do psicanalista discutidos pelo grande mestre em determinados textos. Faz um percurso sobre as influÃncias teÃricas que influenciaram tanto Freud quanto Lacan e o que representou para cada um a possibilidade de transmissÃo psicanalÃtica dentro e fora das instituiÃÃes de PsicanÃlise, como na universidade. Descreve como Lacan avanÃou na teoria, no que diz respeito ao ensino, resultado de seu retorno à obra freudiana favorecendo a elaboraÃÃo da teoria dos quatro discursos e, posteriormente, o manejo do dispositivo do ensinante pelo psicanalista / supervisor na supervisÃo por intermÃdio do discurso da histÃrica. / This dissertation is a bibliography-based study, which aims at promoting a theoretical arguing between Freud and Lacan on how Psychoanalysis is taught at the University. As consequence, the study provides a context of Psychoanalytic theory teaching in Brazilian academy, specifically in Psychology graduation courses. The research approaches to issues on psychoanalysis teaching in Psychology courses and within clinical supervision. In such perspective, there can be the formulation of a knowledge based on which psychoanalyst can establish a subversion of University discourses (studentâs, professorâs, hystericsâ, analystâs), being aware of his/her semblance of someone who knows everything and conscientious of the Otherâs absence. For that, the research highlights that knowledge transmission carried out within clinical supervision should be similar to the transmission of a ânot allâ knowledge, by means of Lacanâs âteacherâ device for Ecole Freudienne de Paris (EFP). Nonetheless, the study retakes some important periods that reflect Freudâs irresoluteness in the concerning to Psychoanalysis insertion at academic environment, and to the misunderstandings raised on the right place to psychoanalystâs instruction, which Freud argued in some texts. It provides the thread of theoretical bases that influenced both Freud and Lacan, and what the possibility for psychoanalytic transmission inside and out Psychoanalysis institutions, as well as at the University, represented for each of them. It describes how Lacan advanced within theory in the related to teaching, as a result of his return to Freudian work, which triggered the Four Discourses Theory elaboration and, later, it made possible to handle âteacherâ device by psychoanalyst during teaching, using hystericsâ discourse.

Esta tese tem como objetivo central investigar as formas que o discurso sobre a Educação Inclusiva assume na contemporaneidade e os efeitos desse discurso para a subjetividade das crianças, pais e profissionais da escola. Para isso, realizamos inicialmente um levantamento bibliográfico acerca da inclusão escolar, apresentando as origens desse movimento, os principais marcos legais que organizam o campo e as perspectivas teórico-críticas atuais. Em seguida, analisamos a emergência da temática da diferença na educação e apresentamos a abordagem psicanalítica da diferença e sua função na constituição do sujeito a partir das obras de Freud e Lacan. A partir da psicanálise, propomos uma articulação entre ética e inclusão, destacando o alinhamento do discurso sobre a educação inclusiva com os fundamentos éticos e morais previamente apresentados. Nosso referencial teórico-metodológico é a psicanálise de orientação lacaniana, em especial o instrumento dos quatro discursos formalizado por Lacan no Seminário 17: O avesso da psicanálise. O corpus de nossa pesquisa é composto por fragmentos discursivos oriundos de duas fontes: do atendimento de um grupo de profissionais que trabalham com educação inclusiva, cuja escuta é realizada pela pesquisadora no Serviço de Psicologia Escolar do Instituto de Psicologia da Universidade de São Paulo e do material veiculado pelo Fórum Permanente de Educação Inclusiva. Os resultados foram reunidos em torno dos seguintes temas: a deficiência como metonímia do sujeito, a dimensão da técnica e a lógica da especialização, o discurso do capitalista e seus efeitos para a inclusão escolar, a construção do ideal e a escola. Ao final, apresentamos as contribuições que a noção de ética em psicanálise pode trazer para a educação inclusiva. / This research aims to investigate the central ways in which the discourse on Inclusive Education assumes in contemporary times and the effects of this discourse on the subjectivity of children, parents and school professionals. In order to accomplish this goal, we first review the literature concerning Inclusive Education, showing the origins of this movement, the main legal frameworks that organize this subject and the current theoretical perspectives. We then analyze the emergence of the theme of the difference in education, and present the psychoanalytic approach of difference and its role in the constitution of the subject based on the works of Freud and Lacan. Using psychoanalysis, we propose a link between ethics and inclusion, highlighting the alignment of the discourse on Inclusive Education with the ethical and moral foundations previously presented. Our theoretical and methodological framework is the Lacanian psychoanalysis, particularly the instrument of four discourses formalized by Lacan in Seminar, Book 17: the other side of psychoanalysis. The corpus of our research consists of discursive fragments from two sources: the care of a group of professionals working in Inclusive Education, whose listening were conducted by the researcher in the Department of Educational Psychology at the Institute of Psychology of the University of São Paulo, and material disseminated by the Permanent Forum on Inclusive Education. The results were gathered around the following themes: disability as metonymy of the subject, the extent of technical expertise and the logic of the specialization, the capitalist discourse and its effects on school enrollment, and the foundation of the ideal and the school. At the end, we present the contributions that the notion of ethics in psychoanalysis can bring to Inclusive Education.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2017-02-24T15:41:49Z No. of bitstreams: 1 leandromatosriani.pdf: 1003631 bytes, checksum: f252cd6ec851c2cb8adc2e0581c01c02 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-06T19:27:12Z (GMT) No. of bitstreams: 1 leandromatosriani.pdf: 1003631 bytes, checksum: f252cd6ec851c2cb8adc2e0581c01c02 (MD5) / Made available in DSpace on 2017-03-06T19:27:12Z (GMT). No. of bitstreams: 1 leandromatosriani.pdf: 1003631 bytes, checksum: f252cd6ec851c2cb8adc2e0581c01c02 (MD5) Previous issue date: 2017-08-08 / Na maioria das metodologias de fluxo de potência e análise de faltas, os efeitos dos cabos neutros e dos aterramentos do sistema são negligenciados ou incorporados nas fases, através da redução de Kron. Desta forma, as correntes e tensões de neutros e aterramentos permanecem desconhecidas, limitando a análise. Neste trabalho é apresentada uma formulação para o cálculo de defeitos em coordenadas de fase através da modelagem completa do sistema trifásico a quatro condutores, com representação explícita do condutor de neutro e das impedâncias de aterramento do sistema. Os desequilíbrios da rede e da carga, impedâncias mútuas, gerações dispersas, transformadores com suas mais variadas conexões e formas de aterramento também são considerados na modelagem. Adicionalmente, as cargas podem ser representadas durante o defeito como potência constante, corrente constante, impedância constante, ou ainda qualquer combinação entre estes modelos. A metodologia de solução é baseada na técnica do fluxo de potência continuado, onde as impedâncias que representam o defeito são os parâmetros de continuação. A formulação é de uso geral podendo ser utilizada na solução de qualquer tipo de defeito em sistemas de transmissão, subtransmissão, distribuição e industriais. Foram aplicadas diversas faltas, simples e simultâneas, em sistemas didáticos, sistemas teste do IEEE, e em sistemas elétricos reais, onde se constatou a eficiência da metodologia proposta para análise de defeitos, destacando-se os estudos de afundamento de tensão. / The effects of neutral wires and system grounding in most power flow and fault analysis methodologies are neglected or merged into phases using Kron’s reduction method. Thus, the neutral wire and ground currents and voltages remain unknown, restricting the analysis. This work presents a new formulation for fault analysis in the phase domain using three-phase, four-wire modeling, in which the neutral wires and grounding impedances explicitly represented. Unbalanced systems and loads, mutual impedances, dispersed generation, transformers with the most varied forms of grounding and connections are also represented in modeling. In additional, the loads can be represented as constant power, constant current, constant impedance or any combination among these models during the fault analysis. The solution methodology is based on the continuation power flow technique, where the fault impedances are continuation parameters. The proposed algorithm is of general usage and can be used to solve any kind of fault in transmission, subtransmissão, distribution and industrial systems. Several faults, simple and simultaneous, were conduct in academicals systems, IEEE distribution test feeders and real power systems. Simulation results show the efficiency of the proposed methodology for fault analysis, highlighting voltage sag studies.

Made available in DSpace on 2014-06-12T18:05:17Z (GMT). No. of bitstreams: 2 arquivo586_1.pdf: 964744 bytes, checksum: 8e8c2ad59ecc41635a23725c07ee9ffb (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A interação entre a luz e a matéria pode dar origem a interessantes fenômenos não lineares. Entre eles, o processo da mistura de quatro ondas (MQO), que corresponde à geração de um quarto campo de luz quando três campos de luz incidem em um meio não linear, é um dos mais estudados na óptica não linear. Neste trabalho investigamos, experimental e teoricamente, o processo da MQO em uma amostra de átomos de césio esfriados e aprisionados em uma Armadilha Magneto-Óptica (AMO). Para realizar a experiência, preparamos uma nuvem densa de átomos no nível hiperfino F = 3 do estado fundamental do césio. Usamos a configuração de conjugação de fase óptica para os feixes da mistura, provenientes de um mesmo laser de diodo de cavidade externa (LDCE) e identificados por F (Foward), P (Probe) e B (Backward). Os feixes F e P têm polarizações circulares opostas e frequências iguais, que podem ser varridas simultaneamente usando um par de Moduladores Acusto-Ópticos (MAO). Estes dois feixes incidem no meio formando um pequeno ângulo de 4o entre eles. Enquanto que o feixe B com polarização oposta à do feixe F e contrapropagante a ele, é sintonizado na transição F = 3 ↔ F = 2 dentro da linha D2 do césio. O sinal gerado C é monitorado em função da frequência comum de F e P, e detetado na direção oposta à do feixe P. Nestas condições, a forma de linha do sinal obtido da MQO apresenta ressonâncias largas e estreitas, evidenciando a contribuição da coerência Zeeman induzida no sistema. Em particular, medimos a dependência do sinal C como função da intensidade do feixe de bombeio F. Realizamos também uma análise teórica do problema, modelando nosso sistema atômico como um ensemble de átomos de três níveis efetuando um cálculo perturbativo para resolver as equações de matriz densidade do sistema. Finalmente mostramos que este modelo teórico descreve qualitativamente bem as observações experimentais

Made available in DSpace on 2014-06-12T18:06:15Z (GMT). No. of bitstreams: 2 arquivo8043_1.pdf: 3446816 bytes, checksum: 55377eb04f6b857ed5c4dc178a6d3491 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / Estudamos efeitos ópticos não-lineares em vapores alcalinos, quando níveis de Rydberg estão envolvidos como estados intermediários, quase ressonantes, em processos como: mistura de quatro ondas (MQO), absorção de dois fótons, geração de soma (SF) e diferença de freqüência (DF). Analisamos um processo de MQO, com transições de dois fótons envolvendo níveis de Rydberg do átomo de rubídio, e observamos franjas de interferência no sinal não linear. Neste estudo, mostramos que é possível ter um controle coerente sobre os múltiplos caminhos quânticos acessíveis ao sistema atômico, explorando a dependência do sinal não linear com a polarização dos feixes incidentes. Medimos a visibilidade das franjas observadas e obtivemos valores de 100% para o contraste da interferência, na ressonância de dois fótons com um nível de Rydberg. Os resultados experimentais apresentam um bom acordo com cálculos teóricos, baseados no formalismo da matriz densidade aplicado a um sistema atômico de quatro níveis. A distribuição de população para um átomo de quatro níveis foi calculada no regime estacionário, resolvendo as equações da matriz densidade em ordens superiores nos campos incidentes. Mostramos que uma interferência entre os caminhos quânticos de excitação de um estado atômico pode levar ao cancelamento ou ao aumento da população desse nível, dependendo das polarizações dos lasers incidentes. Estudamos também efeitos transientes, resolvendo a equação de Schrödinger dependente do tempo para um sistema de três níveis na configuração V, e previmos a ocorrência de oscilações de Rabi de dois fótons, e batimentos quânticos nas populações do sistema atômico. Finalmente, medimos pela primeira vez a geração da DF em uma amostra de rubídio em alta densidade, através de um processo proibido por dipolo elétrico, envolvendo níveis de Rydberg. Utilizando o modelo do campo elétrico estático, induzido por fotoionização, como um mecanismo de quebra de simetria, desenvolvemos cálculos teóricos que permitiram prever a forma espacial do sinal não linear gerado, e comparar com os resultados existentes na literatura para a geração de segundo harmônico em vapores atômicos

[pt] O advento do uso maciço de computadores em provas matemáticas, ocorrido ao final da década de setenta com a solução de um famoso problema matemático – a prova do Teorema das Quatro Cores – ocasionou disputas filosóficas que ainda hoje demandam esclarecimentos. O objetivo principal da tese consiste em elaborar alguns dos referidos esclarecimentos desde uma perspectiva motivada pela filosofia da matemática de Ludwig Wittgenstein, especialmente no que diz respeito à distinção continuamente manuseada e depurada pelo filósofo ao longo do desenvolvimento de seu pensamento entre provas e experimentos. Após apresentar as principais ideias da prova do Teorema das Quatro Cores em termos históricos, algumas distinções conceituais metodologicamente significativas são elaboradas. A seguir o trabalho analisa, a partir da concepção funcional de a priori de Arthur Pap, o argumento da introdução da experimentação nas matemáticas de Thomas Tymoczko. A leitura das controvérias filosóficas que se seguiram ao argumento de Tymoczko é então apresentada, aplicando-se as distinções conceituais anteriormente elaboradas. Por fim algumas ideias wittgensteinianas sobre da disitinção entre provas e experimentos são exploradas em conexão com a noção de sinopticidade de provas, considerando menos os papéis específicos de tais noções na filosofia da matemática de Wittgenstein, do que investigando as vantagens de suas possíveis aplicações no esclarecimento de tópicos críticos das referidas disputas. / [en] The massive use of computers in mathematical proofs, which started in the end of the seventies trough the solution of one famous mathematical problem – the Four-Color Theorem – entailed philosophical disputes still in need of elucidation. The central aim of this thesis consists in elaborating some of these elucidations from a point of view motivated by Ludwig Wittgenstein’s philosophy of mathematics, mainly in what concerns the distinction between proofs and experiments, which was continuously used and elaborated by the philosopher in the course of the development of his thought. After the presentation of the main ideas involved in the proof of the Four-Color Theorem from a historical perspective, some methodological conceptual distinctions are elaborated. The thesis then shifts to an analysis of the introduction of experiment in mathematics argument, by Thomas Tymoczko, from the point of view of Arthur Pap’s conception of functional a priori. An interpretation of the controversies that followed that argument is developed trough the application of the conceptual distinctions previously elaborated. At last, some wittgensteinian ideas about the distinction between proofs and experiments are explored in connection with the notion of surveyability of proofs, concerned less with its specific roles in Wittgenstein’s philosophy of mathematics than with investigating the advantages of its possible applications in the elucidation of some critical points in the referred controversies.

Orientador: Leonor Patrícia Cerdeira Morellato / Coorientadora: Maria Tereza Grombone Guaratini / Banca: Marco Antonio de Assis / Banca: Juliano van Melis / Resumo: Na presente dissertação, e em seu primeiro capítulo, estudamos duas comunidades de cerrado sensu stricto no Estado de São Paulo: a primeira localizada no município de Itirapina (Fazenda São José da Conquista) e a segunda em Santa Rita do Passa Quatro (Parque Estadual de Vassununga, Gleba Cerrado Pé de Gigante). Estabelecemos 10 transectos (2 x 50 metros) seguindo o método proposto por Gentry (1982), amostrando todos os indivíduos lenhosos com DAP > 2,5 cm. Verificamos que o método adotado permitiu amostrar estrutura e composição florística em cerrado sensu stricto, incluindo diferentes formas de crescimento vegetal. No segundo capítulo, investigamos a influência, principalmente da sazonalidade, no padrão de riqueza de espécies arbóreas (árvores e arbustos) e de lianas de vegetações situadas na região Neotropical, compilando 124 áreas do banco de dados de Gentry (http://www.mobot.org/MOBOT/research/gentry/transect.shtml), incluindo as duas áreas de estudo amostradas no primeiro capítulo. A diversidade de plantas na região tropical tem sido correlacionada com variáveis climáticas, particularmente com a distribuição da precipitação. A combinação entre ausência de sazonalidade e elevada precipitação estão relacionadas à maior riqueza de espécies. Nossa premissa é que, em locais com sazonalidade climática, os recursos e a produtividade primária são reduzidos, o que pode reduzir a riqueza de árvores e de lianas. Lianas tendem a ser mais resistentes à estação seca do que árvores em ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In the present dissertation, and in its first chapter, we studied two communities of cerrado sensu stricto in the State of São Paulo: the first one located in the Itirapina city (Farm São José da Conquista) and the second in Santa Rita do Passa Quatro (State Park of Vassununga, Gleba Cerrado "Pé de Gigante" Giant Foot). We established 10 transects (2 x 50 meters) following the method proposed by Gentry (1982), sampling all woody individuals with DBH> 2.5 cm. We verified that the adopted method allowed to sample structure and floristic composition in cerrado sensu stricto, including different forms of vegetal growth. In the second chapter, we investigated the influence, mainly of seasonality, on the richness of arboreal species (trees and shrubs) and woody climbers (lianas) located in the Neotropical region, compiling 124 areas of the Gentry database (http: // www. Mobot.org/MOBOT/research/gentry/transect.shtml), including the two areas of study sampled in the first chapter. The diversity of plants in the tropical region has been correlated with climatic variables, particularly with precipitation distribution. The combination of absence of seasonality and high precipitation are related to the greater species richness. Our premise is that, in places with climatic seasonality, resources and primary productivity are reduced, which can reduce woody species richness. Lianas tend to be more resistant to dry season than trees due to physiological attributes, being able to present inc... (Complete abstract click electronic access below) / Mestre

Desenvolvemos um modelo teórico para tratar a mistura de várias ondas em meios absorvedores saturáveis, considerando a auto-difração de duas ondas incidentes numa grade de população, a qual é induzida no meio não-linear. O modelo foi investigado através de resultados experimentais observados em rubi (Al2O3:Cr3+), alexandrita (BeAl2O4:Cr3+) e GdAlO3: Cr3+. Demonstramos, pela primeira vez, transferência de energia por mistura não degenerada de duas ondas (NDTWM) em alexandrita e GdAlO3: Cr3+. Neste ultimo, também observamos a difração de primeira ordem do feixe forte e medimos a variação de sua intensidade com relação a velocidade de deslocamento da grade. No GdAlO3: Cr3+, medimos o espectro de absorção do estado excitado e o espectro da parte real do índice de refração não-linear em quatro linhas do laser de argônio e na região de 560-620 nm de um laser de corante operando com rodamina 6G. Os resultados indicam uma interação entre pares de cromo no estado excitado, seguida da absorção de um fóton, a qual pode explicar a variação da parte imaginaria n2 com a intensidade, conforme observado experimentalmente. Nós tentamos observar bi-estabilidade óptica em GdAlO3: Cr3+ mas não tivemos êxito, provavelmente por causa de efeitos transversais e também pelo aumento da absorção com a intensidade. Por outro lado, observamos um regime multi-estável numa cavidade Fabry-Perot vazia, onde o meio não-linear é o material usado na fabricação dos espelhos, que no caso foi o ZrO2. Também observamos comportamento multi-estável em filtros de inconel, causado pelo acoplamento termo-óptico entre o filtro e a radiação laser. / We have developed a new approach to deal with multi-wave mixing in saturable absorbing media, by considering the self diffraction of two incident waves in a population grating which is created by them in the nonlinear medium. Wehave also made experimental work on ruby (Al2O3:Cr3+), alexandrite (BeAl2O4:Cr3+) and GdAlO3: Cr3+ in order to compare with our theoretical model. We have demonstrated energy transfer by nearly degenerated two wave mixing (NDTWM) in alexandrite and GdAlO3: Cr3+ for the first time. We measured the intensity of the first order diffracted intense beam as a function of the frequency shift between the incident beams in GdAlO3: Cr3+. For this crystal, we have obtained the spectra of the excited state absorption and the real part of the nonlinear index at four wavelengths of an argon laser and in the range 560-620 nm of a rodamine 6G dye laser. These kinds of spectra had never been reported before in that material. The result seems to support our proposal of an excited chromium pair interaction with an additional photon absorption which can explain the observed variation of the imaginary part of the nonlinear Kerr index with the intensity. We tried to observe optical bistability in GdAlO3: Cr3+ but we were unsuccessful, probably due to strong transverse effects and increasing absorption with the intensity. However we observed multistable regime in empty Fabry-Perot cavities in which the mirrors were made of thin films of ZrO2 deposition. A multistable thermo-optical behavior in inconel filters was also observed.

Os estados emaranhados da luz são de grande importância para protocolos de comunicação quântica. Uma das principais fontes que vem sendo estudada no Laboratório de Manipulação Coerente de Átomos e Luz - LMCAL é o oscilador paramétrico ótico (OPO) no qual, através de processos paramétricos não lineares de segunda e terceira ordem (x(2) e x(3)), são produzidos feixes intensos que apresentam correlações quânticas. Recentemente, o LMCAL vem explorando o processo de mistura de quatro ondas (fenômeno derivado da susceptibilidade de terceira ordem x(3)) como fonte geradora de feixes emaranhados. Inicialmente, foi realizado a partir de células de rubídio e agora, em colaboração com o grupo de pesquisa da Profa. Michal Lipson da Universidade de Columbia, em chips de nitreto de silício (Si3N4); permitindo assim possibilidades de modulação ultra-rápida, confinamento de luz em volumes muito reduzidos, além da ótica não-linear do OPO. O presente projeto visa estudar as propriedades quânticas da luz nos OPOs em chips de silício, permitindo que sistemas muito eficientes em informação clássica possam ser usados também para implementação de protocolos de informação quântica. / Entangled States of light beams are of great importance for quantum communication protocols. One of the most relevant source of such states which is being studied at the Laboratory of Coherent Manipulation of Atoms and Light - LMCAL (in portuguese) is the Optical Parametric Oscillator (OPO) which through second and third order nonlinear parametric processes (x(2) and x(3)) produces intense fields that have quantum correlations. Recently, LMCAL is exploring four-wave mixing (FWM), a third-order nonlinear parametric process, as a source of entangled beams. Initially, on rubidium cells and now, in collaboration with Prof. Michal Lipson from the Columbia University, on silicon nitride (Si3N4) chips; opening a new avenue for ultrafast modulation, light confinement in reduced light volumes, as well as the nonlinear optics of the OPO. This project is intended to study quantum properties of light of on-chip OPOs in order to achieve the integration of these highly efficient devices for implementations of quantum information protocols.

Neste trabalho estudamos um pouco de Teoria dos Grafos, abordando diversas definições e teoremas interessantes. Apresentamos o Teorema das Quatro Cores, desde o surgimento do problema com Francis Guthrie. Analisamos a demonstração do teorema realizada por Alfred Bray Kempe e sua refutação através do contraexemplo de Percy John Heawood. Analisamos também a demonstração do Teorema das Cinco Cores de Percy John Heawood. Porém, apresentamos a primeira demonstração válida do Teorema das Quatro Cores, como sua particularidade de ter sido feita com o auxílio de um computador. O trabalho é concluído com uma análise sobre os benefícios que o conhecimento de Teoria dos Grafos pode render aos alunos do Ensino Básico, e como professor o pode trabalhar este assunto em sala de aula, inclusive abordando o problema de coloração de mapas. / In this paper we study Graph Theory, addressing various definitions and interesting theorems. We present the Four Color Theorem, since the origin of the problem with Francis Guthrie. We analyze the proof of the theorem presented by Alfred Bray Kempe, and its refutation by Percy John Heawood counter-example. We also analyze the Percy John Heawood demonstration of the Five Color Theorem. Finally, we present the first valid proof of the Four Colors Theorem, with its peculiarity of having been done with the aid of a computer. We conclude with an analysis of the beneficial that the knowledge of Graph Theory can render students of Basic Education, and how a teacher can work this topic in the classroom, including addressing the problem of map coloring.