Proof Theory
Mostrando 25-36 de 93 artigos, teses e dissertações.
-
25. n-Larguras de conjuntos de funções suaves sobre a esfera S POT. d / n-Widths of sets of smooth functions on the sphere S POT. d
The purpose of this work is to study estimates of n-widths of sets of smooth functions on the d-dimensional real unitary sphere. These sets are generated by multipliers operator. Another aim is to develop a text in portuguese about the most important n-widths, your properties and relations. We do this in the first chapter. In the second chapter, we develop a
Publicado em: 2009
-
26. Ethical and legal aspects in the professional pratice of the surgeon-destist as individual and juridical person / Aspectos eticos e legais do exercicio profissional do cirurgião dentista como pessoas fisica e juridica
A short time ago, a greater number of surgeon-dentists who practised their functions in the cities of Betim and Contagem (Metropolitan Region of Belo Horizonte), restringed to carry out their work as an individual person, that s to say, as an independent professional. With change of behavior in society, influenced by the Federal Constitution reform 1988, the
Publicado em: 2009
-
27. Uma formalização da teoria de reescrita em linguagem de ordem superior
Theories for Abstract Reduction Systems (ARS) and Term Rewriting Systems (TRS) in the proof assistant PVS (Prototype Verification System) called ars and trs, respectively, we developed. The ars theory built on the PVS library for binary relations, contains specifications of notions such as reduction, confluence, normal forms, and non basic concepts such as N
Publicado em: 2008
-
28. O sujeito pronominal nas tiras da Mafalda: uma análise contrastiva do sujeito nulo nas gramáticas do português brasileiro e do italiano
Proof of the sundering of Portuguese as spoken in Brazil and Portugal has been the subject of several investigations, which point out that Brazilian Portuguese displays a particular Null Subject behavior. This behavior is presumably due to a reduction of inflected forms in the inflectional paradigm that has led BP to phonetically express pronouns. Accordingl
Publicado em: 2008
-
29. Uma anÃlise de auto-referÃncia baseada em fluxos semÃnticos
In order to account for the interpretation of self-referential propositions, we consider a valuation system based on streams of truth-values. The interpretation is based on hypersets, whose framework we revisit with a view towards solving circular truth-value equations in terms of streams. For that reason we based our semantics in an including theory develop
Publicado em: 2008
-
30. Conjunto dos números irracionais: a trajetória de um conteúdo não incorporado às práticas escolares
The main objective of this work is to investigate the difficulties that appeared along the history for the development of the mathematical content irrational numbers and which are the approaches present in the text books. The subject irrational numbers is considered important in the basic education of Mathematics and it comes for the students, in the text bo
Publicado em: 2008
-
31. Levantamento das jurisprudências de processos de responsabilidade civil contra o cirurgião-dentista nos Tribunais do Brasil por meio da Internet / Survey on jurisprudences of civil liability lawsuits against dentists in Brazilian Courts via the Internet
The civil liability act is one of the resources provided by law, which can be used by any patient in order to bring a legal action for damages against dentists. With the increase in the number of cases, the necessity of a sound knowledge on the features of these lawsuits has proportionally augmented, so that the professionals may have a solid orientation to
Publicado em: 2008
-
32. Entre a voz e a letra : a argumentação nos resumos dos depoimentos judiciais / Between the voice and the letter : argumentation in the summaries of judicial depositions
Based on the basic tenet of the Argumentative Semantics, according to which argumentation is enrolled in the language, this study investigates the presence of such argumentative marks in the summary produced by the judge, when converting into text the interrogatory by him conducted, following the rules of the Brazilian procedural system. As for the oral inte
Publicado em: 2008
-
33. Evolucionismo e criacionismo : aspectos de uma polemica / Evolutionism and creationism : aspects of a polemic
This thesis analyzes the relation between the Neodarwinist scientific disclosure discourse and the conservative creationist discourse. The Neodarwinism, in this study, shows the contemporary thought of the several Biology tendencies that follow the model structured by Charles Darwin, in his work On the Origin of Species. The conservative creationism, also kn
Publicado em: 2008
-
34. Bayesian inference in the assessment of precast piles foundations safety. / Inferência bayesiana na avaliação da segurança de fundações em estacas de deslocamento.
The theme of "foundations safety" deserves special attention in theory and practice, due to the need to find optimized solutions, which balance cost and safety, solutions that differ in their method of uncertainty treatment. An important way of coping with these uncertainties is the proof pile load tests. Recently, the importance of proof load tests in the r
Publicado em: 2007
-
35. VALUATION OF XTL PLANTS PROJECT INVESTMENT BASED ON REAL OPTIONS THEORY / AVALIAÇÃO DE PROJETOS DE INVESTIMENTO EM PLANTAS XTL UTILIZANDO A TEORIA DE OPÇÕES REAIS
The objective of this dissertation is to value the operational flexibility that a GTL plant can offer at the entrance of the productive process where multiples inputs can be used as row material. Different products also can be produced. The real options theory is considered by the author as the most indicated financial methodology to value theses flexibiliti
Publicado em: 2007
-
36. Re-significando a disciplina teoria dos números na formação do professor de matemática na licenciatura
This study is part of the issue that questions which algebra should be taught in the different levels of schooling, especially in the development of mathematics teachers for basic education. In this context, this study was guided by the question: Which Number Theory is or should be understood as a piece of knowledge to be taught in mathematics teacher develo
Publicado em: 2007