Lógica-Simbólica e Alfabetização

O presente artigo tenta recuperar as idéias e proposta de H.Furth (1973 ), apontando-a como mais uma opção para tentar trabalhar com as dificuldades das crianças no processo de alfabetização. O autor propõe a substituição das “escolas da linguagem” pelas “escolas do pensamento”, ou seja,substituir a opção do professor no ensino da leitura-escrita, em sua forma tradicional, de como transformar sinais gráficos em sonoros e vice-versa, por aquela do fortalecimento do pensamento, alimentando o intelecto em desenvolvimento da criança por meio de exercícios de “lógica simbólica”.Para nos embasar teoricamente, apresentamos ainda alguns aspectos da teoria psicogenética, bem como outros trabalhos realizados mais recentemente sobre o assunto, que embora “travestidos” (disfarçados) com novas roupagens, ainda encontram seus fundamentos nas obras de J.Piaget.

A lógica simbólica na medicina popular

Trabalho exploratório visando detectar a existência de uma lógica simbólica na medicina popular (fitoterapia).

Um olhar sobre a música gospel: a lógica simbólica e de mercado do Ministério de Louvor Diante do Trono

This study aims to understand how the gospel music genre - based on the gospel band Ministério de Louvor Diante do Trono - articulates itself to the logic of the market by its insertion in the music industry and use of symbolic logic in the available songs of their Cds and DVDs. Our research is a case study, methodologically being the descriptive analysis of the production process, distribution and broadcasting of the band's CDs and functional analysis of the music that permeates the entire thesis. The following songs are presented as an analytical corpus: Preciso de Ti,Quero me Apaixonar, Tua Visão, Creio, Tu Reinas e Tetelestai. Our hypothesis is that religious institutions - as a field responsible for the structure which maintains gospel artists - experiences a new dynamic that consists of a superficial modernity, ratified in the ways the symbolic goods produced communicate, that is, simulate a religious modernity maintaining traditional values regarding the dogmas of religion , but incorporate business and advertising procedures in the dissemination of its products The results point to gospel music as mediation, part of the religious ritual sometimes as prayer and other as preaching, stimulating consumption and entertainment, and performing as a device in the making of symbolic goods.

Aplicación de lógica difusa al control de voltaje en estado estable

Tesis (Maestría en Ciencias de la Ingeniería Eléctrica con Especialidad en Potencia) - U.A.N.L, 1999

Lógica difusa aplicada a las telecomunicaciones de datos [por] Jorge Alberto Delgado Soto

Tesis (Maestría en Ciencias Computacionales con Especialidad en Teleinformática) U.A.N.L.

Análisis de técnicas para secuencias lógicas

Tesis (Maestría en Ciencias de la Ingeniería Eléctrica con Especialidad en Control) UANL

Estrategias constructivistas para mejorar la habilidad de razonamiento en solución de problemas (4o semestre de preparatoria) por María del Rosario Arriaga Meza.

[Tesis] (Maestría con Especialidad en Enseñanza Superior) U.A.N.L.

Aplicación de herramientas computacionales al diseño secuencial asíncrono

Tesis (Maestro en Ciencias de la Ingeniería Eléctrica con especialidad en Electrónica) U.A.N.L. Facultad de Ingeniería Mecánica y Eléctrica.

O incesto : discurso e ideologia

This research had as purpose to establish the logic symbolic present in the contemporary society that facilitated the emergency of a public speech on the incest, and, consequently, to demonstrate the ideological nature that structures it. Event associated to the order of the taboo, the incest would be the transgression of the injunction that, second Lévi-Strauss, facilitated the emergency of the Culture while symbolic order, differentiated of the natural order. The injunction of the incest would reveal the elementary and universal structures of the order symbolic presents in the human societies: the demand of the Rule as rule; the reciprocity and the gift, present element in the social changes that it transforms the individuals in partners, increasing a new quality in the transferred value, according to Lévi-Strauss. Starting from this, I developed the hypothesis second which the phenomenon of the alone incest became an event of discursive order and public as right social transformations affected the normative system (social representations, values, moral) regulator of the relationships among the social subjects, being reflected like this, in the own structuring of the Law. A second work hypothesis was developed starting from that. I develop it leaving of the argument that if when inserting the discussion of the thematic of the defense of the children and adolescent rights, being then, considering it while "privileged modality of sexual abuse against children", the present central subjects in the structuring of the social entail would be leaved. Being like this, the partner-institutional speech on the incest would answer the social demands of order and social control, becoming like this, discursive formations of ideological character. This research work tried to follow the hypothesis above referred, demonstrating the singular sense that it will be attributed to the incest in the contemporary society, particularly, its relationship with the Law and the transgression in the contemporary society

Two Consistent Many-Valued Logics for Paraconsistent Phenomena

In this reviewing paper, we recall the main results of our papers [24, 31] where we introduced two paraconsistent semantics for Pavelka style fuzzy logic. Each logic formula a is associated with a 2 x 2 matrix called evidence matrix. The two semantics are consistent if they are seen from 'outside'; the structure of the set of the evidence matrices M is an MV-algebra and there is nothing paraconsistent there. However, seen from "inside,' that is, in the construction of a single evidence matrix paraconsistency comes in, truth and falsehood are not each others complements and there is also contradiction and lack of information (unknown) involved. Moreover, we discuss the possible applications of the two logics in real-world phenomena.

Classifying image analysis techniques from their output

In this paper we discuss some main image processing techniques in order to propose a classification based upon the output these methods provide. Because despite a particular image analysis technique can be supervised or unsupervised, and can allow or not the existence of fuzzy information at some stage, each technique has been usually designed to focus on a specific objective, and their outputs are in fact different according to each objective. Thus, they are in fact different methods. But due to the essential relationship between them they are quite often confused. In particular, this paper pursues a clarification of the differences between image segmentation and edge detection, among other image processing techniques.

Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Clave philosophica : en la que se contiene una breve introduccion a las disciplinas mathematicas : y un ... compendio de la logica ... : junto con una carta y dificultades propuestas al doctor ... Andrés Piquèr /

Mode of access: Internet.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

Finding the set of k-additive dominating measures viewed as a flow problem

n this paper we deal with the problem of obtaining the set of k-additive measures dominating a fuzzy measure. This problem extends the problem of deriving the set of probabilities dominating a fuzzy measure, an important problem appearing in Decision Making and Game Theory. The solution proposed in the paper follows the line developed by Chateauneuf and Jaffray for dominating probabilities and continued by Miranda et al. for dominating k-additive belief functions. Here, we address the general case transforming the problem into a similar one such that the involved set functions have non-negative Möbius transform; this simplifies the problem and allows a result similar to the one developed for belief functions. Although the set obtained is very large, we show that the conditions cannot be sharpened. On the other hand, we also show that it is possible to define a more restrictive subset, providing a more natural extension of the result for probabilities, such that it is possible to derive any k-additive dominating measure from it.