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

Caracterização geomorfológica e paleogeográfica da plataforma continental adjacente a foz do Rio Apodi-Mossoró, RN/Brasil

The brazilian marginal basins have a huge potential to generate and accumulate petroleum. Incised valleys which are eroded in response to a fall of relative sea level are related to potential reservoir as well, modern drowned-valley estuaries serve as harbors to petroleum and salt industries, fisheries, waste-disposal sites and recreational areas for a significant fraction of the world s population. The combined influence of these factors has produced a dramatic increase in research on modern and ancient incised-valley systems. This research is one expression of this interest. The integrated use of satellites images and high resolution seismic (bathymetry, sides scan sonar) was used on the Apodi River mouth-RN to characterizes the continental shelf This area is located at the Potiguar Basin in the NE Brazilian Equatorial Atlantic margin. Through bathymetric and side scan sonar data processing, a digital Terrain Model was developed, and a detailed geomorphologic analysis was performed. In this way was possible to recognize the geomorphologic framework and differents sismofacies, which may influence this area. A channel extending from the ApodiMossoró river mouth to the shelf edge dominates the investigated area. This structure can be correlated with the former river valley developed during the late Pleistocene sea level fall. This channel has two main directions (NW-SE and NE-SW) probably controlled by the Potiguar Basin structures. The western margin of the channel is relatively steep and pronounced whereas the eastern margin consists only of a gentle slope. Longitudinal bedforms and massive ridges also occur. The first are formed doe to the shelf sediment rework and the reef-like structures probably are relics of submerged beachrock-lines indicating past shoreline positions during the deglacial sea-level rise. The sub-bottom seismic data allow the identification of different sismic patterns and a marcant discontinuity, interpreted as the Upper

Programa Nacional de Incentivo à Leitura - PROLER: avaliação da implementação pelo Comitê Potiguar

The National Reading Incentive Program (PROLER) is a national initiative to promote and encourage reading throughout the country, linked to the National Library Foundation (FBN) of the Ministry of Culture (MinC). This research aims to assess the PROLER’s implementation process in the state of Rio Grande do Norte, from the actions of their local committee. The framework is based on contextualize the policies that seek to encourage the book and reading, as well as the processes of implementation and evaluation of public policies. The research is understood as a qualitative descriptive-exploratory study, comprising a single case study. Makes use of semi-structured interview as a tool for data collection, which was attended by 8 members of Potiguar Committee as respondents. The techniques of bibliographical and documentary analysis were used for the analysis and discussion of data obtained from surveys and documents on PROLER; as to the content of the interviews, the technique used was the analysis of conversations. As for the results, the existence of four barriers to program implementation in the state that are worth mentioning is observed: a) the political-administrative discontinuity; b) the limited resources and few partnerships; c) the management of school libraries and absence from the post of librarian in the state and; d) the absence of a process or assessment tool able to evaluate the results or the impacts of actions taken by the Potiguar Committee. It was noticed that these limiting four come PROLER making the implementation of the Rio Grande do Norte a process that, although complying with the national regulations of teacher training and follow school libraries and their needs, not flawed to develop assessments that can measure program impacts, making the feedback process of ineffective policy. Another observation of this study is seen in the fact that the Committee did not get enough to supply their shares resources, as well as not being able to articulate new partnerships, thus contributing negatively to the scope of the program form and, consequently, for the effectiveness of their actions. Has even mentioning the fact that the Committee do nothing regarding the mismanagement of the libraries that are in their care, ie, do not use the power of coercion as guaranteed by the National Policy on Reading and federal laws that treat the school library, and is therefore ineffective in relation to compliance with the program guidelines

Ecologia de comunidades e comportamento reprodutivo de anfíbios anuros em savana amazônica

The Amazon savannas occur as isolated patches throughout extensive areas of forest in the states of Amapá, Amazonas, Pará, and Roraima. There is a considerable variation in the composition of anuran assemblages in the localities and phytophysiognomies of Amazon savannas and given the absence of studies on reproductive behavior, a systematic and geographically wide sampling has been carried out in the Amapá savanna, located in the Eastern Amazon. The study was conducted in a savanna area in the state of Amapá to examine the composition, ecology, and reproductive behavior of anuran amphibians. We carried out 24 field trips in each phytophysiognomy (gramineous-woody savana, gramineous-herbaceous-woody savana, park savana, and arboreal savanna); for analysis of reproductive behavior observations were made during the period January to December 2013, lasting four consecutive days. Samples were collected by active and acoustic search along 20 plots of 100x50 meters. Twenty-one anuran species were recorded, of which four are new records for the state of Amapá: Dendropsophus walfordi, Scinax fuscomarginatus, Pseudopaludicola boliviana e Elachistocleis helianneae. The KruskalWallis ANOVA revealed significant differences between richness and species diversity in the phytophysiognomies (p < 0.05). The Bray-Curtis similarity coefficient divided the phytophysiognomies into three groups: arboreal savana, gramineous-woody savanna and gramineous-herbaceous-woody savanna, and park savanna. According to the non-metric multidimensional scaling, the structure of the anuran community resulted in a separation into three phytophysiognomies, with significant differences in the structure of communities (ANOSIM, R = 0.823; p < 0.001). In the study of community ecology, the results obtained for spatial, temporal, and trophic niche breadth suggest that the assemblage of anurans of the Amapá savanna is not composed of predominantly generalist species. Also, the presence of other specialist anurans may explain the processes of speciation associated with the isolation of habitats, resulting in heterogeneity and spatial discontinuity in the phytophysiognomies with open formations. The null model analysis revealed that the community is structured based on temporal and trophic niche, indicating a significant influence of contemporary ecological factors on the assemblage. The absence of structure based on spatial niche might be explained by the spatial segregation in the distribution and occupation of anurans in the different phytophysiognomies of the Amapá savanna. Regarding the reproductive behavior of anurans, 11 species were classified as having a long breeding season, intrinsically associated with the rainy season and the reproductive mode of most species that lay egg clutches in lentic water bodies. Six reproductive modes were recorded and parental care was observed in Leptodactylus macrosternum and L. podicipinus, whose reproductive mode is characterized by foam nests. Regarding behavioral reproductive strategies, calling males were observed in all species of anurans, satellite males were recorded only for D. walfordi, Hypsiboas multifasciatus, S. nebulosus and S. fuscomarginatus; active search for females was observed for Phyllomedusa hypochondrialis and L. fuscus, and male displacement was recorded only for Rhinella major and R. margaritifera. Of the reproductive behaviors observed, throat and vocal sac display is associated with courtship and territorial behavior exhibited by males. In addition to courtship behavior, visual signals associated with courtship strategies were recorded for the anurans of the Amapá savanna.

A produção do cuidado no período gravídico-puerperal: experiência de mulheres usuárias de serviços públicos de saúde

Despite numerous government projects aimed at reorganizing and qualifying obstetric and neonatal care in Brazil, it remains problematic, with repercussions for maternal and newborn mortality and humanized care of both the mother and child. The objective of this study was to analyze the care provided to women during the pregnancy-puerperium cycle, based on reports of public health service users regarding their pregnancy and delivery experiences, using comprehensiveness and humanization as reference. The study applied a qualitative approach and the methodological strategy consisted of listening to the women, in order to identify, based on the meanings of their discourse concerning their experiences with health services, continuities and discontinuities of care during the pregnancy-puerperium cycle. Study participants were women who gave birth at a municipal public maternity, residents of Natal, Brazil, who at the time of the interviews, were between 10 and 42 days postpartum. Seven women reported their pregnancy and delivery experiences at public services. As interviews and observation took place, the material produced was also analyzed, in order to achieve simultaneous production and data analysis. Using systematization, a dialogue was established between the women’s discourses and production in the field of Collective Health, with respect to concepts and discussion about obstetric and neonatal care as well as the Comprehensiveness and Humanization of such care. Participant discourses underscored aspects related to prenatal care starting at pregnancy and its repercussions as well as prenatal monitoring by health services; aspects associated with care during labor and delivery, as well as those involved in postpartum in the maternity, both with respect to newborn and maternal careç and lastly, puerperium care after discharge from the maternity. Analysis of results sought to identify lines of continuity and discontinuity in the comprehensiveness and humanization of care. Based on these lines and as final contributions of the study, the following paths were proposed to achieve comprehensive and humanized production of health care for women during the pregnancy-puerperium cycle: Path 1- Reassess care in the maternal and newborn health network, aimed at comprehensiveness in terms of guaranteeing access to the various services and technological resources available to enhance health and life. Path 2- Reorganize work processes in order to attain comprehensive and humanized care for women in the pregnancy-puerperium cycle. Path 3 – Qualify the professional-user relationship in care management during the pregnancy-puerperium cycle. Path 4 – Invest in the qualification of communication processes in the different dimensions of care during the pregnancy-puerperium cycle.

A produção do cuidado no período gravídico-puerperal: experiência de mulheres usuárias de serviços públicos de saúde

Despite numerous government projects aimed at reorganizing and qualifying obstetric and neonatal care in Brazil, it remains problematic, with repercussions for maternal and newborn mortality and humanized care of both the mother and child. The objective of this study was to analyze the care provided to women during the pregnancy-puerperium cycle, based on reports of public health service users regarding their pregnancy and delivery experiences, using comprehensiveness and humanization as reference. The study applied a qualitative approach and the methodological strategy consisted of listening to the women, in order to identify, based on the meanings of their discourse concerning their experiences with health services, continuities and discontinuities of care during the pregnancy-puerperium cycle. Study participants were women who gave birth at a municipal public maternity, residents of Natal, Brazil, who at the time of the interviews, were between 10 and 42 days postpartum. Seven women reported their pregnancy and delivery experiences at public services. As interviews and observation took place, the material produced was also analyzed, in order to achieve simultaneous production and data analysis. Using systematization, a dialogue was established between the women’s discourses and production in the field of Collective Health, with respect to concepts and discussion about obstetric and neonatal care as well as the Comprehensiveness and Humanization of such care. Participant discourses underscored aspects related to prenatal care starting at pregnancy and its repercussions as well as prenatal monitoring by health services; aspects associated with care during labor and delivery, as well as those involved in postpartum in the maternity, both with respect to newborn and maternal careç and lastly, puerperium care after discharge from the maternity. Analysis of results sought to identify lines of continuity and discontinuity in the comprehensiveness and humanization of care. Based on these lines and as final contributions of the study, the following paths were proposed to achieve comprehensive and humanized production of health care for women during the pregnancy-puerperium cycle: Path 1- Reassess care in the maternal and newborn health network, aimed at comprehensiveness in terms of guaranteeing access to the various services and technological resources available to enhance health and life. Path 2- Reorganize work processes in order to attain comprehensive and humanized care for women in the pregnancy-puerperium cycle. Path 3 – Qualify the professional-user relationship in care management during the pregnancy-puerperium cycle. Path 4 – Invest in the qualification of communication processes in the different dimensions of care during the pregnancy-puerperium cycle.

Vannevar Bush e as matrizes discursivas de As we may think: por uma possível história da Ciência da Informação

MEDEIROS, A. L.; VANTI, Nadia. Vannevar Bush e as matrizes discursivas de As we may think: por uma possível história da Ciência da Informação. Informação & sociedade:Estudos. João Pessoa, v. 21, p. 31-39, 2011

O Modelo de gestão participativa do Plano Nacional do Turismo (PNT-2003/2007): a atuação do CONETUR/RN

To implement policies and plans at the tourist sector involve disposition to the establishment of parceries among government and private initiative, space to the action of studious, researchers and professionals of several areas of knowledge and formation, able of to give new courses no only at the tourism, but to the economy how a every, seen which the tourism had a effect multiplicator, reaching 52 sectors of the economy. At this sense, the Brazil came pruning for a new phase of politic actuation at the touristy activity. Until the year 2002, the tourism politic in the Brazil no had detail, because herself treated of isolated actions and many without continuity. However, at to start 2003, several actions were developed in order to contribute for the national touristy planning. The principal was the creation of Ministério do Turismo, accompanied of the formulation and implementation of the Plano Nacional do Turismo (2003/2007). This work pretend to understand the implementation at the Rio Grande do Norte of the model of participative administration extolled by Plano Nacional do Turismo. The your centre detail the action of the Conselho Estadual de Turismo do Rio Grande do Norte (CONETUR), to promote the participation at the tourism public policies. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the participation and to the tourism public policies, especially at the Brazil. A qualitative perspective the case study was adapted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The principal actuations of the CONETUR, the directives tourism public policies already made and directed to implementation, the type of participation at made decision, the principal difficulties of the implementation of the participative administration model of the Plano Nacional do Turismo and the degree of participation of the members of the Conselho at the reunions had been identified. The results had shown that exist some difficulties at the implementation of the participation at the Conselho Estadual de Turismo do Rio Grande do Norte, knowledge of the Conselheiros of CONETUR function, the presence of bodies which doesn t directly connected at the touristy activity; the absence of time of the Conselheiros to be presents at reunions; the discontinuity of the presidency of the Conselho; among others. So, the CONETUR show himself how a Conselho with participative characteristics, but with some adapted needs.