Construção de tabelas verdade

Esta apresentação busca mostrar como deve ser feito para criar tabelas verdade para uma proposição compostas. São exibidos os passos a serem seguidos para a construção segundo um problema. Tem como inicio o entendimento do problema, a manipulação das variáveis do problema, a ordenação das mesmas e a construção propriamente dita da tabela. Seguidamente, é feita o preenchimento das linhas e colunas de acordo com o conceito abordado, este passo precede o entendimento de como fica a tabela-verdade populada aplicando os conceitos relacionados ao operador “ou” e a negação de uma proposição.

Abordagem de problemas e estratégia de desenvolvimento.

Material trata dos conceitos inicias para se começar a desenvolver Algoritmos. Para tanto é necessário lembrar do seu funcionamento, por exemplo: é importante lembrar que existe uma lógica de interpretação do problema seguindo uma sequência linear. Outro aspecto importante é a remoção de ambiguidade. Na sequência, são apresentadas as cinco etapas para o ciclo de desenvolvimento: entendimento do problema, entendimento da solução não algorítmica, proposição da solução algorítmica, depuração (testes, correções reavaliação da solução) e, avaliação da solução quanto a melhorias e desempenho.

Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

Construção de tabelas verdade - Parte 1

O vídeo explica a construção de uma tabela verdade para uma proposição composta e seus procedimentos. A tabela verdade é composta de 8 linhas e três passos de elaboração: o primeiro defini os valores de cada variável, o segundo defini as colunas de cada sub-fórmula e o terceiro defini o valor final de cada proposição.

Construção de tabelas verdade - Parte 3

O vídeo explica a construção de uma tabela verdade através de uma proposição composta. O primeiro passo é definir os valores de cada variável de forma direta. Depois, definir as colunas de cada sub-fórmula e preencher as colunas aplicando operadores, e com isso, definir os valores lógicos da proposição final.

Redes sociais e a lógica do desvio comportamental em relação às normas de trabalho

This paper aim to check a hypothesis that assumes several behaviors related to social work norm´s obeying as a phenomenon that can be explained by actor´s social network structure and the rational choice processes related to the social norm inside that network, principally the payoff´s analysis received by the closest actors, or neighbors, at a social situation. Taking the sociological paradigm of rational action theory as a basis, the focus is on a debate about the logic of social norms, from Émile Durkheim´s method to Jon Elster´s theory, but also including social network analysis´s variables according to Robert Hanneman; and also Vilfredo Pareto´s constants related to human sociability, at the aim to detect elements that can help the scholars to develop an agent based model which could explain the sociological problem of deviance by a better way than the common sense´s view about morality and ethics at a social work environment

Direito fundamental à saúde: parâmetros e alternativas para sua concretização no Brasil

If, on one hand, only with the 1988 Federal Constitution the right to health began to receive the treatment of authentic fundamental social right; on the other, it is certain since then, the level of concretization reached as to such right depicts a mismatch between the constitutional will and the will of the rulers. That is because, despite the inherent gradualness of the process of concretization of the fundamental social rights, the Brazilian reality, marked by a picture of true chaos on public health routinely reported on the evening news, denatures the priority status constitutionally drew for the right to health, demonstrating, thus, that there is a clear deficit in this process, which must be corrected. This concern regarding the problem of the concretization of the social rights, in turn, is underlined when one speaks of the right to health, since such right, due to its intimate connection with the right to life and human dignity, ends up assuming a position of primacy among the social rights, presenting itself as an imperative right, since its perfect fruition becomes an essential condition for the potential enjoyment of the remaining social rights. From such premises, this paper aims to provide a proposal for the correction of this problem based upon the defense of an active role of the Judiciary in the concretization of the right to health as long as grounded to objective and solid parameters that come to correct, with legal certainty, the named deficit and to avoid the side effects and distortions that are currently beheld when the Judiciary intends to intervene in the matter. For that effect, emerges as flagship of this measure a proposition of an existential minimum specific to the right to health that, taking into account both the constitutionally priority points relating to this relevant right, as well as the very logic of the structuring of the Sistema Único de Saúde - SUS inserted within the core of the public health policies developed in the country, comes to contribute to a judicialization of the subject more in alignment with the ideals outlined in the 1988 Constitution. Furthermore, in the same intent to seek a concretization of the right to health in harmony with the constitutional priority inherent to this material right, the research alerts to the need to undertake a restructuring in the form of organization of the Boards of Health in order to enforce the constitutional guideline of SUS community participation, as well as the importance of establishing a new culture budget in the country, with the Constitution as a compass, pass accurately portray a special prioritization directed constitutional social rights, especially the right to health

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

Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense

Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the logic of the nonsense as an element to motivate the development of mathematical thinking of the reader, taking it as well, learn by establishing a link between the concrete (mathematics) and the imaginary (their universe). In order to investigate and discuss the educational potential of their works and state some elements that can contribute to a decentralized math education from the traditional method of following the models and decorate formulas, we visited his works based on the studies of archeology of knowledge (FOUCAULT, 2007), the rational thought and symbolic thinking (VERGANI, 2003) and about the importance of stories and narratives to the development of human cognition (FARIAS, 2006). Through a descriptive, analytical study, we used the literary construction and presented part of our study in form of a mathematical novel, to give the mathematical school a particular charm, without depriving it of its basics properties as discipline and content. Our study showed how the works of Carroll have a strong didactic element that can deploy in various activities of study and teaching for mathematics classes

O processo avaliativo institucional de desempenho do sistema público municipal de Teresina-PI (2001 a 2005): entre a lógica da excelência e a lógica da aprendizagem

This work focalize the institutional and educational evaluation, aiming to investigate the Municipal System Institutional Evaluation Performance of Teresina City Piauí (2001-2005), and to reflect about Institutional System Performance and its contribution to compose a new learning evaluation practice. In this sense, classifies elements about the evaluation practice in two Elementary Education municipal public schools, involving Education Municipal Bureau technicians as managers, pedagogues, teachers and students. Based on the ethnographic studies principles in the educational area, the work employs investigative procedures like document analysis, interviews with groups and individuals and also participator s comments. Intending to comprehend the complexity produced by the institutional and education evaluation processes, the wok reveals the Institutional Evaluation legal and educational political basis and the several positions assumed by the Learning Evaluation, as a classification tool or as a learning enhancement. This work points, as results, to a evaluation culture bipolarity carried out by the Municipal Education System as a explicit control and regulation toll, related to the classification and learning in a interaction process that operates both in the pressure and the reflection, as a culture practice established between excellence of logic and learning. The evaluation history has been construct on the evaluation actions dialectics, joint simultaneously between the Institutional Evaluation Performance and the learning evaluation. The senses, meanings and actions bipolarity is a interaction process product sustained between the institutional evaluation, under the scholar ranking application, and the learning evaluation. In this relativity, the teacher evaluation practice is found, ruled by interesting, thoughts and actions on the school evaluation, allowing a higher security and support to the learning results. Grounded in the researched reality, its possible to say that the teacher s evaluation practice is diversified, with different characteristics, when it is done in the learning search and in the learning intention. In the first case, reflects, rearranges and constructs new actions that lead the student to produce learning. In the second, shows the will, the wish of learning, but is a weak action, producing a not really significant learning and development; as a result, remains the mark approach as a determinant in the student future. The work s hope is to contribute not just to rethink these two evaluations dimensions the institutional and the learning ones but also to organize the school and to improve the pedagogic process

Objetos de aprendizagem e alfabetização: a proposição de um encontro

This study investigates the development of Learning Objects for the literacy of children. It aims to know based in the notion of literacy teachers the main factors of academic failure in literacy and researching in Brazil, as well as identify relevant activities in the literacy process of children to support the creation of a set of Learning Objects. Refers to an exploratory research, which is configured as a qualitative nature case study, inspired in part in an action-research described by Thiollent (2003), conducted with ten early grades elementary school teachers of a public municipal school in Parnamirim / RN. As methodological options for data collection uses questionnaires and focuses on the group of teachers, analyzing the data, referring back to the ideas by Szymanski (2001; 2008) and content analysis, guided by Bardin (2002). The development of Learning Objects, follows the steps of development suggested by Garrett (2000). Rules in its multidisciplinary theoretical reference and promotes a conceptual dialogue on: Literacy; Literacy School Failure; Pedagogical Practice in Literacy; Thoughts and Language; Multimedia and Hypermedia; Learning Objects. Perceives that the act of education in literacy as an act of love, courage and social interaction between individuals - educator and pupil, so there is ownership of the object of knowledge in the relations with the world and with the experience, through a pedagogical practice that assumes all different knowledges, the moral political ideal, the mindsets of the students, and can make use of teaching materials that supports the learning process and are consistent with the educational objectives (FREIRE, 1998; FREINET, 1976; VYGOTSKY, 1998; FERREIRO AND TEBEROSKY, 1985; JONASSEN, 2000; WILEY, 2001). Figures out, through the teachers' opinions, five reasons for school failure in literacy, three inside the school environment: teacher; academic assistant and principal; student, and two outside the school environment: parents/family; government and public management. Presents a set of Learning Objects, based on the constructivist thought, developed from the identification of activities considered relevant by teachers in literacy's teaching and learning process. Suggests the use of Learning Objects as pedagogical practice in literacy as a digital resource that supports learning and can trigger important cognitive processes for the acquisition of reading and writing skills in the school environment

Formação de educadores de jovens e adultos no Programa Geração Cidadã: relação entre saberes na proposição curricular

This paper deals with the fundamental elements of a curricular proposal aiming at the formation of alphabetizers of young and adults, as long as it concerns the relation between the academic knowledge and that one arising from the classroom experience. The empirical field of the research comes from the work of the teachers responsible for the formation of the alphabetizers of the GerAção Cidadã Program (2004-2005) linked, as an Extension Program, to Federal University of Rio Grande do Norte. Indeed, it tries to understand how these young and adult educators makers figure out the link between the experienced knowledge, which their lives give testimony of, with the scientific knowledge, which they are entitled to mediate in class. This work is funded in the principles of the Collaborative Research, which constitutes a kind of qualitative research. It makes use of procedures supported by qualitative research, especially those ones related to reflexive sessions, as well as to documental researches and semi-structured interviews. These spaces have afforded the group of alphabetizers the opportunity to talk over their practice, not only individually but also collectively, in order to work out contributive proposals having in view changes in the educative actions. As elaborated contributions, we present a discussion about the specificities in the making of educators to EJA, in their differentiated social roles. Reflecting on the experiences of the educators makers, we highlight those elements we regard as essential to the constitution of a formation proposal, like formative times and spaces, dialogue and social memory. The curricular organization is compreneded as part of an enlarged dimension that does not restraint itself to school; rather, it is visualized as a structuring instance that connects different knowledge surpassing community and university. Under this optics, we come to the conclusion that the connection the scientific knowledge establishes with the experienced one, which is immersed in the cultural practices of those who are involved in the formative process, is the basement to a curricular proposal of a formation course destined to educators committed with the need of changing society

Avaliação de desempenho em mercados reguladores de transporte urbano por ônibus :proposição de um modelo aplicável ao caso de Natal

Increased competition in the market of urban transport, characteristic of the Brazilian cities from years 90, has required actions of the managing agencies to ensure the universality of service, enhancing efficiency and consumer welfare. It grows in the Brazilian municipalities, the need to adopt a systematic performance evaluation in terms of management system of indicators and targets appropriate to the regulatory context, which has the purpose of evaluating the accomplishment and compliance by dealers, of the services granted during the contract period, marked by increasingly long periods. The introduction of an index operational performance in permission contracts/concession in urban buses is intended to establish a regulatory performance, giving the contract a pro-competitive feature and to allow the managing agency the systematic and continuous monitoring of the performance of the delegated service to avoid major deviations from desired performance. A performance assessment model of public transportation companies by bus, and applicable to the case of Natal is proposed. Sought to add the particularities found in the transport system in order to assess the performance of enterprises, contribute to improving the service quality to the population and enable decision-makers a detailed knowledge of the behavior of the licensees

Algoritmos genéticos: uso de lógica nebulosa e análise de convergência por cadeia de Markov

In this work, the Markov chain will be the tool used in the modeling and analysis of convergence of the genetic algorithm, both the standard version as for the other versions that allows the genetic algorithm. In addition, we intend to compare the performance of the standard version with the fuzzy version, believing that this version gives the genetic algorithm a great ability to find a global optimum, own the global optimization algorithms. The choice of this algorithm is due to the fact that it has become, over the past thirty yares, one of the more importan tool used to find a solution of de optimization problem. This choice is due to its effectiveness in finding a good quality solution to the problem, considering that the knowledge of a good quality solution becomes acceptable given that there may not be another algorithm able to get the optimal solution for many of these problems. However, this algorithm can be set, taking into account, that it is not only dependent on how the problem is represented as but also some of the operators are defined, to the standard version of this, when the parameters are kept fixed, to their versions with variables parameters. Therefore to achieve good performance with the aforementioned algorithm is necessary that it has an adequate criterion in the choice of its parameters, especially the rate of mutation and crossover rate or even the size of the population. It is important to remember that those implementations in which parameters are kept fixed throughout the execution, the modeling algorithm by Markov chain results in a homogeneous chain and when it allows the variation of parameters during the execution, the Markov chain that models becomes be non - homogeneous. Therefore, in an attempt to improve the algorithm performance, few studies have tried to make the setting of the parameters through strategies that capture the intrinsic characteristics of the problem. These characteristics are extracted from the present state of execution, in order to identify and preserve a pattern related to a solution of good quality and at the same time that standard discarding of low quality. Strategies for feature extraction can either use precise techniques as fuzzy techniques, in the latter case being made through a fuzzy controller. A Markov chain is used for modeling and convergence analysis of the algorithm, both in its standard version as for the other. In order to evaluate the performance of a non-homogeneous algorithm tests will be applied to compare the standard fuzzy algorithm with the genetic algorithm, and the rate of change adjusted by a fuzzy controller. To do so, pick up optimization problems whose number of solutions varies exponentially with the number of variables