Thursday, October 23, 2014

 

 



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
(1101) Aplicaciones de la lógica (1102) Lógica deductiva
(1103) Lógica general (1104) Lógica inductiva
(1105) Metodología (1199) Otras especialidades relativas a la lógica (especificar)

Mostrando recursos 1 - 20 de 131,959

1. La mercantilización del saber - Solano Solano, Mario
En este artículo se establece que el cálculo económico que rige la gestión económica típica del capitalismo se irradia también a la esfera de la producción, distribución, circulación y consumo del saber. Por ello, la maximización del beneficio llega a ser un impulso fundamental en la economía del saber, particularmente en las economías capitalistas más desarrolladas. Esta lógica es la que subyace a la creciente privatización y mercantilización del saber, la cual adquiere múltiples manifestaciones, entre ellas la incrementada comercialización de los productos culturales (libros, discos de música y de video), pero también de la creciente ingerencia de la lógica...

2. El mantenimiento técnico: un reto histórico-lógico en el perfeccionamiento de la actividad gerencial - Zaldívar Salazar, Mario Clemente
En el artículo se aborda, de manera general, la evolución de la actividad del mantenimiento desde los métodos más rudimentarios hasta llegar en la actualidad a ser considerado como un proceso de gestión denominado, por su pertinencia e impacto, como Ingeniería del Mantenimiento. Es interesante, por otro lado, los fundamentos técnicos que se tratan respecto a la incidencia de las respuestas del mantenimiento en la toma de decisiones gerenciales. Como novedades, se propone un modelo de calidad para esta actividad, así como los factores determinantes que lo sustentan. Para llegar a la determinación y elaboración del modelo, se realizaron sistemáticasrevisiones...

3. Agua para consumo humano y disposición de excretas en Costa Rica: situación actual y expectativas - Mora Alvarado, Darner
El presente artículo tiene como objetivo general determinar la situación actual de la cobertura y calidad del agua para consumo humano (ACH), además de la cobertura con disposición de aguas residuales domésticas (DE); la intención es estimar las proyecciones de ambos servicios para el período 2001- 2020. Para cumplir con ese objetivo, se utilizó información del Laboratorio Nacional de Agua (LNA), del “Análisis Sectorial del Agua Potable y Saneamiento” de la OPS/AyA, y los resultados de proyección del Instituto Nacional de Estadística y Censos (INEC). Por otro lado, como complemento a este estudio, se relacionaron las coberturas de ACH y...

4. Redes de Petri: Modelado e implementación de algoritmos para autómatas programables - Murillo, Luis Diego
El presente trabajo es una monografía orientada hacia la utilización del formalismo de las Redes de Petri, propuesto por Carl Petri en la descripción de Sistemas Dinámicos de Eventos Discretos (DEDS). Las Redes de Petri, cuyo acrónimo en inglés es PN, fueron utilizadas inicialmente para el análisis de algoritmos en la computación paralela o concurrente, pero dada la complejidad de los procesos productivos actuales, las PN son un método alternativo de diseño tanto para el procesoindustrial como para el controlador. En este sentido, este estudio hace una revisión de las referencias bibliográficas donde se indica cómo realizar el modelado y...

5. Simulación de un proceso de Poisson no estacionario usando la metodología thinning: el caso de arribo de clientes durante una semana típica a una sucursal bancaria - Moya Navarro, Marcos
El siguiente artículo presenta el desarrollo de un modelo de simulación cuyo objetivo es estudiar el desempeño de una sucursal de servicios bancarios, a la que los clientes arriban de acuerdo con un proceso de Poisson no estacionario.Se presenta una variación de las tasas de entrada de clientes por periodos de treinta minutos durante ocho horas de trabajo al día, que resultan en una semana típica de trabajo. El modelo de simulación desarrollado incorpora dos procedimientos: uno de control de los periodos de tiempo conforme éstos van transcurriendo, el cual permite controlar la lógica del modelo de simulación; y otro...

6. Tendências contemporâneas da Política de Assistência Social: uma análise das transformações ocorridas na concepção de Assistência Social no Brasil - Campos, Naara Lima
 presente trabalho reúne os elementos que compõem a atual concepção de assistência social no Brasil, a partir da promulgação da constituição de 1988 quando a assistência social foi reconhecida pela primeira vez como direito de cidadania e dever legal do Estado, garantido pela Lei Suprema. Nesta lei a assistência social pressupunha uma lógica de pleno emprego, destinada, portanto, prioritaria-mente aos incapazes para o trabalho. No entanto, em um contexto de desemprego estrutural esta passa a ser compreendida em termos de garantias de seguranças, bus-cando assumir a proteção social daqueles capazes para o trabalho, tendo em vista a deterioração do mercado...

7. Medo na cidade: estudo de caso no bairro da Terra Firme em Belém/PA - Rocha Silva, Maria do Socorro; Rocha de Sá, Maria Elvira
O texto apresenta resultados de pesquisa acerca do medo na cidade, no bairro da Terra Firme em Belém/PA, com base numa ancoragem teórica com capacidade heurística de explicar as contradições imbricadas no processo de urbanização capitalista e as expressões da “questão social” reveladas no fenômeno da segregação socioespacial. As análises desenvolvidas basearam-se em observações diretas sobre este fenômeno neste bairro, que passaram a definir objetivos de pesquisa qualitativa utilizando-se entrevistas com moradores e comerciantes, centrados na apreensão de mudanças na dinâmica social e na busca de explicações acerca do fenômeno do sentimento de medo na cidade determinado pela violência urbana....

8. Capitalismo contemporâneo e desenvolvimento tecnológico – duas abordagens teóricas: marxista e cognitiva - Silveira, Tânia Maria
Essa dissertação trata o papel do desenvolvimento tecnológico no capitalismo e consiste numa revisão teórica baseada em duas linhas de pensamento, a análi-se de Karl Marx e a tese do capitalismo cognitivo segundo a proposição de Yann Moulier-Boutang. Além de apresentar como Marx explicitou a inovação tecno-lógica e suas conseqüências no processo de produção, analisa por que os pensadores do capitalismo cognitivo sustentam que o modo de produção, baseado nas novas tecnologias da informação e da comunicação, modifica o capitalismo. Dado a abran-gência do assunto, foram adotados como elemento principal de análise os efeitos das tecnologias informacionais sobre o processo...

9. Conselhos e conferências nacionais: entre a participação e a representação - Leite de Souza, Clóvis Henrique; Pompeu Fiuza Lima, Paula; Chaves Teixeira, Ana Claudia
O texto apresenta caracterização de diferentes lógicas de representação política existentes em conferências e conselhos nacionais. Partindo da análise do que está previsto em decretos e leis que delimitam como deveria operar a dinâmica representativa, percebe-se que as principais abordagens teóricas sobre representação, utilizadas quando se trata de instituições representativas por natureza e de espaços de mediação de interesses, são aplicáveis aos espaços participativos. A discussão a respeito dos objetivos desses espaços, da forma de escolha dos participantes e dos públicos envolvidos aponta que antes de participativos esses são espaços representativos, enfrentando desafios semelhantes ao legislativo e ao executivo no...

10. Avançando na eficiência de políticas públicas: a avaliação de programas governamentais - Fernandes Pereira, Márcio
O objetivo do artigo é realizar uma revisão conceitual da tradição de avaliação de programas governamentais. Será dada ênfase aos modos de utilização das diferentes técnicas avaliativas para a verificação dos graus de eficiência dos programas implementados. Inicialmente, será feita uma descrição histórica do desenvolvimento da tradição avaliativa nos Estados Unidos. A segunda seção está devotada aos aspectos conceituais relativos à avaliação de programas. A terceira seção caracteriza o Modelo Lógico e de Teoria do Programa, estruturas analíticas de auxílio à atividade avaliativa. A quarta seção apresenta distintos atores sociais que podem relacionar-se ao longo da existência de um programa....

11. Participação Popular na Política Municipal de Habitação de Vitória/ES - Oliveira Ferreira, Flaviane Cristina
A principal preocupação deste estudo foi compreender como a população tem participado do processo de formulação e implementação da política habitacional no município de Vitória/ ES. Traçamos um percurso científico em busca de conhecer como a população tem ocupado os espaços de discussão/ formulação da política de habitação, caracterizar de que maneira a população vem interferindo na política municipal de habitação, identificar os limites e desafios da participação social na formulação desta política e quais interesses foram atendidos no processo de formulação e implementação da política habitacional. Esta pesquisa foi apoiada por uma metodologia que buscou a coleta e a...

12. La Ciencia economica y los procesos de desarollo - la experiencia cubana - Pérez Soto, Olga
Este artigo aborda el desarrollo como  proceso multidimensional y multicausal desde condiciones de subdesarrollo. Es por eso que se asume la identidad del crecimiento  en función del desarrollo socialista como propuesta metodológica en la evolución de la noción del desarrollo que implica ruptura con la lógica del capital. Es en esa plataforma donde la política social es punto de partida y llegada complejo de los procesos y de las políticas para el desarrollo en la complejidad de sus interrelaciones. Se concluye con los aspectos más relevantes  de la experiencia de desarrollo  en Cuba

13. DYNAMIC-EPISTEMIC SPATIAL LOGIC - Radu Mardare; Corrado Priami
In this paper we combine features of dynamic-epistemic logics with the spatial logics in order to obtain a decidable, fully axiomatized logic for expressing information flow in distributed multi-agent systems. Thus, Dynamic Epistemic Spatial Logic is as an extension of Hennessy-Milner logic with spatial and epistemic operators.

14. Primitive recursion in finiteness spaces - Lionel Vaux
We study iteration and recursion operators in the multiset relational model of linear logic and prove them finitary in the sense of the finiteness spaces recently introduced by Ehrhard. This provides a denotational semantics of Gödel's system T and paves the way for a systematic study of a large class of algorithms, following the ideas of Girard's quantitative semantics in a standard algebraic setting.

15. Reducing dynamic epistemic logic to PDL by program transformation - Jan van Eijck
We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be viewed as subsystems of PDL. Moreover, the program transformation approach can be used to generate the appropriate reduction axioms for these logics. Our direct reduction...

16. DEMO -- A Demo of Epistemic Modelling - Jan van Eijck
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic to PDL. The paper is an exemplar of tool building for epistemic update logic. It contains the essential code of an implementation of DEMO in Haskell, in Knuth’s ‘literate programming’ style.

17. Modelling Epistemic Updates with Functional Programming - Jan van Eijck; Simona Orzan
Epistemic logic is the logic of knowledge, and dynamic epistemic logic is the logic of effects of communicative actions on the knowledge states of a set of agents. Typical communicative actions are making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [3], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool DEMO [10]. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation...

18. Quantifier elimination by lazy model enumeration - David Monniaux
We propose a quantifier elimination scheme based on nested lazy model enumeration through SMT-solving, and projections. This scheme may be applied to any logic that fulfills certain conditions; we illustrate it for linear real arithmetic. The quantifier elimination problem for linear real arithmetic is doubly exponential in the worst case, and so is our method. We have implemented it and benchmarked it against other methods from the literature.

19. Differential linear logic and polarization - Lionel Vaux
We extend Ehrhard Regnier's differential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both differential and polarized linear logics: this justifies our choice of cut elimination rules. Then we show this polarized differential linear logic refines the recently introduced convolution ¯λµ-calculus, the same as linear logic decomposes λ-calculus.

20. Primitive recursion in finiteness spaces - Lionel Vaux
We study iteration and recursion operators in the multiset relational model of linear logic and prove them finitary in the sense of the finiteness spaces recently introduced by Ehrhard. This provides a denotational semantics of Gödel's system T and paves the way for a systematic study of a large class of algorithms, following the ideas of Girard's quantitative semantics in a standard algebraic setting.

Página de resultados:
 

Busque un recurso