Friday, May 29, 2015

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 121 - 140 de 145,776

121. Autonomía y creación: hacia una lectura posible desde los aportes de Donald Winnicott y Maud Mannoni - Gaudio, Roxana Elizabeth; Frisón, Roxana
El establecimiento de los ejes que organizan el presente trabajo conduce al emplazamiento de una serie de decisiones que involucran en su desarrollo la delimitación del marco conceptual, que en este caso encuentra sus fundamentos en la propuesta teórico - clínica freudiana y en los aportes de Piera Aulagnier. Desde allí, se trabajará en torno al desarrollo teórico de Donald Winnicott y al de Maud Mannoni, a fin de situar posibles vías de aproximación que permitan profundizar sobre las condiciones que dan lugar a la constitución de la autonomía de pensamiento. Dicha aproximación intenta propiciar un efecto de bisagra en...

122. As mulheres na economia solidária e os indicadores de desigualdade de gênero no Brasil - Flores, Manoela Donaduce
O objetivo do trabalho é investigar se a Economia Solidária, frente à economia capitalista, se configura em um campo de enfrentamento e superação das desigualdades de gênero, verificando se a prática da dinâmica produtiva solidária é capaz de modificar a vida das mulheres inseridas nessa lógica, a partir da visibilidade do trabalho da esfera reprodutiva e da revalorização das atividades de reciprocidade e de cuidados. Para tanto, são analisados os indicadores tradicionais de desigualdade de gênero e percebe-se que estes não servem para a Economia Solidária, já que em sua maioria possuem um viés mercadológico, típico da economia capitalista. Assim,...

123. O Cone Sul na estratégia estadunidense de guerra global ao terror : o processo de securitização da tríplice fronteira entre Argentina, Brasil e Paraguai - Lammerhirt, Laura Vicentin
A presente monografia tem o intuito de contribuir para as investigações acerca do espaço ocupado pelo Cone Sul na lógica estadunidense de combate ao terrorismo e sua relação com o processo de securitização da Tríplice Fronteira entre Argentina, Brasil e Paraguai. Ao longo da última década, aponta-se a crescente insistência norte-americana, de acordo com os discursos oficiais e veículos midiáticos, na reconfiguração "ameaçadora" da região da Tríplice Fronteira como "santuário" do terrorismo internacional, baseado no fato de lá residir uma comunidade libanesa de expressão significativa, a qual supostamente estaria enviando remessas de dinheiro para o Líbano, e cujo objetivo seria...

124. Estrutura e agência nas relações internacionais : o processo de evolução dos sistemas internacionais - Brancher, Pedro Txai Leal
Esse trabalho trata dos mecanismos causais da interação entre a estrutura dos sistemas internacionais e suas unidades constituintes. Pergunta-se: quais são os mecanismos causais presentes no processo de evolução histórica dos sistemas internacionais? Assim, a partir da revisão crítica da literatura da teoria neorrealista das relações internacionais e da sociologia histórica, estabelece-se um modelo lógico dos mecanismos causais que permeiam a relação entre estrutura e agência nas Relações Internacionais. O argumento é o de que a relação entre a estrutura dos sistemas internacionais e suas unidades constituintes caracteriza-se por um processo de causalidade bidirecional e coevolução. O mecanismo causal envolve...

125. Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21. - Rodrigues, Joana Filomena da Madalena
Mestrado em Educação Especial

126. Quantification in Frame Semantics with Hybrid Logic - Kallmeyer, Laura; Lichte, Timm; Osswald, Rainer; Pogodalla, Sylvain; Wurm, Christian
This paper aims at integrating logical operators into frame-based semantics. Frames are semantic graphs that allow to capture lexical meaning in a fine-grained way but that do not come with a natural way to integrate logical operators such as quantifiers. The approach we propose starts from the observation that modal logic is a powerful tool for describing relational structures, hence frames. We use its hybrid logic extension in order to incorporate quantification and thereby allow for inference and reasoning. We develop a type theoretic compositional semantics using this approach, formulated within Abstract Categorial Grammar.

127. Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies - Jacquemard, Florent; Kojima, Yoshiharu; Sakai, Masahiko
International audience

128. A lógica complexa da avaliação - Parreira,Artur; Silva,Ana Lorga da
Resumo O artigo apresenta a primeira parte, teórica e conceitual, de um estudo sobre as lógicas a que o processo de avaliação pode obedecer. Clarifica o conceito de lógica geral e seus critérios, explicitando os passos fundamentais a que o raciocínio avaliativo obedece. Discute o problema da possibilidade de uma avaliação objetiva, cientificamente escorada; propõe modos de controle dos fatores tendentes a criar vieses prejudiciais para a objetividade da avaliação; define as condições de estrutura e de processo que condicionam aquela objetividade, e mostra que o grau de objetividade depende do uso de combinações adequadas de poder e informação, os...

129. Logic and Boolean algebra. - Arnold, B. H. (Bradford Henry), 1916-
Includes bibliography.

130. Reactive Synthesis from Signal Temporal Logic Specifications - Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A.
We present a counterexample-guided inductive synthesis approach to controller synthesis for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in potentially adversarial nondeterministic environments. We encode STL specifications as mixed integer-linear constraints on the variables of a discrete-time model of the system and environment dynamics, and solve a series of optimization problems to yield a satisfying control sequence. We demonstrate how the scheme can be used in a receding horizon fashion to fulfill properties over unbounded horizons, and present experimental results for reactive controller synthesis for case studies in building climate control and autonomous driving.

131. Brevis cursus philosophiae ; juxta systema S. Thomae Aquinatis. - Lechert, Antonio.
Contents.--v. 1. Logica et ontologia.--v. 2. pt. 1. Cosmologia et psychologia.--v. 2. pt. 2. Theologia naturalis.--v. 3. Ethics seu philosophia moralis.

132. Una respuesta estética a la crisis del pensar metafísico - Porcel Dieste, David
Without any doubt, nowadays, we are living hard times to cultivate the metaphysical thinking. Calculation logic and the profitability that is currently taking part in capitalist societies do not have room for any type of knowledge which needs non-feasible states such as serenity and meditation. However, our time is not only characterized by the lack of metaphysics but by the reduced possibilities for this thinking. What it remains, therefore, is to begin the searching of a solution from the inside of the technical world in which we are living and not in spite of it. To do this, it will...

133. Diseño e implementación de una plataforma experimental de dos grados de libertad controlada por dos técnicas: PID y lógica difusa - Solaque Guzmán, Leonardo; Cristancho Cardozo, Cristhian Andrey; Gil Cardenas, Camilo Andres
This article is intended to show a structure of two degrees of freedom and two techniques of control. This system was conceived and designed in order to test different system control strategies able to command four-propeller-like helicopters (Quad-Rotor - Unmanned Aerial Vehicle). This platform was modeled and controlled. Two control techniques were included: a linear technique PID-like control that makes use of the Taylor series linearization, and another technique based on fuzzy control. This work leaves an open platform and, through the software-hardware in loop approach, this platform is enabled to develop and test of other control theories. 

134. Algoritmo de posicionamento analítico-detalhado guiado a caminhos críticos - Monteiro, Jucemar Luis
O posicionamento das portas lógicas tem papel fundamental na qualidade de um circuito digital. A qualidade do posicionamento impacta diretamente na tamanho do circuito, no tempo de propagação dos sinais, consumo de energia, área com problemas de aquecimento, demanda de recursos de roteamento, etc. Desse modo, algoritmos de posicionamento de portas lógicas tem sido investigado por muitas décadas em busca de soluções de posicionamento com melhor qualidade e com o menor tempo de execução possível. Além disso, o posicionamento de portas lógicas é um problema de otimização combinatorial e ele é um dos problemas pertencentes a classe NP-Difícil. Desse modo,...

135. KL-cut based remapping - Machado, Lucas
This work introduces the concept of k-cuts and kl-cuts on top of a mapped circuit in a netlist representation. Such new approach is derived from the concept of k-cuts and klcuts on top of AIGs (and inverter graphs), respecting the differences between these two circuit representations. The main differences are: (1) the number of allowed inputs for a logic node, and (2) the presence of explicit inverters and buffers in the netlist. Algorithms for enumerating k-cuts and kl-cuts on top of a mapped circuit are proposed and implemented. The main motivation to use kl-cuts on top mapped circuits is to...

136. The role of logical interpretations on program development - Martins, Manuel A.; Madeira, Alexandre; Barbosa, L. S.
Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by logical interpretations as a means to witness refinements. The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. This allows, for example, refining sentential into equational specifications and the latter into modal...

137. Intelligence, Surveillance & Reconnaissance como agente de mudança: Uma abordagem a Operações Baseadas em Efeitos na Força Aérea Portuguesa - Seixas, Hugo
O recente conceito desenvolvido pelos membros da Organização do Tratado do Atlântico Norte (OTAN) para a capacidade de Intelligence, Surveillance & Reconnaissance (ISR), representa uma visão estratégica que impõe a todos os membros da Aliança uma viragem nas suas estruturas militares nunca antes vista. Considerado como uma capacidade crítica para o sucesso das operações militares contemporâneas e futuras, o conceito de ISR da Aliança rompe definitivamente com estruturas da era industrial onde a compartimentação do conhecimento (“need-to-know”) é entendida como a chave do sucesso e impõe agora, numa lógica de otimização de recursos, a era da informação onde a partilha...

138. Abbé Guinot : Teaching Logic during the eighteenth century to increase scientific capacities - Perru, Olivier
International audience

139. LaxLF: Side Conditions and External Evidence as Monads - Honsell, Furio; Liquori, Luigi; Scagnetto, Ivan
International audience

140. LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads - Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
We extend the constructive dependent type theory of the Logical Framework LF with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes in establishing the judgment of the object logic encoded by an LF type. Standard examples are factoring-out the verification of a constraint or delegating it to an external oracle, or supplying some non-apodictic epistemic evidence, or simply discarding the proof witness of a precondition deeming it irrelevant. This new framework, called Lax Logical Framework, LLFP, is a conservative extension of LF, and hence it is the appropriate metalanguage for...

Página de resultados:
 

Busque un recurso