153 resultados para sequent calculus
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Pós-graduação em Odontologia - FOAR
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Biometria - IBB
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Medicina Veterinária - FMVZ
Resumo:
In this paper we present an alternative approach due to Bondi for the special theory of relativity. During the development, we analyse the Bondi diagrams, visual resources from which we can take some information about the analysed systems, and we discuss the K factor of Bondi's theory, which is in the core of this work. We then discuss some of the main results obtained from Einstein's special theory of relativity such as the time dilation, spatial contraction and simultaneity of spatially separated events, besides the Lorentz transformations. We also show other two important results in physics coming from K calculus: the relativistic linear momentum and the total relativistic energy.
Resumo:
Pós-graduação em Biometria - IBB
Resumo:
The use of indexing language in university libraries collective catalogs and the socio-cognitive context of indexing and users were evaluated. The methodology consisted of a diagnostic study elaboration of the functioning and treatment procedures of the indexing information from nine libraries of the UNESP Network, representing the Civil Engineering, Pedagogy and Dentistry areas from a data collection using the Verbal Protocol introspective technique in the Individual and Group forms. The study conducted a reflection upon the statements issued by the seventy-two participating individuals whose the results revealed unsatisfactory results about the use of the Subject Headings List of the BIBLIODATA Network, indexing language utilizing by the UNESP Libraries Network, Brazil, in the representation and in the information retrieval process in the ATHENA catalog, about the sequent aspects of the language: lack of specialized vocabulary as well as updated; lack of remissives and of specific headings, and others. We have concluded that the adequate use of indexing languages of specialized scientific areas becomes by means of evaluation as to updating, specificity and compatibility in order to meet the needs of indexing and information retrieval.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
This study presents the results from a qualitative resource, based on research-action methodology, which examined the innovate teaching practices implementations in the Calculus I during 2011 year. The analysis of collected data from three used sources – an initial questionnaire, an exploratory-investigative classroom, and an interview with some students at the end of the second semester – reveals that the students had appropriated of the technological recourses, using it as a tool to look for the knowledge. The investigative activities with the use of information technologies made the use of multiple representations in solving mathematical tasks, making the transition of numerical, algebraic and geometrical results possible for the students when they have looking for validation of their hypotheses and conjectures during mathematical problems solving. This works helped in the insertion of new practices in the discipline, and their results validate the proposal presented by the teacher, which is the discipline of Calculus use, whose character is strongly linked to the training content of the student, as a discipline whose can contributed to the pedagogical formation of the graduation student, leading him to know the Mathematical Education possibilities, specially the Mathematical Investigation - Solving Problems, in the outlook of dialogued classes where the teacher assumes the facilitator role and where the students become actives in their pursuit of knowledge