54 resultados para Lógica de predicados
Resumo:
Based in aesthetic relationship between concepts of content and form intends to establish an relationship of analogy between ornaments and crystals. With the objective of building an theoretical investigation of relating the dynamics that happens in the crystals´ atoms to the symmetrical intervals of the ornamental patterns, it tries to draw a reasoning line that is going from the ‘Idea’ of Plato and ‘poiésis’ of Aristotle, until Hegel's philosophical enlargement, that admits the aesthetics as a science of the art integrated in a metaphysical process. Inherent to this question intends, in interrelation terms between aesthetics and metaphysics, content as being intelligent beginning, energy, and form as primitive element, matter, in order to evidence the possibility to calculate the same present symmetries in the ornamental arts like in the nature.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
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