Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Sistema de numeração posicional e a lógica da divisão de inteiros

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Dialética da pratica e ação sem prática

O conceito de prática recobriria o de sistema de ação, não fosse a existência de sistemas de ação sem prática. Resta que uma prática é um sistema de ação. Como conseqüência, suposta a reciprocação de sistema com teoria e uma atenta inspeção nos termos da proposição, há equivalência semântica entre prática teóricae sistema de ação prático. Num e noutro caso, a contradição interna aos pares de conceitos se resolve dialeticamente. Graças à dialética, são fundidos numa unidade de sentido, síntese de tensões opostas. Daí a proposta de uma dialética da prática global, conjuntamente abstrata e histórica. Destotalizada ou à margem dessa dialética, pode ser destacada a ação sem prática, exemplificada no drama. Dramática é precisamente uma ação que não é prática. O tempo e o lugar da prática são a história e o mundo do homem; o tempo e o lugar do drama são a ficção cultural e a substância simbólica. Mimese da prática, o drama, reproduz, não os traços do modelo, mas a sua produção, tornando-se por sua vez modelo do modelo. Mimese não é cópia, é forma autônoma de eficiência, paradoxalmente sem prática mas especular.

Habitus professoral e Habitus estudantil: uma proposição acerca da formação de professores

A proposição é a seguinte: há que se ter dois espaços distintos de formação docente, um é a sala de aula da universidade e o outro, a sala de aula da escola para a qual o formando está se preparando. Trata-se de mostrar por que os saberes, teoria e prática, pertencentes a essas duas instâncias de formação são inexoravelmente distintos e, por essa razão, exigem lugares e formas diferentes para serem ensinados e aprendidos. Contudo, a natureza diferente de um e de outro não interfere na genética indissociável de ambos. Ao se apresentar um lugar específico para se aprender a teoria e outro, para se aprender a prática, mostra-se à constituição do habitus professoral e a do habitus estudantil, que constituem as categorias operacionais da proposição. É exatamente nesse quesito que reside a particularidade deste estudo. A base empírica foi constituída com reflexões realizadas no Brasil, a partir dos anos de 1990, sobre o tema: Como se aprende para ensinar na sala de aula. A fundamentação utilizada nesta formulação são noções extraídas das ideias de Bourdieu (1983a; 1983b; 1983c; 1989; 1992; 1996).

Modelos explicativos em saúde coletiva: abordagem biopsicossocial e auto-organização

A complexidade do processo saúde-doença tem ensejado a proposição de uma diversidade de modelos explicativos. Fazemos uma breve revisão dessas propostas, confrontando três perspectivas: o modelo oriundo da Medicina do século XIX, a lógica da História Natural da Doença e o debate epidemiológico no contexto da Medicina Social latino-americana. Tomando-se como referência teórica a ideia de causalidade circular presente na teoria da auto-organização, propomos que os fatores causais privilegiados em cada um dos modelos explicativos acima não seriam conflitantes. Uma noção-chave para se pensar o processo de autoorganização biopsicossocial é o efeito baldwiniano, que descreve uma relação dialética ou coevolutiva entre processos naturais e socioculturais.

Estimativas de herdabilidade e proposição de índices de seleção em Hereford no Rio Grande do Sul

A total of 8,064 records from weaning weights and conformation scores traits of calves nearly seven month-old were studied. The study included animals from 22 herds from state of Rio Grande do Sul, borned from 1973 to 1985 which were raised on pastures. The weaning weight adjusted to 205-day weight and fat deposition and the relation size-length of body were scored subjectively in a scale from zero to ten. The dates 205-day weight, fat deposition and relation size-length of body were 137.00 +/- .20 kg; 6.38 +/- 01 and 6.77 +/- 01 grades, respectively. The heritability estimates were .25 +/- .03, .38 +/- 04 and .37 +/- 04, respectively. The selection index was more efficient than direct phenotypic selection and this study also indicates that general selection index is not adequated to use it in all farms, and it is not necessary to have accurate economic values. The most important parameters to get good selection are reliable estimates of genetic and phenotypic variances and covariances.

Lógica fuzzy na avaliação da fertilidade do solo e produtividade do café conilon

The objective of this study was to analyze, using the geoestatistic and a system of classification fuzzy, the fertility of an experimental area with base in chemical attributes of the soil and its relationship with the productivity of the conilon coffee. The study was accomplished in the experimental farm of the INCAPER - ES. The soil samples were collected in the depth of 0 - 0.2 m, being analyzed the attributes: matches, potassium, calcium and magnesium, aluminum, sum of bases, cation exchange capacity (pH 7), and saturation percentage. The data were submitted to a descriptive, exploratory, and geostatistical analysis. A system of fuzzy classification was applied using the attributes described to infer about the fertility of the soil and its relationship with the productivity of the culture. The fertility possibility presented positive spatial relationship with the productivity of the culture, with higher values of this where the possibility of fertile soil is superior.

Estimativas de parâmetros genéticos e proposição de critérios de seleção para pesos na raça Canchim

The objectives of this study were to obtain heritability and genetic, phenotypic and environmental correlation estimates for birth (B), weaning (WW), yearling (YW) and 18 - (EW) and 24 - month (TW) weights, and to propose selection criteria for body weight in Canchim cattle. The data were analyzed by the least-squares method with models that included the fixed effects of herd, year and month of birth, sex of calf and age of cow at calving, and the random effects of sire within herd. The heritability estimates obtained were equal to 0.36 0.06 (BW), 0.47 0.06 (WW), 0.53 0.07 (YW), 0.54 0.08 (EW) and 0.27 0.06 (TW). The genetic correlations were equal to 0.51 (BW and WW), 0.36 (BW and YW), 0.14 (BW and EW), 0.00 (BW and TW), 0.92 (WW and YW), 0.77 (WW and EW), 0.75 (WW and TW), 0.94 (YW and EW), 0.86 (YW and TW) and 0.85 (EW and TW). The phenotypic correlations ranged from 0.19 to 0.72, and the environmental correlations from 0.11 to 0.61. The results showed that, in general, mass selection for weight will result in genetic progress, selection for weight at any age will result in correlated changes at other ages, and EW and TW are good selection criteria for increasing weight in the Canchim breed.

Aplicación de la lógica económica al financiamiento de la enseñanza: la experiencia de Chile con el subsidio por estudiante

Incluye Bibliografía

Proposição e validações de equações para estimativa da erosividade de dois municípios do estado de São Paulo

The equations and extrapolation use to localities whose characteristics of soil and climate, even if partial, distinguish the town to which they were generated, still permeate in studies to estimate the rainfall erosivity (EI 30). This work has objective to propose and validate mathematical equations to estimate the rainfall erosivity of two cities of Sao Paulo State's. The adjusted to estimate obtaining and validate data of equations of erosivity (EI 30) according to values of coefficient of rain (Rc) were obtained from pluviographic and pluviometric rainfall data, respectively, using of distinct historical rainfall series. Mutiple comparisions test and confidence intervals were performed to compare absolute average of EI 30, pluviometric data (Pp), and Rc. The correlation between EI 30 and Rc was verified by of Pearson correlation coefficient. Test of the hypothesis of equality between population variance was used to compare the equations. Pluviometrics data of historical series rainfall data different than those that the models were generated were used to validate and to assess the performance of the equations, proposed of this study and compare them with another equation already consolidated in literature. The results show that for the conditions under which the study was conducted, the simple linear equations, shown to be the most appropriate to estimate the rainfall erosivity these two cities. According to the test of the hypothesis of equality variances between populations, the equations adjusted for each city differ statistically so that the rainfall erosivity of each city must be estimated by their respective equation.

Proposição de rotina morfológica para detecção de malha viária em imagens orbitais

The outdating of cartographic products affects planning. It is important to propose methods to help detect changes in surface. Thus, the combined use of remote sensing image and techniques of digital image processing has contributed significantly to minimize such outdating. Mathematical morphology is an image processing technique which describes quantitatively geometric structures presented in the image and provides tools such as edge detectors and morphological filters. Previous studies have shown that the technique has potential on the detection of significant features. Thus, this paper proposes a routine of morphological operators to detect a road network. The test area corresponds to an excerpt Quickbird image and has as a feature of interest an avenue of the city of Presidente Prudente, SP. In the processing, the main morphological operators used were threshad, areaopen, binary and erosion. To estimate the accuracy with which the linear features were detected, it was done the analysis of linear correlation between vectors of the features detected and the corresponding topographical map of the region. The results showed that the mathematical morphology can be used in cartography, aiming to use them in conventional cartographic updating processes.

Lógica y paradoja: libre comercio, migración limitada. Memorias del Taller sobre Migración Internacional y Procesos de Integración y Cooperación Regional

Incluye Bibliografía

La vieja lógica del Nuevo Orden Económico Internacional

Incluye Bibliografía

Economía campesina: lógica interna, articulación y persistencia

Incluye Bibliografía