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

Sistemas de dunas do parque das Dunas e Barreiras do Inferno/Natal (RN: levantamento geológico /geofísico, elaboração do modelo deterministico e avaliação da vulnerabilidade/suscetibilidade

The current work was developed on the dune systems of the Parque das Dunas and Barreira do Inferno. These places are located in the cities of Natal and Parnamirim (RN, Brazil), respectively. This project has the purpose of developing the deterministic model on a specific blowout at Parque das Dunas, based in the geophysical interpretations of the lines gotten with the Ground Penetration Radar and the planialtimetric acquisitions of the topographical surface of the land. Also analyses of the vulnerability/susceptibility of these dune systems had been done in relation to the human pressures. To develop its deterministic model, it is necessary to acquire inner and outer geometries of the cited blowout. In order to depict inner geometries underneath the surface are used the GPR observing the altimetric control for topographical correction of the GPR lines. As for the outer geometries, the geodesic GPS gives us the planialtimetric points (x, y and z points) with milimetric precision, resulting in high-resolution surfaces. Using interpolation methods of the planialtimetric points was possible create Digital Elevations Models (DEM´s) of these surfaces. As a result, 1,161.4 meters of GPR lines were acquired on the blowout at the Parque das Dunas and 3,735.27 meters on the blowout at the Barreira do Inferno. These lines had been acquired with a 200 MHz antenna, except the 7 and 8 lines, for which we had been used a 100 MHz antenna. The gotten data had been processed and interpreted, being possible to identify boundary surfaces of first, second and third order. The first order boundary surface is related with the contact of the rocks of the Barreiras Group with the aeolian deposits. These deposits had been divided in two groups (Group 1 and Group 2) which are related with the geometry of stratum and the dip of its stratifications. Group 1 presented stratum of sigmoidal and irregular geometries and involved bodies where the reflectors had presented dips that had varied of 20 to the 28 degrees for the Parque das Dunas blowout and of 22 to the 29 degrees for the Barreira do Inferno blowout. Usually, it was limited in the base for the first order surface and in the top for the second order surface. Group 2 presented stratum of trough, wedge or lens geometries, limited in the base for the second order vi surface, where the corresponding deposits had more shown smoothed reflectors or with dips of low angle. The Deterministic and Digital Elevation Models had been developed from the integration and interpretation of the 2D data with the GOCAD® program. In Digital Elevations Models it was possible to see, for the localities, corridor or trough-shaped blowouts. In Deterministic Model it was possible to see first and second order boundary surfaces. For the vulnerability/susceptibility of the dune systems it was applied the methodology proposal by Boderè al (1991); however the same one did not show adequate because it evaluates actual coastal dunes. Actual coastal dunes are dunes that are presented in balance with the current environmental conditions. Therefore, a new methodology was proposal which characterizes the supplying and activity sedimentary, as well as the human pressures. For the methodology developed in this work, both the localities had presented a good management. The Parque das Dunas was characterized as a relic dune system and the Barreira do Inferno was characterized as a palimpsestic dune system. Also two Thematic Maps had been elaborated for the environmental characterization of the studied dune systems, with software ArcGis 8.3, and its respective data bases

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