Sobre a compacidade lógica e topológica

Os ambientes da L´ogica e da Topologia tˆem a compacidade como uma propriedade importante. Nos dois diferentes contextos as no¸c˜oes de compacidade s˜ao diversas. Na l´ogica, dizemos que um conjunto de f´ormulas ∆ ´e compacto quando a existˆencia de modelo para todo subconjunto finito de ∆ implica que tamb´em ∆ tem modelo. A l´ogica ´e compacta, se o conjunto de suas f´ormulas v´alidas ´e compacto. Na topologia, um conjunto A ´e compacto, caso qualquer cobertura de A por abertos admita uma subcobertura finita. Neste trabalho, mostramos uma maneira de relacionar tais no¸c˜oes de compacidade.

Tumblrs fotográficos como lugares de memória: a profanação do acontecimento e a lógica de arquivo

From the assumption that digital photography not only opened new photographic practices, but also formulated new forms of image appropriations, including how photos are linked to our collective memory, this paper aims to study the Tumblrs pages that use historic photographs in its compositions. From the notion that the archives are an opening to the public space and a place of symbolic assignment, we will discuss the notion that the function of these photographs suffers a displacement that gives priority to the file itself as an object of interest over the event alluded. In other words, it is the file that becomes the object of the representation of a place of memory.

Um estudo sobre a utilização do software SCRATCH como ferramenta de apoio ao ensino da disciplina de lógica de programação

Learning to program or master a programming language is not an easy task, and the base of process should by study Logic Programming, beginning to learning through the development of pseudocodes, algorithms and flowcharts, for, techniques that facilitate the construction and understanding of what you want to accomplish, to that is subsequently developed or elaborated a program. Reflecting on the learning of Logic Programming, this article presents information about software SCRATCH in relation to logic (pseudocodes), and how it provides support to the understanding of student learning in this course.

Confrontando propriedades lógicas em um contexto de lógica universal

This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.

Análise da eficiência energética em indústrias madeireiras através da lógica fuzzy

This paper presents the application of fuzzy theory to support the decision of implementing energy efficiency program in sawmills operating in the processing of Pinustaeda and Pinuselliotii. The justification of using a system based on fuzzy theory for analysis of consumption and the specific factors involved, such is the diversity of rates / factors. With the fuzzy theory, we can build a reliable system for verifying actual energy efficiency. The indices and factors characteristic of industrial activity were measured and used as the basis for the fuzzy system. We developed a management system and technology. The system involves the management practices in energy efficiency, maintenance of plant and equipment and the presence of qualified staff. The technological system involves the power factor, load factor, the factor of demand and the specific consumption. The first response provides the possibility of increased energy efficiency and the second level of energy efficiency in the industry studied. With this tool, programs can be developed for energy conservation and energy efficiency in the industrial timber with wide application in this area that is as diverse as production processes. The same systems developed can be used in other industrial activities, provided they are used indices and characteristic features of the sectors involved.

Profissionalização docente e subordinação do trabalho educativo à lógica flexível da produção capitalista

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Análise envoltória de dados combinada com a lógica fuzzy em problemas de avaliação de eficiência de máquinas de consumo: um estudo em empresa do segmento farmacêutico

The pharmaceutical industry was consolidated in Brazil in the 1930s, and since then has become increasingly competitive. Therefore the implementation of the Toyota Production System, which aims to lean production, has become common among companies in the segment. The main efficiency indicator currently used is the Overall Equipment Effectiveness (OEE). This paper intends to, using the fuzzy model DEA-BCC, analyze the efficiency of the production lines of a pharmaceutical company in the Paraíba Valley, compare the values obtained by the model with those calculated by the OEE, identify the most sensitive machines to variation in the data input and develop a ranking of effectiveness between the consumer machinery. After the development, it is shown that the accuracy of the relationship between the two methods is approximately 57% and the line considered the most effective by the Toyota Production System is not the same as the one found by this paper