Friday, May 22, 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 61 - 80 de 143,568

61. Axioms .2 and .4 as Interaction Axioms - Aucher, Guillaume
International audience

62. Principles of Knowledge, Belief and Conditional Belief - Aucher, Guillaume
International audience

63. Dynamic Epistemic Logic as a Substructural Logic - Aucher, Guillaume
International audience

64. HOCore in Coq - Escarrá, Martín; Petar, Maksimović; Schmitt, Alan
National audience

65. Formal Validation of Fault Management Design Solutions - Karban, Robert; Gibson, Corrina; Day, John; Andolfato, Luigi
The work presented in this paper describes an approach used to develop SysML modeling patterns to express the behavior of fault protection, test the model's logic by performing fault injection simulations, and verify the fault protection system's logical design via model checking. A representative example, using a subset of the fault protection design for the Soil Moisture Active-Passive (SMAP) system, was modeled with SysML State Machines and JavaScript as Action Language. The SysML model captures interactions between relevant system components and system behavior abstractions (mode managers, error monitors, fault protection engine, and devices/switches). Development of a method to implement verifiable...

66. Two varieties of conditionals and two kinds of defeaters help reveal two fundamental types of reasoning - Politzer, Guy; Bonnefon, J.-F.
Two notions from philosophical logic and linguistics are brought together and applied to the psychological study of defeasible conditional reasoning. The distinction between disabling conditions and alternative causes is shown to be a special case of Pollock's (1987) distinction between ‘rebutting' and ‘undercutting' defeaters. ‘Inferential' conditionals are shown to come in two types, one that is sensitive to rebutters, the other to undercutters. It is thus predicted and demonstrated in two experiments that the type of inferential conditional used as the major premise of conditional arguments can reverse the heretofore classic, distinctive effects of defeaters.

67. Economic production in a small dairy goat operation: toward an alternative design for rural development - Paz, Raul Gustavo; Rodríguez Sperat, Ramiro; González, Viviana; Lipshitz, Héctor
Although during the last six decades rural development in Latin America has been dominated by the paradigm of modernization, which has been considered as the only route to development, there can be observed in certain operations, especially those involving family farms, emergent strategies of which intensification of family work and non-commodification are the most important. Within this framework economic agriculture is conceived to be an alternative method of production in which the internal logic of the practices implemented by the producers permits understanding of the way producers adapt successfully to an ever more competitive market. These analyses are necessary when...

68. Mèlich, Joan-Carles (2014), Lógica de la crueldad. Barcelona: Herder, 262 p. ISBN 978-84-254-3256-9 - Armengol Sans, Andrés

69. Performativitat i aporia derridianes en la creació del món segons Hasday Cresques - Rosàs, Mar
L’objectiu d’aquest article és fer llum a la complexa i ambigua explicació sobre la creació del món que proposa Hasday Cresques —un rabí, metge i filòsof jueu nascut a Barcelona al segle xiv— a Or Adonay (La llum del Senyor). Harry A. Wolfson (1953) analitza com Cresques intenta conciliar la doctrina de l’emanació, d’arrel plotiniana, amb la de la creació del no-res, d’origen bíblic. És a dir, les dues explicacions, d’entrada excloents, que filòsofs i teòlegs jueus, musulmans i cristians empraven per explicar l’origen del món. Al nostre entendre, Cresques i, en menys mesura, Wolfson sembla que passen per alt...

70. 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...

71. 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,...

72. 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...

73. 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...

74. 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

75. 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.

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

77. 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...

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

79. 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.

80. 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.

Página de resultados:
 

Busque un recurso