First Order Logic
Mostrando 1-12 de 80 artigos, teses e dissertações.
-
1. INFORMAÇÃO VISUAL E CONHECIMENTO HISTÓRICO. A INTEGRAÇÃO SISTEMÁTICA ENTRE TEXTO E IMAGEM NO LIBER CHRONICARUM (1493)
Resumo Ao conjugar as perspectivas de análise da história material do livro e da história da historiografia, defende-se neste artigo a tese segundo a qual o conhecimento histórico apresentado no Liber chronicarum (1493) resulta da integração sistemática entre os elementos textuais e visuais da página impressa. Para fundamentar esta tese, são analisa
Rev. Hist. (São Paulo). Publicado em: 17/01/2019
-
2. PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)
Abstract The present article has for objective to present an alternative reconstruction of Concept of Structure, motivated by the articles (1) and (3), as an abstract generalization of what is a mathematical object. First, its construction is presented, that is related to the Type Theory and Order in Logic. Which give us a context for properties and several
Manuscrito. Publicado em: 06/10/2015
-
3. THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second
Manuscrito. Publicado em: 2015-06
-
4. "Salvar a la generación perdida": gubernamentalidad, empleabilidad y cultura del trabajo. El caso de un programa de empleo para jóvenes en Argentina
The aim of this article is to analyze how political and institutional logics associated with management and production of youth employment, work. We assume that these government interventions are designed attending mainly to employability and, moreover, they contribute to shape work culture. We analyze the case of a youth employment policy named Programa Jó
Rev. Sociol. Polit.. Publicado em: 2014-03
-
5. The agrarian issue in Brazil and the rural caucus in the National Congress / A questão agrária no Brasil e a bancada ruralista no congresso nacional
This study aims at important aspects of the rural issues in Brazil for the last decades, such as the former and current Brazilian Congressional Rural Caucus members performance- congressmens and senators - inside a context of stability of the neoliberal economy, intense political disputes, and territorial conflicts. This article also presents the importance
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
6. A superação da ilegalidade urbana: o que é legal no espaço urbano
The urban set of legal order has undeniable influences in the production of the urban space in the Brazilian cities, directly affecting its forms, organization and sociospatial distribution. From the legal point of view of the urban law and its legislation, a great number of Brazilian cities are composed of illegal spaces, reaching in some cases 80% of the c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/08/2011
-
7. Análise da dispersão das populações nativas americanas: uma abordagem genético-fisiográfica / Dispersion analysis of the native american populations: a genetic-fisiographyc approach
Until recently, the settlement of the Americas was seen as the product of a \"bow wave\" human expansion from north do south. Under this scenario, the archaeological sites of the first americans should obey a chronological gradient following the same logic, independent of their longitude. Recently, however, specialists began to recognize that certain charact
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/05/2011
-
8. (Con)figurações femininas nos desvãos da ordem patriarcal
This thesis uses two lines of theoretical understanding of the functioning of Brazilian society, by Roberto Reis and Roberto Schwarz, with its reflections in literature. This work employs nucleus and nebula metaphors from A permanência do círculo (1987) by Reis, as specific definitions for those who hold power and people without possessions, according to t
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/04/2011
-
9. Os processos de (re)estruturação do tecido urbano de Vila Rica: a influência da Igreja Católica
Since the beginning of formation of Ouro Preto (formerly Vila Rica), the Church stood out in the landscape of the camps wich were created there. Simultaneously, the streets (and churchyards / plazas) were then setting, often from the surroundings of these temples. In the first decade of the century, two parishes (known as Nossa Senhora doPilar de Ouro Preto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/03/2011
-
10. Uma nova abordagem para a noção de quase-verdade / A new approach to the concept of quase-truth
Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a con
Publicado em: 2011
-
11. TEACH-ME: implementation of mobile environments to the teach - learning process
The research project TEACH-ME (Technology, Engineering Calculus and Hewlett-Packard Mobile Environment) presents an educational proposal that seeks to innovate the teaching and learning processes of mathematics, Logic Basic Programming and Management of Information, through the introduction of collaborative working environments, in order to provide the integ
JISTEM - Journal of Information Systems and Technology Management. Publicado em: 2011
-
12. MODERNIZATION ON THE MANAGEMENT IN THE PUBLIC SCHOOLS IN RIO GRANDE DO SUL: THE DEMOCRACY AT THE "TURNSTILE" / A MODERNIZAÇÃO DA GESTÃO DA ESCOLA PÚBLICA ESTADUAL DO RIO GRANDE DO SUL: A DEMOCRACIA NA PORTA GIRATÓRIA
The present dissertation aimed at discussing and issuing the challenges to democracy in the management of public education from the new benchmarks for public management revealed through changes in the world work and the role of the state, considering the object of study as the proposal "modernization of educational management" in force in state government of
Publicado em: 2010