999 resultados para Linguagens de programação em lógica - Semântica
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Psicologia - FCLAS
Resumo:
Pós-graduação em Agronomia (Irrigação e Drenagem) - FCA
Resumo:
Pós-graduação em Matemática em Rede Nacional - IBILCE
Resumo:
This work is about the extension project “Plastic Research Centre”, developed at Unesp (Bauru/São Paulo/Brasil) by the author along with the students of Artistic Education (Plastic Arts). Aiming to encourage the students on supports and alternative techniques, the Audiovisual and Visual Arts Study Group - GRAVA was created as a place for reflexion and creation. The group has been seeking a personal language, improving it as the means to communicate its interpretation of the world are investigated, being it in the urban space or in cultural and virtual centres. By extending the university knowledge to the local community, it is intended to motivate the student’s research along with the professoriate and promote the creation process and artistic works focusing the group’s view on the context it is inserted.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
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:
This article aims to contribute to the process of constructing a scientific and critical theory from the interrelationship of design and fashion fields. Accordingly, are not only listed fashion and design issues in contemporaneity and tensions between these two fields, but also stated the language aspects of these two areas. We hope that the approach and the issues addressed here can contribute and collaborate on research studies, discussions and reflections that lead to the deepening of these relations in the constitution of a fashion and design theory.
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:
O presente trabalho investiga a adequação para a recepção por demanda da estrutura da ficção seriada televisiva, matriz concebida para a veiculação em fluxo dentro da lógica da grade de programação. Centrando no gancho e repetição narrativa, foram realizados estudos de cena em Mckee (2006) e aplicadas as funções das personagens de Propp (1986) no corpus: A Grande Família, Duas Caras e Filhos do Carnaval. Em seguida, simulou-se a sua recepção por demanda e fluxo.
Resumo:
This article purposes the ARBot, a system that has as main objective the presentation of concepts of logic for students of elementary and secondary education. The system was developed using the technology known as Augmented Reality (AR), which allows complement the actual environment where the user is, by adding virtual objects. In this scenario the RA created from a virtual game interface is used, through which cognitive challenges are presented. To solve these challenges, users must set up three-dimensional virtual characters using visual language. As a result it follows that, in a playful way, concepts of algorithms and programming are assimilated by users. In addition, the system enables two users to interact in a cooperative game mode. In cooperative mode, the system focuses on collaborative learning, since it allows users to jointly solve the cognitive challenge presented by the system.
Resumo:
Assuming that testimony in photojournalism must be understood as a historical and performative act, the aim of this article is to discuss how the testimonial function of journalistic photography was constantly re-signified in Brazilian news magazines during the twentieth century. This redefinition has a relation with the different ways in which testimonial function was hinged to news report (in its broadest elements) and how this imperative appeared on its discursive form in writing narrative. As trustee of a narrative intended to be realistic, photojournalism articulates, from techniques and codes of narration, a series of referential and informational strategies. These strategies, however, have changed over time, based on different modes of narration by image and its accreditation in reality.
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.