As distribuidoras de energia elétrica anualmente elaboram o Plano de Investimentos, que se constitui parte extremamente relevante do Plano de Negócios da Companhia, composto pelos investimentos a serem feitos nos próximos anos. Em função da conjuntura do sistema e dos estudos de planejamento, há sempre diversas propostas de investimento a serem cotejadas e, para selecionar os projetos a serem desenvolvidos, é necessária uma meticulosa análise econômica e financeira. Nesse tipo de análise, torna-se crucial ponderar as exigências do Órgão Regulador para o reconhecimento tarifário de um investimento, bem como as incertezas quanto à evolução da conjuntura sistêmica, aplicando técnicas da Engenharia Econômica para avaliar o retorno sobre o capital investido. A diferença principal deste trabalho, em relação à análise convencional de viabilidade de Projetos de Distribuição, decorre do fato de que se desenvolveu uma metodologia para avaliação de viabilidade e comparação entre si de alternativas de planos de expansão, ao invés da análise individualizada de projetos tradicional. Nesse contexto, a melhor decisão de investimento fica condicionada por variáveis exógenas ao tradicional processo de planejamento em si e, para viabilizar a inclusão das principais variáveis de comportamento aleatório, optou-se pela utilização de metodologia baseada em Opções Reais, que é uma técnica utilizada no mercado financeiro. Para melhor incorporar todas as nuances que condicionam o desempenho econômico-financeiro das alternativas em cotejo e aprimorar o processo de tomada de decisão, utiliza-se, também, técnicas de análise multi-objetivo para imputar os benefícios sociais na avaliação final, feita na etapa de tomada de decisão. / The electrical distribution companies annually prepare their Investment Plan, which is an important part of the company Business Plan, presenting the investments to be made for the coming years. There are several investment proposals, and to select the projects to be invested is necessary a precise economic and financial analysis considering the requirements of the tariff regulator for the recognition of an investment. The project feasibility analysis should to apply techniques of Economic Engineering to assess the rate of return of the invested capital. The main feature of this work, when compared to the feasibility conventional analysis of Distribution Projects, is that a new methodology was developed for feasibility assessment and comparison between alternative expansion plans, featuring important component of the investments contemplated in a Investment Plan. In this context, the best investment decisions is conditioned by additional variables besides that of the traditional planning process itself. In order to make an easier inclusion of the main variables presenting random behavior, it was used a methodology based on \"Real Options\", which is a technique used in the financial market. To better incorporate all the nuances that affect the financial performance of the alternatives under comparison, as well as to improve the decision making process, multi-objective analytical techniques was also used, aiming at to allocate welfare benefits in the decision-making final evaluation.

The diploma thesis focuses on linguistic terminology in current mass media discourse. The main objective of this thesis is to analyze the occurrences of linguistic terms in the corpus SYN2013PUB and to describe their function, meaning and context and the process of their determinologization. The first part concerns the existing approaches to terms and terminology, the specifics of the linguistics terminology, the function of the terms in the professional style and their use in the journalistic style. Furthermore, the thesis deals with the relations between general lexicon and terminology, terminologization and determinologization. The analysis of the examples indicates, how to follow the determinologization in the texts. The examples are classified according to the indicators of determinologization. These indicators are typical means of journalistic style (which contains terms), journalistic innovation of the collocability, specific ways of explaining the terms and the semantics or formal modifications of the terms. The determinologization is considered an unfinished process, accomplished for diverse corpus occurrences of linguistic terms in various extent.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-10-21T10:34:04Z No. of bitstreams: 1 JONES MARIEL KEHL_.pdf: 967232 bytes, checksum: dac034e48d5761d990e65358e6f01077 (MD5) / Made available in DSpace on 2015-10-21T10:34:04Z (GMT). No. of bitstreams: 1 JONES MARIEL KEHL_.pdf: 967232 bytes, checksum: dac034e48d5761d990e65358e6f01077 (MD5) Previous issue date: 2015-04-04 / Nenhuma / Da análise da situação experimentada nos Estados democráticos de Direito após os atentados terroristas de 11 de setembro de 2001, ocorrido nos Estados Unidos, verifica-se a adoção de uma série de medidas legislativas e executivas voltadas à luta contra tal criminalidade. As legislações antiterror normalmente inserem-se no contexto do denominado Direito Penal do inimigo, em que se pretende a exclusão do delinquente da sociedade. Entretanto, é preciso encontrar limites operativos da definição de terrorismo de modo a permitir sua incriminação no marco das sociedades democráticas. Para tanto, por meio de uma abordagem fenomenológica, enquanto revisão crítica dos temas centrais transmitidos pela tradição filosófica através da linguagem, adota-se o método monográfico e, enquanto técnica de pesquisa, a documentação indireta, notadamente pesquisa bibliográfica espanhola e norte-americana, bem como análise de propostas legislativas e de textos legislativos, a fim de verificar a situação brasileira sobre o tema. Com isso, analisando o conteúdo do injusto de tal criminalidade, observa-se o ataque a bens jurídicos concretos protegidos pelos crimes comuns, à paz pública e as vias democráticas de tomada de decisões políticas. Assim, o método terrorista deve ter a intimidação massiva como forma de comissão, com violência reiterada e indiscriminada, a comissão de crimes gravíssimos como modo de execução e caráter armado enquanto meio utilizado. Para lograr êxito no ataque aos bens jurídicos, a conduta terrorista deverá ser executada por uma organização, imbuída de uma finalidade política, no sentido de impor uma determinada regulação à margem dos mecanismos democráticos de tomada de decisão política estabelecidos. A partir disso, o método terrorista serve como limite horizontal para a tipificação da conduta, ao passo que a estrutura organizativa serve como limite vertical e, por fim, o elemento teleológico, como limite transversal. / Analyzing the situation experienced in the law of democratic States after the terrorist attacks of September 11, 2001, occurred in the United States, there is the adoption of a series of legislative and executive measures aimed at combating such crime. The anti-terror laws usually falls within the context of the enemy called Criminal Law, according to which it is intended the exclusion of the offender from society. However, it's necessary find operating limits of the definition of terrorism to allow incrimination in the context of democratic societies. Therefore, through a phenomenological approach, while critical review of the central themes transmitted by philosophical tradition through language, it was adopted the monographic method, while technical research, the indirect documentation, notably Spanish literature and American, and analysis of legislative proposals and legislation in order to verify the Brazilian situation on the topic. Thus, analyzing the content of the unjust in such crime, there was the attack on concrete legal rights protected by common crimes, public peace and democratic process of political decision-making. Thus, the terrorist method must have the massive intimidation as a form of commission, with repeated and indiscriminate violence, the commission very serious crimes as a way of implementation and armed character as a means used. To bring about the attack on the legal interests, the terrorist conduct must be performed by an organization, which must have political purpose, to impose a particular setting the margins of democratic mechanisms established political decision-making. From this, the terrorist method serves as a horizontal limit for its characterization, while the organizational structure serves as a vertical limit and, finally, the teleological element, such as transverse edge.

Made available in DSpace on 2016-04-27T16:57:30Z (GMT). No. of bitstreams: 1 Joelma Iamac Nomura.pdf: 7399337 bytes, checksum: 3b1b78708c15a38620c94201d8ab977e (MD5) Previous issue date: 2014-03-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The objective of this research harnesses to the results obtained in the Master's Dissertation defended in September 2008 in Postgraduate Studies Program in Mathematics Education at PUC - SP. In this same essay, issues related to teaching and learning of linear algebra sought to answer and find new ways of targeting and perspectives of students in a graduate in Electrical Engineering, asking Why and How should it be taught the discipline of linear algebra on a course with this profile? Among the results, we identified that the interdisciplinarity inherent to the topics of Linear Algebra and specific content of engineering or applied constituted an essential factor for the recognition of mathematical disciplines as theoretical and conceptual basis. Interdisciplinarity reflected in specific mathematical objects of linear algebra and practical situations of engineering materials for the formation of conceptual and general engineer seeking the theoretical foundation and basic justification for the technological improvement of its area. Based on a scenario and results envisioned in the dissertation we propose to investigate the cognitive structures involved in the construction of mathematical object eigenvalue and eigenvector in the initial and final student education phases in Engineering courses, showing the cognitive schemes in their mathematical minds. For this, the following issues are highlighted: ( 1 ) What conceptions (action - process -object- schema ) are evidenced in students after studying the mathematical object eigenvalue and eigenvector in the initial and final phases of their academic training courses in Engineering? and ( 2 ) these same phases, which concept image and concept definition are highlighted in the study of eigenvalue and eigenvector mathematical object? Substantiated by the theoretical contributions of Dubinsky (1991), on the APOS Theory and Vinner (1991), about the concept image and concept definition, we consider the cognitive processes involved in the construction of mathematical object, identifying the nature of their cognitive entities portrayed in mathematical mind. The discussion focuses on mathematical mind both the mathematical structure that is designed and shared by the community as the design in which each mental biological framework handles such ideas. To do so, we consider the relationship between the ideas which constitute the APOS theory, concepts image and definition and some aspects of Cognitive Neuroscience. Characterized as multiple case studies, data collection covered the speech of students in engineering courses in various training contexts, established by the institutions. The analysis of the specific mathematical concept called genetic decomposition led to this concept, which was proposed by System Dynamic Discrete problem, described by the difference equation K K x A.x 1 = + , (K = 0,1,2 , ... ) . Based on the ideas of Stewart (2008) and Trigueros et al. (2012) it was possible to us to identify some characteristics of showing the different conceptions of the students. Moreover, we consider some ideas that characterize the concept image and concept definition according Vinner (1991) and Domingos (2003). As a result of our investigation, we identified that the students of the first case study, at different stages of training, present the design process and the concept image on an instrumental level mathematical object eigenvalue and eigenvector. Have students in the second case, particularly, all of the first phase, and two of the second, showed signs of action and concept image incipient level. As a student of the second phase, have also highlighted the design process and the concept image on an instrumental level as the subject of the first case study. Therefore, we find no significant evolution between the inherent APOS Theory concepts and the concepts image of the object of study. We show that all students presented their speeches in relations between the Linear Algebra course and other courses in the program, such as Numerical Calculation, Electrical Circuits , Computer Graphics and Control Systems, with lesser or greater degree of depth and knowledge. We realize that students attach importance to mathematical disciplines in its formations and seek for a new approach to teaching that address the relationships between them and the disciplines of Engineering / O objetivo desta pesquisa atrela-se aos resultados obtidos na Dissertação de Mestrado defendida em setembro de 2008 no Programa de Estudos Pós-Graduados em Educação Matemática da PUC-SP. Nesta mesma dissertação, questões relacionadas ao ensino e aprendizagem de Álgebra Linear buscaram responder e encontrar novas formas de direcionamento e perspectivas de ensino em uma graduação em Engenharia Elétrica, indagando Por que e Como deve ser lecionada a disciplina de Álgebra Linear em um curso com este perfil? Dentre os resultados obtidos, identificou-se que a interdisciplinaridade inerente aos tópicos de Álgebra Linear e conteúdos específicos ou aplicados da Engenharia constituiu-se de fatores imprescindíveis para ao reconhecimento das disciplinas matemáticas, como base teórica e conceitual. A interdisciplinaridade refletida em objetos matemáticos específicos da Álgebra Linear e situações práticas da Engenharia prima pela formação do engenheiro conceitual e generalista que busca na fundamentação teórica e básica a justificativa para o aprimoramento tecnológico de sua área. Com base no cenário e resultados vislumbrados na defesa da dissertação, propusemonos investigar as estruturas cognitivas envolvidas na construção do objeto matemático autovalor e autovetor nas fases inicial e final de formação do aluno dos cursos de Engenharia, evidenciando os esquemas cognitivos e a mente matemática dos estudantes, sujeitos de nossa investigação. Para tanto, as seguintes questões são destacadas: (1) Quais concepções (ação-processo-objeto-esquema) são evidenciadas nos alunos, após o estudo do objeto matemático autovalor e autovetor nas fases inicial e final de sua formação acadêmica em cursos de Engenharia?; e (2) Nessas mesmas fases, quais conceitos imagem e definição são evidenciados no estudo do objeto matemático autovalor e autovetor? Fundamentados pelos aportes teóricos de Dubinsky (1991), sobre a Teoria APOS, e Vinner (1991) nos conceitos imagem e definição, foram considerados os processos cognitivos envolvidos na construção do objeto matemático, identificando a natureza de suas entidades cognitivas retratadas na mente matemática. A discussão sobre mente matemática foca-se tanto na estrutura matemática que é concebida e compartilhada pela comunidade como no delineamento em que cada estrutura biológica mental trata essas mesmas ideias. Para tanto, considerou-se a relação entre as ideias que constituem a Teoria APOS, os conceitos imagem e definição e alguns aspectos da Neurociência Cognitiva. A pesquisa caracterizada como estudos de caso múltiplos, identificou os dados a partir do discurso dos estudantes dos cursos de Engenharia em contextos diversos de formação, estabelecidos pelas instituições de ensino. A análise do conceito matemático específico levou à chamada decomposição genética desse conceito, que foi proposto pelo problema de Sistema Dinâmico Discreto, descrito pela equação de diferença K K x A.x 1 = + (K=0,1,2,...). Com base nas ideias de Stewart (2008) e Trigueros et al. (2012), foi possível identificar algumas características que evidenciassem as diferentes concepções dos estudantes. Além disso, foram consideradas algumas ideias que caracterizam o conceito imagem e definição de acordo com Vinner (1991) e Domingos (2003). Como resultado desta investigação, identificou-se que os alunos do primeiro estudo de caso, em fases distintas de formação, apresentam a concepção processo e o conceito imagem em nível instrumental do objeto matemático autovalor e autovetor. Já os alunos do segundo de caso, particularmente, todos os da primeira fase, e dois da segunda apresentaram indícios da concepção ação e conceito imagem em nível incipiente. Apenas um aluno da segunda fase também evidenciou ter a concepção processo e o conceito imagem em nível instrumental, como os sujeitos do primeiro estudo de caso. Portanto, constatou-se que não houve evolução significativa entre as concepções inerentes à Teoria APOS e os conceitos imagem do objeto de estudo. Evidenciou-se que todos os alunos apresentaram em seus discursos relações existentes entre a disciplina Álgebra Linear e demais disciplinas do curso, como Cálculo Numérico, Circuitos Elétricos, Computação Gráfica e Sistemas de Controle, com menor ou maior grau de profundidade e conhecimento. Percebe-se que os alunos atribuem relevância às disciplinas matemáticas em suas formações e buscam por um novo enfoque de ensino que contemple as relações entre as mesmas e as disciplinas da Engenharia

Made available in DSpace on 2016-04-27T16:58:08Z (GMT). No. of bitstreams: 1 dissertacao_cristina_meyer.pdf: 893209 bytes, checksum: cf688e40bd77ad09e1cf9cbe28191ac0 (MD5) Previous issue date: 2003-04-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This is a diagnostic research. The objective of this research is to investigate elements of the concept image and concept definition related to the concept of derivative while interpreted geometrically. It is based on the David Tall and Shlomo Vinner theory about concept image and concept definition. The investigated persons are students of the Formation Course for Mathematic Teachers in a private university of the State of São Paulo, who already had attended classes of Calculus I e II. Two kind of methodological instruments were used: questionnaire and interview. Among the conclusions we detach: the interpretation of the equation of the tangent straight line to the graph of function f as being the function derived from f; the interpretation of the derivative of function f in the point of absciss x = a, as being the y coordinate b of the point (a,b) in which the straight line is tangent to the graph of function f; the existence of persons that verbalize a concept definition related to the derivative concept whose elements are related of a coherent form with the geometric definition of this concept, which is ignored by them at the moment of the elaboration of the answers to the proposed questions / Esta é uma pesquisa de caráter diagnóstico. Objetiva investigar elementos da imagem conceitual e definição conceitual, relativas ao conceito de derivada, quando interpretado geometricamente. É referenciada na teoria de David Tall e Shlomo Vinner sobre imagem conceitual e definição conceitual. Os sujeitos investigados são estudantes do curso de licenciatura em Matemática de uma Universidade particular do Estado de São Paulo, que já cursaram as disciplinas de Cálculo I e II. Dois tipos de instrumentos metodológicos foram utilizados: questionário e entrevista. Entre as conclusões, destacamos: interpretação da equação da reta tangente ao gráfico da função f como sendo a função derivada de f; interpretação da derivada da função f no ponto de abscissa x = a como sendo a ordenada b do ponto (a,b) no qual a reta tangencia o gráfico da função f; existência de sujeitos que verbalizam uma definição conceitual, relativa ao conceito de derivada, cujos elementos estão coerentemente relacionados com a definição geométrica desse conceito, mas ignorada por eles no momento da elaboração das respostas às questões propostas

The principal objective of this work was to elucidate the effect of microstructural features on the intrinsic dislocation mechanisms in two FCC alloys. First alloy Al0.1CoCrFeNi was from a new class of material known as complex concentrated alloys, particularly high entropy alloys (HEA). The second was a conventional Al-Mg-Sc alloy in ultrafine-grained (UFG) condition. In the case of HEA, the lattice possess significant lattice strain due to the atomic size variation and cohesive energy differences. Moreover, both the lattice friction stress and the Peierls barrier height are significantly larger than the conventional FCC metals and alloys. The experimental evidences, so far, provide a distinctive identity to the nature and motion of dislocations in FCC HEA as compared to the conventional FCC metals and alloys. Hence, the thermally activated dislocation mechanisms and kinetics in HEA has been studied in detail. To achieve the aim of examining the dislocation kinetics, transient tests, both strain rate jump tests and stress relaxation tests, were conducted. Anomalous behavior in dislocation kinetics was observed. Surprisingly, a large rate sensitivity of the flow stress and low activation volume of dislocations were observed, which are unparalleled as compared to conventional CG FCC metals and alloys. The observed trend has been explained in terms of the lattice distortion and dislocation energy framework. As opposed to the constant dislocation line energy and Peierls potential energy (amplitude, ΔE) in conventional metals and alloys, both line energy and Peierls potential undergo continuous variation in the case of HEA. These energy fluctuations have greatly affected the dislocation mobility and can be distinctly noted from the activation volume of dislocations. The proposed hypothesis was tested by varying the grain size and also the test temperature. Activation volume of dislocations was a strong function of temperature and increased with temperature. And the reduction in grain size did not affect the dislocation mechanisms and kinetics. This further bolstered the hypothesis. The second part deals with deformation characteristics of Al-Mg-Sc alloy. The microstructure obtained from the severe plastic deformation (SPD) techniques differ in dislocation density, grain/cell size, and in the grain boundary character distribution. Therefore, it is vital to understand the deformation behavior of the UFG materials produced by various SPD techniques, as the microstructural features basically control the deformation mechanisms. In this study, a detailed analysis was made to understand the deformation mechanisms operative in various regimes of a stress-strain in UFG Al-Mg-Sc alloy produced via friction stir processing. The stress-strain curves exhibited serrations from the onset of yielding to the point of sample failure. The serration amplitude and frequency was higher in UFG material as compared to CG material. Furthermore, the microstructural features that result in the serrated flow were investigated along with the avalanche characteristics. The presence of both ultrafine grains and Al3Sc precipitates were the necessary conditions to reach the critical stress required to push the grain boundary into a critical state to set off an avalanche. The microstructural conditions that did not satisfy both the requirements did not exhibit deep serrations.

A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido. / The definition of systems requirements has been known as one of the most critical and dificult tasks as far as the software engineering is concerned. The need support is essential. Nowadays, among the various methods devised to support the phase of requirements, a special emphasis is given to the SADT method (Structured Analysis and Design Techniques), due to its capability of representing models. This work set semantic for the SADT method, based primarily upon the interrelation of the method to the systems of dataflow (nets, graphs and dataflow machines). It deals with an approach of operational semantics to its basic constructs, and it will, afterwards, discuss the possibility of carry out specifications by simulation. A tool was built to support the SADT method, and it was defined by a model denoted by a class, through an abstract syntax. This tool was implemented in the PROSOFT environment, providing for the user, more than forty support operations for the construction /manipulation of diagrams. This work also presents the formal specification of the semantics of the main constructs of the SADT method in VDM - Vienna Development Method; as well as an execution proposal of specifications through simulation. Directions have been indicated concerning the extension of the research.

Thesis 'Analysis of non-current tangible assets in selected entities ' deals with the non-current tangible assets from the point of view of the Czech legislation and IFRS. The theoretical part of the thesis characterises non-current tangible assets in terms of IFRS, which together with examples concern with the issues of definition and evaluation. The Czech legislation is compared with IFRS and the main differences are marked out that prevent a unified view of non-current tangible assets adjusted according to IFRS and the Czech accounting standards. The practical aspect is reflected in an empirical research that analyses non-current tangible assets in entities operating in the area of power and food industries.

As distribuidoras de energia elétrica anualmente elaboram o Plano de Investimentos, que se constitui parte extremamente relevante do Plano de Negócios da Companhia, composto pelos investimentos a serem feitos nos próximos anos. Em função da conjuntura do sistema e dos estudos de planejamento, há sempre diversas propostas de investimento a serem cotejadas e, para selecionar os projetos a serem desenvolvidos, é necessária uma meticulosa análise econômica e financeira. Nesse tipo de análise, torna-se crucial ponderar as exigências do Órgão Regulador para o reconhecimento tarifário de um investimento, bem como as incertezas quanto à evolução da conjuntura sistêmica, aplicando técnicas da Engenharia Econômica para avaliar o retorno sobre o capital investido. A diferença principal deste trabalho, em relação à análise convencional de viabilidade de Projetos de Distribuição, decorre do fato de que se desenvolveu uma metodologia para avaliação de viabilidade e comparação entre si de alternativas de planos de expansão, ao invés da análise individualizada de projetos tradicional. Nesse contexto, a melhor decisão de investimento fica condicionada por variáveis exógenas ao tradicional processo de planejamento em si e, para viabilizar a inclusão das principais variáveis de comportamento aleatório, optou-se pela utilização de metodologia baseada em Opções Reais, que é uma técnica utilizada no mercado financeiro. Para melhor incorporar todas as nuances que condicionam o desempenho econômico-financeiro das alternativas em cotejo e aprimorar o processo de tomada de decisão, utiliza-se, também, técnicas de análise multi-objetivo para imputar os benefícios sociais na avaliação final, feita na etapa de tomada de decisão. / The electrical distribution companies annually prepare their Investment Plan, which is an important part of the company Business Plan, presenting the investments to be made for the coming years. There are several investment proposals, and to select the projects to be invested is necessary a precise economic and financial analysis considering the requirements of the tariff regulator for the recognition of an investment. The project feasibility analysis should to apply techniques of Economic Engineering to assess the rate of return of the invested capital. The main feature of this work, when compared to the feasibility conventional analysis of Distribution Projects, is that a new methodology was developed for feasibility assessment and comparison between alternative expansion plans, featuring important component of the investments contemplated in a Investment Plan. In this context, the best investment decisions is conditioned by additional variables besides that of the traditional planning process itself. In order to make an easier inclusion of the main variables presenting random behavior, it was used a methodology based on \"Real Options\", which is a technique used in the financial market. To better incorporate all the nuances that affect the financial performance of the alternatives under comparison, as well as to improve the decision making process, multi-objective analytical techniques was also used, aiming at to allocate welfare benefits in the decision-making final evaluation.

Made available in DSpace on 2016-04-27T17:26:55Z (GMT). No. of bitstreams: 1 Carlos Roberto Teixeira Alves.pdf: 1967806 bytes, checksum: 142da51209f03ccc29b4ce39129cce9a (MD5) Previous issue date: 2011-05-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In 1929 Alfred Tarski wrote the paper The Concept of Truth for Formalized Languages which presents the question to respect use concept of truth . His hypothesis is that truth or false are not predicates of things, but attribute for expressions more pre-cisely of sentences. So Tarski constructed a way to preach these attributes without reaching a self-reference contradictory in that the truth or the false are not predicated the same time: the use of a formal language and metalanguage for this formal language. This paper aims to explain the Tarskian Theory of Truth. A previus exposure in the general introduction of this paper shows the limitation of the definition for natural lan-guages. The body of this paper is devoted careful analysis, thorough and comprehensive part of the artcle The Conceopt of Truth in Formalized Languages, §2 and §3 (Theorem 7), clarificity the main points to be locasted precisely at what for Tarski the semantic meaning of the word truth / Em 1929 Alfred Tarski escreveu o artigo O Conceito de Verdade nas Linguagens For-mais o qual apresenta a questão sobre a atribuição de verdade . Sua hipótese é que verdade ou falso não são predicados de coisas, mas atributos de expressões mais precisamente de sentenças. Por isso Tarski constrói um modo de predicar esses atributos sem chegar a uma auto-referência contraditória em que a verdade , ou o falso , é e não é predicado ao mesmo tempo: o uso de uma linguagem formal e da metalinguagem para essa linguagem formal. O presente trabalho tem o objetivo de explicitar a Teoria Tarski-ana de Verdade. Uma geral exposição prévia na introdução desta dissertação mostra a limitação da definição para as linguagens naturais. O corpo central deste trabalho é de-dicado uma análise cuidadosa, minuciosa e exaustiva do corpo principal do artigo O Conceito de Verdade nas Linguagens Formalizadas, §2 e §3 (até o Teorema 7), esclare-cendo os pontos principais, para situar-se com rigor diante do que era para Tarski o sig-nificado semântico da palavra verdade