Proofs
Mostrando 13-24 de 103 artigos, teses e dissertações.
-
13. A questão da argumentação e prova na matemática escolar: o caso da medida da soma dos ângulos internos de um quadrilátero qualquer
This study is placed in the context of teaching and learning of mathematical proofs and arguments by students of middle school, developed under the Project Reasoning and Proof in School Mathematics (AProvaME). The aim of the work refers to map the concepts of argumentation and proofs of adolescent students aged between 14 and 16 years of public and private s
Publicado em: 2009
-
14. Sobre Conjuntos Dominantes Eficientes em Grafos / On the Efficient Dominating Sets in Graphs
Given a graph G = (V;E) and a set of vertices D V, a vertice v 2 V is dominated by D if jN[v] Dj 1. When jN(v) Dj = 1 for all v 2 V, G is efficiently dominable. A generalization of this concept is called efficient multiple domination, which requires all vertices must be dominated by a set D V exactly k times. The aim of this dissertation is to study these to
Publicado em: 2009
-
15. Study of the acetic bacteria nutritional necessity for the acid production / Estudo das necessidades nutricionais de bacterias aceticas para a produção de acido acetico
The acetical bacteria are used in vinegar production. The nutritional requirement of acetical bacteria is poorly known, and the maintenance of these microorganisms is too difficult. The reactors of submerged acetical fermentation promote conditions of physiologic stress: acidity (up to 10% p/v), alcohol (2%p/v) and oxygenation (0,4 vvm).These parameters are
Publicado em: 2009
-
16. Abstração de provas para explicação na web
In order to answer queries to human users on the web, intelligent agents use a reasoning mechanism to process information and access services available on the web. Every step of this reasoning process form a proof and the information presented in these proofs facilitate generating explanations from proofs on the web. However, these automatic generated proofs
Publicado em: 2008
-
17. Abstração de provas para explicação na web
A fim de responderem as consultas realizadas pelas pessoas na web, agentes inteligentes utilizam um mecanismo de raciocínio para processar as informações e acessar os serviços disponíveis na web. Todos os passos desse raciocínio formam uma prova e as informações dessas provas auxiliam nas explicações dos resultados aos usuários. Entretanto, essas
Publicado em: 2008
-
18. 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
-
19. Martensita induzida por deformação a temperatura ambiente na liga de 3,5Ni 1V 13,8Al Cu com efeito, memória de forma / MARTENSITE INDUCED BY DEFORMATION AT ROOM TEMPERATURE IN THE ALLOY OF 3,5Ni-1V-13,8Al-Cu WITH SHAPE MEMORY EFFECT
The presented work consists of a study for observation of the martensite kept in the transformation of martensite phase - austenite in a alloy of Ni - Al - V, with memory shape effect, into, a room temperature. We defined that the alloy with composition the 3,5% (in weigh) of nickel, presents better results when happens successive loading and downloading can
Publicado em: 2008
-
20. Orbitas periodicas em sistemas mecanicos / Periodic orbits in dynamical systems
In this work we study dynamical systems possessing Hamiltonian and time-reversible structures. The reversibility concept is de¯ned in terms of an involution. Initially we discuss the dynamics of Hamiltonian vector ¯elds with 2 and 3 degrees of freedom around an elliptic equilibrium in the presence of an involution which preserves the symplectic structure.
Publicado em: 2008
-
21. ISOLAMENTO DE Cryptococcus neoformans (SANFELICE) VUILLEMIN (1901) DE Periplaneta americana (LINNEU, 1758) RECOLHIDAS DE AMBIENTES PÚBLICOS. / ISOLATION OF Cryptococcus neoformans (SANFELICE) VUILLEMIN (1901) OF Periplaneta americana (LINNEU, 1758) COLLECTED IN PUBLIC PLACES.
The objective of this paper was determined the presence of Cryptococcus neoformans in cockroach (Periplaneta americana) collected in public places. The motivation for this research was based on the fact that this species of cockroach is synanthropic and vehicle of several pathogenic agents for man and animals. The insect were collected already dead and also
Publicado em: 2008
-
22. Direito à intimidade genética na relação de emprego.
Thesis discusses the right to genetic privacy at ones area of employment. Begins by relating the rights of personality its definition characteristic and classification in order to confront questions regarding the use of genetic privacy. In analyzing this subject various problems arise such as definition characteristics and forms of access to the human genome
Publicado em: 2008
-
23. The French proverbs utilized as argumentation in art chronicles / Os provérbios utilizados como forma de argumentação nas crônicas de arte
The analysis of French proverbs as arguments requires a previous study of their origins, historical and cultural role and their characteristics. The main elements that differ them from other sentence genres are their sentence content, their fixed form that allows them to be recognized as an independent sentence, their implicative nature and their relationshi
Publicado em: 2008
-
24. 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