Quantificadores no contexto lógico: 'muitos' e 'poucos'

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Aspectos lógicos e algébricos dos conjuntos fuzzy

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Tecnologías actuales para dispositivos lógicos programables

Gran parte de los circuitos integrados de aplicación específica actuales se desarrollan sobre dispositivos lógicos programables (PLD). Los fabricantes ofrecen diferentes tecnologías programables, algunas de ellas admiten la reconfiguración de los diseños, incluso en tiempo de operación, mientras que otras pueden configurarse una única vez (tecnologías fusibles y antifusibles). En el trabajo se analizarán las diferentes familias de dispositivos y sus tecnologías, con especial atención en su capacidad de integración y consumo. Asimismo se realizarán diseños simples con alguna de ellas.

Desarrollo de procesos lógicos en Maloka

Presentamos como ejemplos dos de los talleres propuestos desde uno de los proyectos de práctica educativa de la Licenciatura en matemáticas de la Universidad Pedagógica Nacional en Maloka, basados en los insumos con los que cuenta este espacio de educación no formal, en particular las mesas de Matemática 2000, a partir de los cuales esperamos contribuir conjuntamente al desarrollo de procesos lógicos en los ciudadanos colombianos que los desarrollen.

Fundamentos lógicos de la programación declarativa

El objetivo del artículo es el estudio de los fundamentos lógicos que están en la base de gran cantidad de sistemas de razonamiento automático, y que suponen una estrategia computacionalmente viable para la demostración de teoremas o el diseño de motores inferenciales (Prolog). En concreto se presenta la forma clausal. en tanto que formalismo para la representación de conocimiento, y el principio de resolución, como mecanismo inferencia! que asegura la completud y corrección lógicas.

Lecciones elementales de lógica deductiva e inductiva : con gran copia de preguntas y de ejemplos, y con un vocabulario de términos lógicos

UANL

Jocs lògics : com raonar lúdicament-lúcidament. 'Juegos lógicos : cómo razonar lúdicamente-lúcidamente'.

Resumen tomado parcialmente de la propia publicación

Influencia del lenguaje afirmativo-negativo en el uso de conectores lógicos.

Resumen de la revista

Indagación sobre esquemas de razonamientos lógicos en alumnos que acceden a la facultad de ciencias agropecuarias.

Esta investigación educativa trata de analizar las causas del fracaso de los estudiantes que cursan la materia Química General e Inorgánica en dos aspectos importantes: el bajo rendimiento académico manifestado por los alumnos, medido en términos de falta de estudio, dificultad para aprender los conceptos más abstractos y un alto porcentaje de alumnos que no aprueban evaluaciones con aplicaciones de conceptos; la baja retención, por parte de los alumnos, de conceptos desarrollados y evaluados durante el curso. La mayor parte de los alumnos cursa la materia con el único incentivo de aprobarla con un mínimo esfuerzo, es decir estudiando Química fuera del aula y sólo ante una evaluación. Los docentes son conscientes de que a un número importante de alumnos les resulta difícil el aprendizaje de los contenidos de la materia e incomprensibles. Es cierto afirmar que tanto los contenidos como los tratamientos de estas asignaturas como los tratamientos que el docente realiza sobre ellos, requieren del alumno un alto grado de abstracción. Parece ser que la estructura conceptual de la Química no brinda al estudiante un marco adecuado para la adquisición y apropiación de los conceptos químico, al ser una asignatura que presenta un campo de conocimiento complejo.

Ejercicios lógicos y prenuméricos.

La educación preescolar es una educación integral del niño, que realiza todo tipo de ejercicios: sensoriales, de observación, de reflexión, de lenguaje y muchos más, y todos ellos ayudan al conocimiento lógico-numérico. Por otra parte, conviene dejar clara que la finalidad de estos ejercicios lógicos y prenuméricos es la adquisición de un método objetivo de pensamiento. En consecuencia, y de acuerdo con los estudios que dividen en cuatro fases el proceso de elaboración de la noción de número en el niño, se marcan unos objetivos específicos y unas actividades determinadas para cada una de las etapas del nivel de preescolar: el Jardín de Infancia y la Escuela de Párvulos.

Regras para transformação de esquemas conceituais definidos a partir de um framework de banco de dados geográficos para esquemas lógicos de SIG, com base no padrão SAIF

O objetivo dedste trabalho é investigar o projeto de banco de dados aplicado a Sistemas de Informações Geográficas (SIG), mais especificamente, do mapeamento de esquemas conceituais, orientado a objetos, para esquemas lógicos implementados por softwares de SIG comerciais. A transformação dos esquemas conceituais para os lógicos é realizado através da idedntificação de um conjunto de regras genéricas de mapeamento de qualquer esquema concecitual de banco de dados geográficos, baseados em um framework conceitual, para os esquemas lógicos proprietários dos diversos SIG existentes. A concretização desta tarefa de transformação é possível mediante a proposta de um ambiente de suporte. Esse ambiente fornece uma estrutura específica, constituída por uma linguagem formal, definida pelo padrão SAIF (Saptial Archive and Interchange Format), pela ferramenta FME (feature Manipulation Engine) e pela ferramenta CASE Rational Rose v.2000e. O conjunto de regras genéricas elaborado neste trabalho, é composto por dois subconjuntos. O primeiro define regras de correspondência, determinando uma relação entre os conceitos da realidade percebidos pelo Framework conceitual e a linguagem formal apresentada pelo padrão SAIF. O segundo subconjunto define regras de transformação, onde busca-se mapear os conceitos do paradigma da orientação a objetos par aos conceitos relacionais utilizazdos pela maioria dos softwares de SIG, disponíveis no mercado. Com a finalidade de validar a aplicabilidadee deste conjunto de regras de mapeamento e do ambiente de suporte proposto, este trabalho inclui também a implementação de um protótipo, o qual executa a automatização da trasnformação dos esquemas conceituais para os esquemas lógicos de banco de dados geográfico.

Aspectos posturais e álgicos de bailarinas clássicas

Na prática do Ballet Clássico, diversos autores, como Tomes (1995), Guillot e Prudhommeau (1974), Bertoni (1992), Kostrovitskaya (1995), Vaganova (1941) e Baryshnikov (1976) priorizam a postura corporal através do alinhamento vertical do corpo, pressuposto este que é defendido por Kendall et al (1995). Contudo, esses pressupostos teóricos nem sempre são aceitos por outros estudiosos, como Solomon, Minton e Solomon (1990), Mckenzie (1985), Chaitow (1982), Denys Struyf (1995) e Malanga (2002), os quais não se fixam na premissa de que uma postura alinhada pode produzir menor gasto energético, ser mais confortável e prevenir lesões. Diante dessa controvérsia não encontrou-se um referencial teórico consistente que justificasse a postura adotada pelas bailarinas clássicas, mas sim apenas uma proposta postural defendida por maitres e/ou professores de Ballet Clássico utilizada no sentido de proporcionar às bailarinas aprimoramento técnico, benefícios estéticos e controle do número de lesões. Diante disso, este trabalho tem como objetivos: (1) verificar a coerência entre a postura solicitada pela maitre e/ou professor de Ballet Clássico e a postura adotada pelas bailarinas avaliadas; (2) descrever e analisar as características posturais específicas do grupo de bailarinas clássicas avaliadas, caso estas existam; (3) verificar a existência e o tipo de algias nas bailarinas clássicas avaliadas; (4) relacionar as características posturais específicas encontradas com os sintomas álgicos apresentados pelas bailarinas clássicas avaliadas; (5) verificar se as características posturais, adotadas pelas bailarinas clássicas avaliadas, lhes satisfazem. Para tal, a amostra foi dividida em um grupo formado por bailarinas clássicas (n=30; idade média=13,06 anos +1,98), um grupo de referência formado por não bailarinas clássicas (n=30; idade média=13,86 anos +1,61) e um grupo de maitres e/ou professores de Ballet Clássico (n=22). Foram aplicados os seguintes instrumentos: (1) questionário de aspectos posturais específicos em 3 versões - (1a) para o grupo de maitres e/ou professores de Ballet Clássico (r=1, p=0,0001), (1b) para o grupo de bailarinas clássicas (r=0,99, p=0,0001), (1c) para o grupo de não bailarinas (r=1, p=0,0001); (2) questionário de informações gerais; (3) questionário de dor (testado e adaptado por Souza e Krieger, 2000), (4) avaliação postural a partir de fotografia digitalizada, com três tomadas de intervalos de 2 horas, a uma distância de 3 metros. Os resultados mostraram que existem características posturais específicas para as bailarinas clássicas avaliadas e estas são coerentes com aquelas solicitadas por maitres e professores de Ballet Clássico; existem sintomas álgicos nas bailarinas, contudo estes não se relacionam com as suas características posturais específicas; o tipo de algias assinalado pelas participantes corresponde a algias leves esperadas na prática do Ballet Clássico; as bailarinas clássicas avaliadas encontram-se plenamente satisfeitas com a postura que adotam.

Controle preditivo de sistemas mistos lógicos-dinâmicos

O comportamento dinâmico de um sistema é tradicionalmente descrito por um modelo, em geral associado a um conjunto de equações diferenciais ou de equações de diferenças, onde as variáveis representam grandezas físicas. Sistemas complexos, principalmente na indústria de processos, incorporam elementos com comportamento dinâmico lógico, tais como atuadores e sensores ON-OFF (estados aberto/fechado) ou proposições lógicas (estados verdadeiro/falso). Estes sistemas são denominados “Sistemas Híbridos”, “Sistemas Mistos Lógicos-dinâmicos” ou, simplesmente, “Sistemas Mistos”. Neste trabalho, são apresentadas técnicas que, associando variáveis lógicas a estes elementos, e mediante a incorporação de restrições sobre as variáveis, permitem obter um modelo matemático do sistema misto. Neste caso, técnicas clássicas de controle não permitem a incorporação destas novas variáves e restrições. Como opção de controle de sistemas mistos, é então proposta e estudada uma técnica de controle preditivo baseado em modelo. São apresentados tanto a formulação teórica do problema de controle, quanto exemplos e simulações bem como um estudo de caso de sua aplicação sobre um sistema de equalização de uma planta de tratamento de efluentes.

Da atividade dialógica: aspectos lógicos

CRUZ, Ângela M. P.; Lycurgo, Tassos. Da atividade dialógica: aspectos lógicos. Revista Vivência, Natal, v. 26, p. 51-58, 2004.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting