Friday, April 25, 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 141 - 160 de 128,059

141. Venha participar do 'Clube do Gibi' : estudo interpretativo sobre um projeto de trabalho em imprensa escolar - Luz, Raquel Leão
O trabalho que aqui apresentamos é resultado de uma pesquisa interpretativa, realizada na EMEF José Guedes, escola da rede municipal de Porto Alegre – RS, ao longo de 2011 e 2012. Nosso foco de investigação baseou-se no estudo das práticas de letramento e das aprendizagens dos alunos em um grupo de leituras, produção visual e escrita intitulado “Clube do Gibi”. Investigamos as ações dos participantes do Clube, do ponto de vista das relações que estabeleciam com materiais escritos e referenciados pela escrita em suas rotinas de grupo. Para investigar as práticas letradas nesta oficina construída e sustentada pelos próprios estudantes,...

142. A política cultural da União Europeia e a lógica de protecção das diversidades culturais dos estados-membros - Laureano, Abel
The European Union's integration imperatives lead naturally to the desirability of the greatest possible freedom in intra- Community movements of people and goods. On the other hand, the European Union's Member States represent an authentic multicultural mosaic, which turns difficult such a freedom. Facing this background, the European Union began by adopting a restraint posture, along which came to introduce, however, from a certain time on, active elements of safeguarding and promoting a European common culture, thus creating, nevertheless, a theoretically complex and practically tricky framework.

143. Lightweight Program Specialization via Dynamic Slicing - Claudio Ochoa, et al.
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any input data, dynamic slices are computed from a particular program execution. Thus, dynamic slicers are usually easier to design and implement. In this work, we present a program specialization technique for lazy functional logic programming which is based on dynamic slicing. Our method exploits the code size reduction capabilities of slicing in order to produce a version of the original program specialized w.r.t. a given criterion. We also introduce some simple, post-processing transformations...

144. Widening the Representation Bottleneck: A Functional Implementation . . . - Dave Catrall, et al.
Relational programming is a generalisation of functional programming that includes aspects of logic programming. We describe a relational language, Drusilla, that retains the lazy, polymorphic and higher-order aspectsoffunctionallanguagesandthe flexiblehandlingof non-determinism and searchbasedcomputationoflogiclanguages. As a result it offers certaineconomyofexpressionnotfoundinfunctional orlogicprogramming. Howeveracompleximplementation, usingacombinationofpolymorphictypeinference and automatic program transformation to select appropriate representations, is needed to support this language.

145. Dynamic Slicing of Lazy Functional Programs Based on Redex Trails - Claudio Ochoa; Josep Silva; Germán Vidal
Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trace of a computation is generally useless. Typically, tracers for lazy languages rely on the construction of a redex trail, a graph that stores the reductions performed in a computation. While tracing provides a significant help for locating bugs, the task still remains complex. A well-known debugging technique for imperative programs is based on dynamic slicing, a method for finding the program statements that influence the computation of a value for a specific program input. In this...

146. Run-Time Profiling of Functional Logic Programs - B. Brassel; M. Hanus; F. Huch; J. Silva; G. Vidal
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to associate a symbolic cost to each basic operation (e.g., variable updates, function unfoldings, case evaluations). While this cost semantics provides a formal basis to analyze the cost of a computation, the implementation of a cost-augmented interpreter based on it would introduce a huge overhead. Therefore, we also introduce a sound transformation that instruments a program such that its execution---under the standard semantics---yields not only the corresponding results but also the...

147. Algorithmic debugging of missing answers in constraint functional-logic programming - Rafael Caballero; Mario Rodríguez Artalejo; Rafael del Vado Vírseda
We present a declarative method for diagnosing missing computed answers in CF LP (D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain D given as parameter. As far as we know, declarative diagnosis of missing answers in such an expressive framework has not been tackled before. Our approach combines and extends previous work done separately for constraint logic programming and lazy functional programming languages. Diagnosis can be started whenever a user finds that the set of computed answers for a given goal with finite search space misses some expected solution w.r.t. an...

148. Run-Time Profiling of Functional Logic Programs - B. Brassel; M. Hanus; F. Huch; J. Silva; G. Vidal
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to associate a symbolic cost to each basic operation (e.g., variable updates, function unfoldings, case evaluations). While this cost semantics provides a formal basis to analyze the cost of a computation, the implementation of a cost-augmented interpreter based on it would incur into a huge overhead. Therefore, we also introduce a sound transformation that instruments a program such that its execution---under the standard semantics---outputs not only the corresponding results but also...

149. Segregación y discurso analítico - Chaumon, Franck
Lacan announces modern segregation as an ineluctable horizon linked to the emergence of the subject of science. This gloomy perspective is uttered, however, by carefully placing a position of analytical discourse against which it can make objection. The writing of the four discourses allows displaying this logic and crossing it with certain works of Foucault.

150. Posibilidades y límites de una ciencia unificada de la comunicación: ideología y significación en el periodismo científico - Muñoz López, Blanca
Para la Epistemología acercarse a los medios de comunicación de masas es acercarse a la lógica de la sociedad de consumo, de sus estructuras y funciones. La sociedad de consumo ha llegado a un perfeccionamiento asombroso en el terreno de la aparición de un tipo de comunicación que deviene en ideología con un discurso interno, ya que las formas comunicativas de los fenómenos (signos) vienen determinadas por la organización de los participantes implicados y la condición inmediata de su interacción. Así, el Periodismo científico tratará de descifrar los códigos de la retórica ideológica de la cultura y sociedad de masas.

151. Los consejos comunales: continuidades y rupturas - Fernández Cabrera, Beatriz
A manera de hipótesis se propone la existencia de continuidades y rupturas en la lógica tradicional de actuación colectiva de los sectores populares urbanos, empleando como campo de prueba las dinámicas de creación y conformación de los consejos comunales como instancias de gobierno y gestión del poder popular. Se dan en la transición política venezolana actual, vinculados a la permanencia de importantes factores históricos y antropológicos, fenómenos que modelan el comportamiento colectivo popular, vale decir «continuidades». Pero de la misma manera también están presentes giros en esta actuación conectados con la búsqueda de reconocimiento político, lo que podría estar indicando...

152. Antropología del género (Beatriz Moncó) - Betrisey Nadali, Débora
Un número importante de libros sobre antropología pensados para iniciar a un público lego por los andares de la disciplina y sus especialidades suele basarse en una sistematización de objetos, teorías y métodos que, si bien facilitan la lectura y comprensión, no dejan espacio para la reflexión crítica. El trabajo que nos ofrece Beatriz Moncó en Antropología del género, estructurado en siete capítulos y pensado "como una herramienta para quienes quieren acercarse a los estudios de género desde una perspectiva antropológica" (p.12), rompe con la lógica de los manuales convencionales.

153. Evaluación del impacto de la capacitación con lógica difusa - Esquivel García, Renier; Félix Benjamín, Gerardo; Bello Pérez, Rafael
The intangible assets have become the main source of wealth creation and welfare within the knowledge economy. Human capital, as an inherent component in any company, is comprised of a group of variables that add value, therefore, its measurement is a focal point in the XXI century organizations. Unfortunately, due to the intangible and qualifying nature of some of its components, measurement and control of the human capital show some difficulties. This article proposes, through the use of tools based on fuzzy logic, the evaluation of the impact of training in companies, by applying the reasoning characteristic of fuzzy logic,...

154. Esclavas del siglo XXI: traficadas - Barrera, Carmen
El objetivo de este artículo es realizar una aproximación descriptiva sobre el fenómeno de la trata de mujeres y niñas. Concretamente analizamos la lógica de mercados del tráfico de mujeres; esto es: principales eslabones de la cadena de valor en el tráfico humano, actores e instituciones que entran a formar parte en este fenómeno, tanto desde la oferta (lugar de origen) como desde la demanda (lugar de destino), así como las estrategias empleadas en estos procesos. Terminamos apuntando hasta qué punto los países de origen de las traficadas se benefician del trabajo realizado por estas mujeres.

155. La lógica formal y su dimensión histórica - Muñoz Delgado, Vicente

156. Introducción al patrimonio escolástico de lógica - Muñoz Delgado, Vicente

157. Paradoja, lógica y creatividad de Unamuno - Mosquera Villar, José Luis

158. La lógica deontica - Fartos Martínez, Maximiliano

159. Ambito y función de lo pre-lógico, según Amor Ruibal - Barreiro Barreiro, Xosé Luis

160. La lógica en las condenaciones de 1277 - Muñoz Delgado, Vicente

 

Busque un recurso