Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

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

Estudo comparativo de carragenanas comerciais Kappa, Iota e Lambda no processo inflamatório em ratos :edema intraplantar e pleurisia

The Iota, Kappa and Lambda commercial carrageenans are rarely pure and normally contain varying amounts of the other types of carrageenans. The exact amount of impurity depends on the seaweed source and extraction procedure. Then, different analysis methods have been applied for determination of the main constituents of carrageenans because these three carrageenans are extensively used in food, cosmetic and pharmaceutical industry. The electrophoresis of these compounds proved that the carrageenans are constituted by sulfated polysaccharides. These compounds were characterized by colorimetric methods and was observed that the Lambda carrageenan shown the greater value (33.38%) of sulfate. These polymers were examined by means of 13C NMR spectroscopy and infrared spectra. The polysaccharides consisted mainly of units alternating of sulfated galactoses and anhydrogalactoses. The aim of the study was also to test the inflammatory action of these different polysaccharides. A suitable model of inflammation is acute sterile inflammation of the rat hind limb induced by carrageenan. Paw edema was induced by injecting carrageenans (κ, ι and λ) in saline into the hind paw of a male Wistar rats (175–200 g). The pathway to acute inflammation by carrageenan (kappa, iota and lambda) were expressed as time-edema dependence and measured by paw edema volume. For this purpose, was used an apparatus (pakymeter), which makes it possible to measure the inflammation (swelling of the rat foot) with sufficient accuracy. The results showed that κ-carrageenan (1%) have an edema of 3.7 mm and the paw edema increase was time and dose dependent; the ι-carrageenan (0.2%) caused an edema of 4 mm and the λ-carrageenan (1%) caused an edema of 3.6 mm. Other model was used in this study based in the inflammation of pleura for comparatives studies. Injection of carrageenans into the pleural cavity of rat induced an acute inflammatory response characterized by fluid accumulation in the pleural cavity, a large number of neutrophils and raised NO production. The levels of NO were measured by Griess reactive. The ι-carrageenan caused the greater inflammation, because it has high concentration of nitrite/nitrate (63.478 nmoles/rat), exudato volume (1.52 ml) and PMNs (4902 x 103 cells). Quantitative evaluation of inflammations of rats is a useful and important parameter for the evaluation of the efficacy of anti-inflammatory drugs

Dificuldades na construção de gráficos de funções

This study describes about graduation s students difficulties of to draw functions graph. Specifically, we intend to observe their abilities evolution, as well as their difficulties during Calculus I subject in engineering course. For that, we show them publications about the elaboration of graphs and its difficulties in obstacle terms and some researches witch contain this subject and that it was done during postgraduate studies in mathematical education. It shows by research methodology aspects related to French didatic s mathematic and some theories of cognitive psychology considering the high value between theoretical-methodological relation that was evidenced in both theoretical conceptions about ways to understand and teach mathematic. This methodology is based on didactic engineering purpose, that consist in preliminaries analysis, conception and didactic sequence analysis prior, trials by application followed analysis up and conclusion. We had also used pedagogicals actions and analysis of results achieved, to classify types of errors made by the 2005 s students during second semester, from conceptions related to the episthemologic and didactics obstacles

Estudo comparativo de carragenanas comerciais Kappa, Iota e Lambda no processo inflamatório em ratos :edema intraplantar e pleurisia

The Iota, Kappa and Lambda commercial carrageenans are rarely pure and normally contain varying amounts of the other types of carrageenans. The exact amount of impurity depends on the seaweed source and extraction procedure. Then, different analysis methods have been applied for determination of the main constituents of carrageenans because these three carrageenans are extensively used in food, cosmetic and pharmaceutical industry. The electrophoresis of these compounds proved that the carrageenans are constituted by sulfated polysaccharides. These compounds were characterized by colorimetric methods and was observed that the Lambda carrageenan shown the greater value (33.38%) of sulfate. These polymers were examined by means of 13C NMR spectroscopy and infrared spectra. The polysaccharides consisted mainly of units alternating of sulfated galactoses and anhydrogalactoses. The aim of the study was also to test the inflammatory action of these different polysaccharides. A suitable model of inflammation is acute sterile inflammation of the rat hind limb induced by carrageenan. Paw edema was induced by injecting carrageenans (κ, ι and λ) in saline into the hind paw of a male Wistar rats (175–200 g). The pathway to acute inflammation by carrageenan (kappa, iota and lambda) were expressed as time-edema dependence and measured by paw edema volume. For this purpose, was used an apparatus (pakymeter), which makes it possible to measure the inflammation (swelling of the rat foot) with sufficient accuracy. The results showed that κ-carrageenan (1%) have an edema of 3.7 mm and the paw edema increase was time and dose dependent; the ι-carrageenan (0.2%) caused an edema of 4 mm and the λ-carrageenan (1%) caused an edema of 3.6 mm. Other model was used in this study based in the inflammation of pleura for comparatives studies. Injection of carrageenans into the pleural cavity of rat induced an acute inflammatory response characterized by fluid accumulation in the pleural cavity, a large number of neutrophils and raised NO production. The levels of NO were measured by Griess reactive. The ι-carrageenan caused the greater inflammation, because it has high concentration of nitrite/nitrate (63.478 nmoles/rat), exudato volume (1.52 ml) and PMNs (4902 x 103 cells). Quantitative evaluation of inflammations of rats is a useful and important parameter for the evaluation of the efficacy of anti-inflammatory drugs