Monday, November 24, 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

Mostrando recursos 101 - 120 de 132,700

101. Honor femenino y economía de bienes simbólicos en Maracaibo, Venezuela, a finales del siglo XIX (1880 – 1900) - Rincón Rubio, Luis
Se presenta en este trabajo una aproximación antropológica a las representaciones culturales del honor femenino circulantes en la ciudad de Maracaibo, Venezuela, a finales del siglo XIX. La investigación realizada adopta un enfoque teórico-metodológico de corte estructuralista-constructivista, abordando el orden social como un sistema simbólico organizado según una lógica de la diferencia y partiendo de la premisa de que prácticas y representaciones están orientadas externamente por las estructuras objetivas de la sociedad, e internamente por esquemas de percepción, pensamiento y acción de origen social. Al tratarse de un trabajo de antropología histórica, los informantes fueron sustituidos por fuentes documentales ubicadas...

102. Antropología y medio ambiente. Revisión de una tradición y nuevas perspectivas de análisis en la problemática ecológica - Santamarina Campos, Beatriz
Durante los últimos años la producción etnográfica sobre el conflicto medio ambiental ha generado un volumen considerable de aportaciones. En este artículo se contextualiza, en la tradición antropológica, las distintas perspectivas (la ecológica, la simbólica cognitiva y la política) que se han ocupado del entorno, de la construcción de la naturaleza y del papel otorgado a la naturaleza en la distribución de relaciones de poder. Todo para situar a las perspectivas de la ecología simbólica y ecología política como los enfoques, desde nuestro punto de vista, más pertinentes para abordar el conflicto medio ambiental. En un mundo donde se imponen...

103. Post-Bond test of through-silicon vias with open defects - Rodríguez Montañés, Rosa; Arumi Delgado, Daniel; Figueras Pàmies, Joan
Through Silicon Vias (TSVs) are critical elements in three dimensional integrated circuits (3-D ICs) and are susceptible to undergo defects at different stages: during their own fabrication, the bonding stage or during their life time. Typical defects are microvoids, underfilling, misalignement, pinholes in the oxide or misalignments during bonding in such a way that resistive opens become a frequent failure mechanism affecting TSVs. Although there is considerable research effort dedicated to improve TSVs testing, no much attention has been paid to weak defects, especially to weak open defects (resistive opens) causing small delays. In this work, a testing strategy is...

104. Fuzzy logic controller design for battery energy management in a grid connected electro-thermal microgrid - Arcos Aviles, Diego Gustavo; Vega Muñoz, Christian; Guinjoan Gispert, Francisco; Marroyo Palomo, Luis; Sanchis Gúrpide, Pablo
A fuzzy logic controller strategy for battery energy management in a grid connected electro-thermal residential microgrid is presented. The fuzzy control policy manages the power of the microgrid storage elements in order to minimize a set of quality indices involving, among others, the power profile exchanged with the mains. Numerical simulations using real measured data generation and consumption are provided to both validate the control design and to highlight the benefits of including thermal elements in the overall energy management strategy of the system. © 2014 IEEE.

105. Logarithmic space and permutations - Clément Aubert; Thomas Seiller
In a recent work, Girard [1] proposed a new and innovative approach to computational complexity based on the proofs-as-programs correspondence. In a previous paper [2], the authors showed how Girard proposal succeeds in obtaining a new characterization of co-NL languages as a set of operators acting on a Hilbert Space. In this paper, we extend this work by showing that it is also possible to define a set of operators characterizing the class L of logarithmic space languages.

106. DETECTING ALGEBRAIC (IN)DEPENDENCE OF EXPLICITLY PRESENTED FUNCTIONS (SOME APPLICATIONS OF NEVANLINNA THEORY TO MATHEMATICAL LOGIC) - R. H. Gurevic
We consider algebraic relations between explicitly presented analytic functions with particular emphasis on Tarski's high school algebra problem. The part not related directly to Tarski's high school algebra problem. Let U be a connected complex-analytic manifold. Denote by ¿?(U) the minimal field containing all functions meromorphic on U and closed under exponentiation / h- ef. Let fj € &~(U),pj e J(U)- {0} for 1 < j < m, and gk 6 &(U), qk £Jt(U)-{0} for 1 < k < n (where Ji(U) is the field of functions meromorphic on 11). Let f ¡ — f ¡ $ ß?(U) for i...

107. Pointer programs and undirected reachability - Ulrich Schöpp; Martin Hofmann
We study pointer programs as a model of structured computation within logspace. Pointer programs capture the common description of logspace algorithms as programs that take as input some structured data (e.g. a graph) and that store in memory only a constant number of pointers to the input (e.g. to the graph nodes). Starting from pure pointer programs, in which only abstract pointers without any internal structure are allowed, we consider pointer programs with constructs for iterating over the input structure and for counting. We classify with which of these constructs it is possible to write a program for solving s-t-reachability...

108. Pointer Programs and Undirected Reachability - Ulrich Schöpp; Martin Hofmann
We study pointer programs as a model of structured computation within logspace. Pointer programs capture the common description of logspace algorithms as programs that take as input some structured data (e.g. a graph) and that store in memory only a constant number of pointers to the input (e.g. to the graph nodes). Starting from pure pointer programs, in which only abstract pointers without any internal structure are allowed, we consider pointer programs with constructs for iterating over the input structure and for counting. We classify with which of these constructs it is possible to write a program for solving s-t-reachability...

109. Pointer programs and undirected reachability - Martin Hofmann; Ulrich Schöpp
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured data (e.g. a graph) and that store in memory only a constant number of pointers to the input (e.g. to the graph nodes). In this paper we study undirected s-t-reachability for a class of pure pointer programs in which one can work with a constant number of abstract pointers, but not with arbitrary data, such as memory registers of logarithmic size. In earlier work we have formalised this class as a programming language purple...

110. MathSAT: Tight integration of SAT and mathematical decision procedures - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi Junttila; Stephan Schulz; Roberto Sebastiani, et al.
Recent improvements in propositional satisfiability techniques (SAT) made it possible to tackle successfully some hard real-world problems (e.g. model-checking, circuit testing, propositional planning) by encoding into SAT. However, a purely boolean representation is not expressive enough for many other real-world applications, including the verification of timed and hybrid systems, of proof obligations in software, and of circuit design at RTL level. These problems can be naturally modeled as satisfiability in Linear Arithmetic Logic (LAL), i.e., the boolean combination of propositional variables and linear constraints over numerical variables. In this paper we present MATHSAT, a new, SAT-based decision procedure for LAL,...

111. MathSAT: Tight integration of SAT and mathematical decision procedures - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi Junttila; Stephan Schulz; Roberto Sebastiani, et al.
Recent improvements in propositional satisfiability techniques (SAT) made it possible to tackle successfully some hard real-world problems (e.g. model-checking, circuit testing, propositional planning) by encoding into SAT. However, a purely boolean representation is not expressive enough for many other real-world applications, including the verification of timed and hybrid systems, of proof obligations in software, and of circuit design at RTL level. These problems can be naturally modeled as satisfiability in Linear Arithmetic Logic (LAL), i.e., the boolean combination of propositional variables and linear constraints over numerical variables. In this paper we present MATHSAT, a new, SAT-based decision procedure for LAL,...

112. Imagens da África no cinema: o potencial da mídia no ensino de história - Felipe, Delton Aparecido; Teruya, Teresa Kazuko
This article presents a critical reading of the contents of two films dealing with racial prejudice. Were selected films: Um grito de liberdade and Sarafina o som da liberdade, as source of research. The goal is to investigate the cultural, economic, social and political in Africa, to propose a methodology of film analysis, based on Cultural Studies. How does the film by showing the social conflicts generated by the racial laws, can help to train teachers better prepared and able to deal with racism and prejudice in the classroom? At school, the films from the perspective of Douglas Kellner, Michel...

113. Dialogue in everyday school: Research with children - Alves, Luciana Pires
 Injustices Cognitive Research:giving new meaning to the of cognition, learning and knowledge in the school routine, which we have been developing since January 2008, at the Municipal SchoolAna Nery - SME-D, de Caxias / RJ, seeks to investigate the production of knowledge about reading and writing by children of the the working classes considered by the school as having "learning difficulties". The children with whom we surveyed live on the periphery of the periphery: the neighborhood of Jardim Gramacho -landfill located in the municipality of Duque de Caxias and surrounded by slums. Most families have at the dump their source of income. We discuss the operative logic of children in their daily...

114. Saber lo que sabe el otro, saber qué sabe el otro: nota sobre la estructura del tiempo lógico en Lacan y en el acontecimiento didáctico - Golfarini, Mauricio
The Theory of Didactic Event takes elements from the didactic transposition of Chevallard, specifically its notion of chronogenesis, and re-interprets it from the conception of temporality of the lacanian psychoanalysis. In such way, the complex nature of the logical time allows to find unexplored aspects in the temporary unfolding of the didactic phenomenon like the role of the scansions or suspended motions. The present work reviews some important aspects of the logical time in the Theory of the Didactic Event, and simultaneously considers an additional way to conceive the scansive stages in their relation with the knowledge of the teacher...

115. De una ética pequeñísima: sobre algunos giros en relación al acontecimiento - Percovich, Gonzalo
The paper aims to pass through some features of the concept of event, the central concept of the Stoic theory. Notion that loosens from the logic development itself and that unfolds and has essential consequences in their approach to ethics. This peculiarity is pointed at different biases, both by Gilles Deleuze and Michel Foucault. Gilles Deleuze will highlight the dialectical aspect of it, ascribing it to divination practice, and Michel Foucault will stop to include the concept in the framework of a practice of Stoics spiritual exercises. Still, will be the two authors cited who will appeal to propose a...

116. Sigmund Freud: más allá del principio de modernidad - Viera, Marcelino
This paper proposes to follow the french philosopher Jacques Rancière’s thougth when tackling Freud’s theoretical work as dislocated from its historical time, that is from the theoretical formulations captivated in the positivism that would make humanities a scientific practice. In others words this work understands Freudian’s texts beyond the very extended positivism in the humanities at those times. Jacques Rancière points out that Freudian’s interpretative and theoretical work breaks a classic aesthetic logic creating a new way of thinking beyond modern logic. Consequently, this paper will focus on the conceptualization of modernity developed by Michel Foucault in his work The...

117. Currículos acadêmicos e extensão universitária: sentidos em disputa - Ferreira, Marcia Serra; Teresa Gabriel, Carmen
This article aims to analyze the senses of academic curriculum and university extension that have been produced and that circulate within academic scope. Investigating materials produced by different social actors who act at the Federal University of Rio de Janeiro, we are interested in understanding the hegemonic struggles responsible for the extension positioning in academic curricula. Dialoguing with authors who have focused on university (Boaventura de Sousa Santos) and its curricula (Antonio Flavio Moreira), as well as those who have problematized the interfaces between knowledge, power and culture – such as Alice Casimiro Lopes and Elizabeth Macedo –, we defend...

118. La formación de educadores bajo una modalidad virtual: abordaje de un falso dilemaTraining of educators using a virtual model: approach of a false dilemma - Zelmanovich, Perla
El trabajo se estructura en cuatro apartados. El primero lleva por título “Saber poético y producción de sentidos”. Valiéndose de la razón poética de María Zambrano se advierte allí sobre los riesgos de producir un vaciamiento de sentidos educativos cuando los debates se concentran en meras cuestiones técnicas. En el segundo se señalan las potencialidades que pueden brindar las nuevas tecnologías en un movimiento inverso a la segregación de sentidos en la medida que no se desentienden de las nuevas culturas generacionales post-alfabéticas. El tercer apartado aborda las presencias virtualizadas para introducir las tensiones en juego entre lo universal y...

119. Experiência de EAD na formação de gestores educacionais: educação visual e construção de narrativasExperience of on-line education in the educational management training: visual education and construction of narratives - Miranda, Carlos Eduardo Albuquerque; Prado, Guilherme do Val Toledo
O objetivo deste artigo é apresentar a experiência de EAD da disciplina ‘Escola, Gestão e Cultura’ no ‘Curso de Especialização em Gestão Educacional’ (CEGE) oferecido pela Faculdade de Educação da Unicamp. A proposta de EAD desta disciplina é trabalhar com educação visual e produção de narrativas de professores. Utilizamos as ferramentas de comunicação do ambiente virtual TelEduc para implementar uma dinâmica pedagógica assincrônica de trabalho docente. Esta dinâmica se apresenta como alternativa à lógica de concomitância entre parte presencial e parte em EAD do CEGE. Os resultados apresentados permitem-nos refletir sobre as potencialidades pedagógicas das tecnologias de informação e comunicação...

120. Problemática da investigação educativa a partir da lógica da epistemologia e da produção científica - Bagnolo, Carolina Messora
Resenha do livro: SÁNCHEZ GAMBOA, S. Fundamentos para la investigación educativa: presupuestos epistemológicos que orientam al investigador. Santa Fé de Bogotá: Cooperativa Editorial Magistério, 1998.

Página de resultados:
 

Busque un recurso