Propositional Analysis
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. The Social Technology Network: analysis of the articulation in light of the social management concept
Resumo O objetivo deste estudo foi analisar de que maneira ocorreu a complexa articulação denominada Rede de Tecnologia Social (RTS) existente de 2005 a 2011, à luz do conceito de gestão social. Realizou-se um levantamento histórico e foram adotadas as categorias analíticas de territorialidade e a interorganização para o entendimento da articulação
Organ. Soc.. Publicado em: 03/10/2019
-
2. Formal semantics for propositional attitudes
Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two p
Manuscrito. Publicado em: 2011-06
-
3. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
4. Escola e instituições culturais: caminhos percorridos e direções possíveis / School and museum, positive interfaces
This research covers aspects related to educational programs implemented by the State Secretary of Education to promote student visits to cultural institutions. In the first part we will analyze a period in the history of art education that we consider essential in the promotion of knowledge which focused on image reading and, therefore, required student vis
Publicado em: 2010
-
5. Avaliação da correção proposicional dos subtestes memória lógica I e II da escala de memória de Wechsler e do perfil de eficiência comunicativa em diferentes grupos de idosos
Segundo Mansur (2005), dentre as alterações cognitivas encontradas na Doença de Alzheimer, está inclusa a linguagem, esta se apresenta alterada no âmbito semântico e na evolução dos sintomas lingüísticos, estudos recentes tem mostrado que estas alterações podem surgir por interação com as alterações da memória operacional. Neste estudo, 43 s
Publicado em: 2009
-
6. Juiz federal substituto no Brasil : poder, poderes e micropoderes na 5Â RegiÃo
The core of this research is to investigate the relationships between Federal Judges and Substitute Federal Judges and to analyze the influence exerted by this affiliation over the services developed in the federal jurisdiction of the judicial sections that make up the 5th Region, through the perception of civil servants and magistrates. The development of t
Publicado em: 2009
-
7. Impacto da estimulação cognitiva sobre o desempenho de idosos com demência de Alzheimer em tarefas de memória lógica e recordação livre
Ageing is often associated with the decline of some cognitive abilities, especially memory, sometimes progressing to dementia. The current study aimed to evaluate the effects of a cognitive stimulation program on the development of elderly people with Alzheimers disease in tasks of logical memory and free recall. Sixteen elderly people were evaluated with th
Publicado em: 2008
-
8. The cycles of educational failure: concepts and propositions. / Os ciclos do fracasso escolar: concepções e proposições.
This theoretical study was developed according to the principles of the research field on cultural and educational processes. It aimed at reviewing the concepts of school failure present on the academic journal Cadernos de Pesquisa, published by Fundação Carlos Chagas, since its first issue, released in 1971, up to 2006. From the Marxian perspective, this
Publicado em: 2008
-
9. Taylor e Walzer e a política de reconhecimento: meios de inclusão dos grupos sócio-culturais ao status de exercício da cidadania
This study is an attempt to use TAYLORs and WALZERs communitarian theory to redefine the concept of citizenship, through the possibility of acceptable procedures and moral limits which may contribute for the inclusion of a politics of recognition as a propositional element in public policies, concerning disadvantaged social and cultural groups in the process
Publicado em: 2006
-
10. Os rumos do licenciamento ambiental da mineração no Estado de São Paulo : estudos de caso de licenciamento de bens minerais de uso imediato na construção civil
This work presents a propositional and critica! analysis of the, showing the adopted procedures evolution between 1976 and 1998. On a bistorical approch the environmental arrangement is discussed and the actions of the State related to the environmental policy are also analysed, specially associated with mining activity. It is shown some informations about m
Publicado em: 2001
-
11. Analise e sintese de sistemas a eventos discretos via logica modal
The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system descri
Publicado em: 1998
-
12. Um ambiente para avaliação de algoritmos de aprendizado de máquina simbólico utilizando exemplos. / An environment to evaluate machine learning algorithms.
A learning system is a computer program that makes decisions based on the accumulative experience contained in successfully solved cases. The classification rules induced by a learning system are judged by two criteria: their classification error on an independent test set and their complexity. Practical learning systems have been developed using different p
Publicado em: 1997