Proof And Proving
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Visualización y Razonamiento Configural
Abstract This research analyses the relationships between the identification of prototypical figures and geometrical knowledge in solving proof problems as a evidence of configural reasoning. We analyze the answers of 182 preservice teachers on two geometrical proof problems, which include a geometrical configuration and a request for proving a geometrical f
Bolema. Publicado em: 2017-04
-
2. Teoria kantiana dos juizos juridico-politicos a priori segundo o metodo de analise e sintese / Kantian theory of the a priori juridical-political judgment according to the analysis and synthesis method
The present study about Kantian philosophy aims to demonstrate the feasibility of a priori juridical-political judgments in general, which results in the problem of proving the achievability of universal and continuous peace fomentation. It is through rules and application mechanisms given on politics in general (a priori politics and empirical politics), as
Publicado em: 2010
-
3. Aproveitamento de resíduos da extração de micaxisto em pavimentos flexíveis / Institutional assessment and teaching practice in education Utilization of waste from the extraction of mica in flexible pavements
The recycling of materials has been strengthened as an efficient mechanism to minimise the problems caused by improper disposal of solid waste from human activities. Accordingly, the search for mechanisms able to absorb the waste from quarry, coming from the production of aggregates for construction, it becomes an important tool for mitigating externalities
Publicado em: 2008
-
4. Argumentação e prova: explorações a partir da análise de uma coleção didática
This work is inserted the research project Argumentation and Proof in School Mathematics (AProvaME), which aims to study the teaching and learning of mathematical proofs during compulsory schooling. The main research question of this contribution to the project relates to how proof is treated in particular geometry topics in one collection of mathematics tex
Publicado em: 2007
-
5. Simetrias de hipersuperfÃcies com curvatura escalar nula via PrincÃpio da TangÃncia
In 1983, R. Schoen proved that the only complete immersed minimal hypersurfaces in Rn+1 with two regular ends are the catenoid and a pair of planes. The methods used by Schoen led J. Hounie and M. L. Leite to prove a similar result for hypersurfaces with zero scalar curvature. The main difference in the proof of the two theorems is in the fact that the equat
Publicado em: 2005
-
6. (Re)significar a demonstracao nos curriculos da educacao basica e da formacao de professores de matematica
O presente estudo tem como objetivo procurar compreensões sobre a necessidade e a acessibilidade da implementação de provas e demonstrações nos currículos de Matemática da Educação Básica e investigar as implicações que essa inovação traz aos currículos de formação inicial de professores. Metodologicamente, esse estudo insere-se numa abordag
Publicado em: 2005
-
7. Scalable automated proving and debugging of set-based specifications
We present a technique to prove invariants of model-based specifications in a fragment of set theory. Proof obligations containing set theory constructs are translated to first-order logic with equality augmented with (an extension of) the theory of arrays with extensionality. The idea underlying the translation is that sets are represented by their characte
Journal of the Brazilian Computer Society. Publicado em: 2003-11
-
8. Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia
An introduction to logic programming is initially presented by means of an evolutionary approach. Starting with a fairly complex first order formal system, the concepts of theorem proving and its automatization are described. From there the idea of proof efficiency is presented. The most significant advances obtained during the 20th century in this area are
Publicado em: 1991
-
9. Clonogenic hepatoblasts, common precursors for hepatocytic and biliary lineages, are lacking classical major histocompatibility complex class I antigen
An in vitro colony-forming assay and flow cytometry were used to identify rat hepatoblasts as being classical MHC class I, RT1Al-, OX18low intercellular adhesion molecule 1 (ICAM-1)+. Inducible differentiation toward biliary lineage was observed in most colonies derived from single RT1Al- progenitors, proving their bipotentiality. These findings demons
The National Academy of Sciences.
-
10. Adjoint modular Galois representations and their Selmer groups
In the last 15 years, many class number formulas and main conjectures have been proven. Here, we discuss such formulas on the Selmer groups of the three-dimensional adjoint representation ad(φ) of a two-dimensional modular Galois representation φ. We start with the p-adic Galois representation φ0 of a modular elliptic curve E and present a formula ex
The National Academy of Sciences of the USA.
-
11. BMS-232632, a Highly Potent Human Immunodeficiency Virus Protease Inhibitor That Can Be Used in Combination with Other Available Antiretroviral Agents
BMS-232632 is an azapeptide human immunodeficiency virus type 1 (HIV-1) protease (Prt) inhibitor that exhibits potent anti-HIV activity with a 50% effective concentration (EC50) of 2.6 to 5.3 nM and an EC90 of 9 to 15 nM in cell culture. Proof-of-principle studies indicate that BMS-232632 blocks the cleavage of viral precursor proteins in HIV-infected cells,
American Society for Microbiology.
-
12. Immunogold labeling of rosette terminal cellulose-synthesizing complexes in the vascular plant vigna angularis
The catalytic subunit of cellulose synthase is shown to be associated with the putative cellulose-synthesizing complex (rosette terminal complex [TC]) in vascular plants. The catalytic subunit domain of cotton cellulose synthase was cloned using a primer based on a rice expressed sequence tag (D41261) from which a specific primer was constructed to run a pol