Constructive Logic
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Fundamentação computacional da matemática intervalar
A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não con
Publicado em: 2010
-
2. Afetividade e vínculo que embalam e abalam a relação entre mãe e filha vítimas de abuso sexual
This study aims to discuss the theme of the affection and the link between mothers and daughters victims of sexual abuse. It is an overview on various studies about the issue related to the history of violence within families, explaining the legal provisions to protect children and adolescents. It also defines the concepts of violence, exploration and sexual
Publicado em: 2009
-
3. B-10: Um Estudo de caso em HIS na Zona Leste de São Paulo / A Study of case in HIS in the East Zone of Sao Paulo
This dissertation examines the technical performance of all buildings of the Housing Group "B-10", listed as the main subject in the study of case of this research, within the logic of housing construction of social concern and proposes a reflection on the technical and managerial conditioners that influence on the development of the architecture project ori
Publicado em: 2008
-
4. Universidade Federal de Pernambuco Centro de CiÃncias Sociais Aplicadas Departamento de CiÃncias Administrativas Programa de PÃs GraduaÃÃo em AdministraÃÃo - PROPAD / Federal university of Pernambuco Center of Social Sciences Applied Department of Administrative Sciences Program of After Graduation in Administration - PROPAD
The notion of development attached to the idea of economic increase highlights Entrepreneurship as a major condition for development. Articulation of collective demands is contemplated by a âsocial entrepreneurshipâ that adopts strategies for assimilating new demands, of a social character, in a way that those are perceived as valid means for reinforcing h
Publicado em: 2006
-
5. Logistics proposals for the supply of metalic structures using lean tools / Propostas Logísticas para o Suprimento de Estruturas Metálicas Utilizando Ferramentas Lean
In this Work is proposed the organization for structural steel supply process in the construction of a commercial building, correlating the supply logistic of the site with the assembly of the steel structures. The proposal was developed using the concepts of business logistic and of the original lean construction conception that was developed by Toyota Prod
Publicado em: 2005
-
6. Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive
Publicado em: 2004
-
7. Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por
Publicado em: 2004
-
8. Ampliando os limites do aprendizado indutivo de máquina através das abordagens construtiva e relacional. / Extending the limits of inductive machine learning through constructive and relational approaches.
This work investigates Inductive Machine Learning as a function of the description languages employed to express instances, concepts and domain theory. The enlargement of the representational power of propositional learning methods is approached via constructive induction, in the domain of boolean functions, through the proposal of a bias for composing attri
Publicado em: 1994