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

Análise de terrenos na porção setentrional da Província Borborema, NE do Brasil: integração de dados geológicos e gravimétricos

It is presently assumed that the Borborema Province resulted from a complex collisional process associated with the convergent movement of plates, possibly involving amalgamation and accretion of microplates. This process was consolidated at the end of the Brasiliano event. It is investigated the possible limits for the tectonostratigraphic terranes in the northern portion of the province based on an integrated study of geological and gravity data. The study area comprises the portion of the Borborema Province located north of the Patos Lineament, limited by longitudes 33º00 W and 43º29 44"W and latitudes 1º36 S and 8º00 S. A revision of the regional geology allowed to identify areas presenting contrasting geological attributes, possibly representing different terranes whose limits are always shear zones of Brasiliano-age. The Sobral-Pedro II shear zone is the only one undoubtedly presenting geological attributes of sutures zones. The other shear zones are very likely associated with a geodinymic context of accretion, involving oblique collisions (docking), transcurrent and/or transforming sutures, and deep intracrustal shear zones. The gravity data contributed as a tool to identify strong lateral contrasts of density inside the upper crust possibly associated with crustal blocks tectonically juxtaposed. The dominant long wavelength anomaly in the Bouguer anomaly map is an expressive gradient, grossly parallel to the continental margin, caused by density variation across the crust-mantle interface in the transition from the continental crust to the oceanic crust originated by the separation between South America and Africa. Medium to small wavelength anomalies are due to intracrustal heterogeneities such as different Precambrian crustal blocks, Brasiliano-age granites and Mesozoic sedimentary basins. A regional-residual separation of the Bouguer anomaly map was performed in order to enhance in the residual map the effect due to intracrustal heterogeneities. The methodology used for this separation was a robust polinomial fitting. The inversion of residual gravity field resulted in a density contrast map (Δρ), in an equivalent layer that provided more accurated anomalies contours and consolidated the model which the sources of residual anomalies are located in the upper part of the present crust. Based on the coincidence of gravity lineaments in the residual map and Brasiliano shear zones, and using additional geological information, the following shear zones are proposed as limits between terranes: Patos shear zone, Sobral-Pedro II shear zone, Picuí-João Câmara shear zone, Remígio-Pocinhos shear zone, Senador Pompeu shear zone, Tauá shear zone, and Portalegre shear zone. Based on the geological/geophysical information it is attributed a higher level of confidence to the first three proposed limits(Patos, Sobral Pedro II, and Picuí-João Câmara shear zones). From west to east, these shear zones individualize the following terranes: Northwest of Ceará terrane, Central Ceará terrane, Tauá terrane, Orós-Jaguaribe terrane, Seridó terrane, and São José de Campestre terrane. In our study, the Rio Piranhas and Patos terranes are questioned because their previously proposed limits do not present good geological and gravimetric evidences. On the other hand, the previously proposed Cearense terrane is now subdivided into Central Ceará and Tauá terranes. Two residual gravity profiles located in the Seridó belt were interpreted using 2 ½ D direct gravity modeling. The main result of the modeling process is that all anomalies, with the exception of one, can be explained by outcroppring bodies, therefore restricted to the upper part of the present crust

Estruturação do grupo Serra Grande região de Santana do Acaraú- CE e a reativação do lineamento Sobral Pedro II, integração com dados geofísicos

The study area is located in the NW portion of the Ceará state nearby the city of Santana do Acaraú. Geologically it lies along the Sobral-Pedro II lineament which limits the domains of Ceará Central and Noroeste do Ceará, both belonging to the Borborema Province.The object of study was a NE trending 30km long siliciclastic body (sandstone and conglomerate) bounded by transcurrent dextral faults. The sediments are correlated to the Ipú Formation (Serra Grande Group) from the Parnaiba basin, which age is thought to be Siluro-Devonian. Existing structural data shown that bedding has higher but variable dips (70-45) near the borders faults and much lower to subhorizontal inward the body. The brittle deformation was related to a reactivation, in lower crustal level, of the Sobral-Pedro II lineament (Destro (1987, 1999; Galvão, 2002).The study presented here was focused in applying geophysicals methods (gravimetry and seismic) to determine the geometry of the sandstone/conglomeratic body and together with the structural data, to propose a model to explain its deformation. The residual anomalies maps indicate the presence of two main graben-like structures. The sedimentary pile width was estimated from 2D gravimetric models to be about 500-600 meters. The 3D gravimetric model stressed the two maximum width regions where a good correlation is observed between the isopach geometry and the centripetal strike/dip pattern displayed by the sediments bedding. Two main directions (N-S and E-W) of block moving are interpreted from the distribution pattern of the maximum width regions of the sedimentary rock

O espaço central das atenções: o corredor de integração da região metropolitana de Natal

This work considers the space study of the main road runner of integration of the Region Metropolitan of Natal (RMN) in formation, emphasizing its repercussion for the geographic context of the city, where we identify the positive and negative aspects of such space configuration, as for the aspects of the urban inaquality, economic centrality and of flows, promoted for the state and private capital (national and foreign). The linear convergence and polinucleately of geographic objects in that we identify as Central Space of Attentions (CSA), promoted, and still it promotes, important repercussion in the space estructuretion of the peripheral areas of the RMN, such as in the constitution of the "Capital Value of the Space". In this direction, to endorse the analysis of such reading, choose as cientific ballast the geographic theory, in a perspective dialectic, as well as we rescue contributions of the science of the administration, sociology, economy, amongst others. From the empirical research, subsidized with the application of forms together the entrepreneurs whom they possess investments in the CSA, as well as in the rescue of information you register in cadastre in the Junta Comercial do Estado do Rio Grande do Norte (JUNCERN) and telephonic list, we construct a proposal of reading of the current period of training of the process of space production to which is rank the CSA. The analysis of the data, under a comparative space angle, presents an important contribution to reevaluate the urban space of the RMN in its bigger aspect, exceeding the limits of the studied road corridor

Escolas Técnicas do SUS (ETSUS) no Brasil: regulação da integração ensino serviço e sustentabilidade administrativa

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

Composição florística e estrutura da comunidade arbórea na transição da Floresta Ombrófila Densa das Terras Baixas - Floresta Ombrófila Densa Submontana do Núcleo Picinguaba/PESM, Ubatuba, sudeste do Brasil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Florística e fitossociologia do componente arbóreo da transição Floresta Ombrófila Densa das Terras Baixas - Floresta Ombrófila Densa Submontana do Núcleo Picinguaba/PESM, Ubatuba, sudeste do Brasil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A Survey of mid and large bodied mammals in Núcleo Caraguatatuba, Serra do Mar State Park, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Reproduction of Pirapitinga do Sul (Brycon opalinus Cuvier, 1819) in the Parque Estadual da Serra do Mar-Núcleo Santa Virgínia, São Paulo, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Gonadossomatic relation and reproductive strategy of Brycon opalinus (Cuvier, 1819) in the Serra do Mar State Park - Núcleo Santa Virgínia, Atlantic Forest, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Reprodução e alimentação de Rhamdia quelen (Quoy & Gaimard, 1824) em rios do Núcleo Santa Virgínia, Parque Estadual da Serra do Mar, São Paulo, SP

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relação peso-comprimento e fator de condição de Oligosarcus hepsetus (Cuvier, 1829) no Parque Estadual da Serra do Mar - Núcleo Santa Virgínia, Mata Atlântica, estado de São Paulo, Brasil

Foram analisados a relação peso-comprimento e o fator de condição de Oligosarcus hepsetus no Rio Grande do Parque Estadual da Serra do Mar - Núcleo Santa Virgínia, São Paulo. A relação peso-comprimento foi estimada para imaturos, fêmeas e machos, através da expressão P = aCb. Os parâmetros a e b foram estimados após transformação logarítmica dos dados de peso e comprimento e subsequente ajuste de uma linha reta aos pontos pelo método dos mínimos quadrados. Para fêmeas e machos foram obtidas as equações da relação peso-comprimento por período do ano (outono, inverno, primavera e verão), utilizando o peso total e o peso sem as gônadas. O fator de condição dos imaturos foi mais alto do que para machos e fêmeas, possivelmente, devido ao gasto energético com o desenvolvimento dos ovócitos e em menor grau dos espermatozóides. Esta espécie apresentou maiores valores de fator de condição no outono devido ao acúmulo de gordura e nas demais estações estes valores diminuíram devido ao longo período reprodutivo. As condições ambientais da Mata Atlântica parecem ser primordiais para o desenvolvimento das estratégias reprodutivas apresentadas por Oligosarcus hepsetus.

Crescimento e mortalidade de Oligosarcus hepsetus (Cuvier, 1829) (Characiformes, Characidae) no Parque Estadual da Serra do Mar, Núcleo Santa Virgínia, São Paulo, Brasil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Estudo da anomalia de Pelger-Huët em núcleo familiar

The Pelger-Huët anomaly is a dominant autosomal disease, characterized by the incomplete segmentation of the granulocytes nucleus without lost of the cellular function. The heterozygotes form of this anomaly is assintomatic and it did not possess physic meant, while the homozygote form is rare and can be lethal, being therefore, important differentiates of other infectious alterations. The pseudo-anomaly can occasionally be observed in cases of granulocitic leukemia, mieloproliferatives Diseases, some infections and after exposition the determined drugs. We evaluate eleven members of a familiar nucleus and, after the blood cells analysis, six of then had presented neutrophils and eosinophils with nuclei characteristic of the heterozygotes form of the Pelger-Huët anomaly. The recognition of this leukocyte anomaly, mainly in patients without infection and presenting great number of not segmented neutrophils, can prevent wrong interpretations of the blood cells count and unnecessary clinical and therapeutically behaviors.