Análisis de terminación para una plataforma de verificación de programas

De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el lenguaje de la IR. Esta decisión se basa en el coste polinómico de este método (frente a costes en PSPACE como el Size-Change Termination)y la posibilidad de obtener una herramienta asociada al mismo que además nos da la posibilidad de conocer un tiempo de ejecución aproximado. La herramienta asociada a RANK es compleja y va de la mano de una segunda herramienta (ASPIC). Hemos estudiado varios ejemplos, tales como el Mergesort o el Quicksort, para explicar la utilización de estas dos herramientas y a su vez ponernos en situación de los diferentes problemas que nos podemos encontrar a la hora de estudiar un programa. Partiendo del proceso que hemos usado para construir los automátas de los ejemplos anteriores, hemos diseñado e implementado en Java un algoritmo para transformar programas en el lenguaje de la IR al formato de entrada de RANK. Los resultados han sido satisfactorios, puesto que con los autómatas generados somos capaces de detectar de forma automatizada la terminación de, entre otros, los algoritmos recursivos antes mencionados.

Racionalidad simbólica, lógica paraconsistente y logomítica alternativas integrales para sustentar la racionalidad y la contradicción en el relato mítico

En la historia de la filosofía se han realizado muchos análisis filosóficos en torno a los conceptos de mito y logos, circunscrito a los temas de la racionalidad y de la contradicción. La racionalidad se asume, inicialmente, como cognoscitiva

El estudio de la lógica en el bachillerato.

Exposición de las ventajas del estudio de la Lógica durante el primer curso de Filosofía del Bachillerato como instrumento general de formación. Se analizan las diferencias entre la lógica tradicional o silogística y la lógica moderna o simbólica, y las ventajas de la lógica moderna frente a la tradicional, sobre todo, en el ámbito de las ciencias modernas para los estudiantes de bachillerato.

Usurpación simbólica: identidad y poder en la fiesta de la Mama Negra

La presente tesis aborda el proceso al que hemos denominado de usurpación simbólica, mediante el cual los sectores dominantes locales de la ciudad de Latacunga, han usurpado los símbolos de la fiesta de la Mama Negra que se celebra como un acto de religiosidad popular por parte de los sectores subalternos en el mes de septiembre, para transformar su sentido y convertirla en un acto ritual político a través del cual se hace posible la legitimación del poder y su ejercicio. Este trabajo analiza cómo se expresan la identidad, la alteridad y el poder en esta fiesta, cómo opera el intercambio y la interacción de los símbolos, dentro del proceso de usurpación simbólica para poder entender las dimensiones simbólicas de lo político y las dimensiones políticas de lo simbólico en esta celebración, para lo cual se analizan en forma comparativa cuáles son los discursos, prácticas, significaciones, significados, es decir las isotopías o ejes de sentido, que los actores de las dos celebraciones construyen. La tesis aborda cómo operan las dimensiones simbólicas del poder, como este para la legitimación del proceso de usurpación simbólica, necesita construir un discurso de verdad, por ello la fiesta de la Mama Negra de noviembre se la muestra como la expresión de la “verdadera unidad e identidad latacungueña”, a fin de ocultar los conflictos que se expresan a nivel de clase, étnico, social, los que al no poder ser resueltos se los traslada a la esfera ritual donde dichas conflictividades quedan invisibilizadas transitoriamente; pero por el contrario, analizamos que la celebración no puede ocultar una profunda fractura de la alteridad, pues se construye una relación asimétrica incluso en el propio ejercicio ritual. Reflexionamos sobre la construcción que se hace del otro en la ritualidad, cómo se expresa la lógica de la identidad y la alteridad asimétricas que en la celebración se construye, a fin de hacer evidente que la fiesta es un escenario de conflictos, que en ella se expresan claras intencionalidades políticas, relaciones de fuerzas, lucha de poderes materiales y simbólicos. Finalmente se aborda el proceso de degradación al que ha llegado la fiesta de noviembre como consecuencia del vaciamiento de sentido que genera el proceso de usurpación simbólica y se analizan las tácticas que los sectores subalternos están llevando adelante para la legitimación de su presencia y la reafirmación de su identidad para enfrentar el proceso de usurpación simbólica instrumentalizado por el poder.

El Parkour en Avellaneda. Tensiones entre reproducción social, violencia simbólica y los Libres del Sur

El siguiente trabajo intenta aportar a un análisis de las lógicas de reproducción social enfocando en una práctica, en este caso el Parkour en la ciudad de Avellaneda. Para ello observaremos una serie de tensiones entre lo que podemos identificar como operatorias de violencia simbólica y presuntas estrategias para mitigar, contrarrestar, reapropiar o escapar a tales operatorias. El Parkour asoma como un modo de habitar lo urbano que rompe con ciertas lógicas estipuladas. Rompe con la lógica urbanística, en tanto los espacios delimitados a un tránsito funcional son intervenidos por desplazamientos que evidencian otras posibilidades a las del habitual tránsito. Más allá del carácter disruptivo que en teoría podemos atribuir a esta práctica, son observables en el caso analizado algunos modos de institucionalización y reproducción social. Teniendo en cuenta que en Avellaneda se ha conformado la Asociación de Parkour Libes del Sur y la Escuela Municipal de Parkour, analizaremos algunas tensiones entre lo institucional y lo no institucional, entre lo estatal y lo no estatal, entre lo escolar y lo no escolar e intentaremos hacer foco en el funcionamiento de los sentidos dominantes al interior del grupo, en pugna o en consonancia con sentidos dominantes de su contexto social

El Parkour en Avellaneda. Tensiones entre reproducción social, violencia simbólica y los Libres del Sur

El siguiente trabajo intenta aportar a un análisis de las lógicas de reproducción social enfocando en una práctica, en este caso el Parkour en la ciudad de Avellaneda. Para ello observaremos una serie de tensiones entre lo que podemos identificar como operatorias de violencia simbólica y presuntas estrategias para mitigar, contrarrestar, reapropiar o escapar a tales operatorias. El Parkour asoma como un modo de habitar lo urbano que rompe con ciertas lógicas estipuladas. Rompe con la lógica urbanística, en tanto los espacios delimitados a un tránsito funcional son intervenidos por desplazamientos que evidencian otras posibilidades a las del habitual tránsito. Más allá del carácter disruptivo que en teoría podemos atribuir a esta práctica, son observables en el caso analizado algunos modos de institucionalización y reproducción social. Teniendo en cuenta que en Avellaneda se ha conformado la Asociación de Parkour Libes del Sur y la Escuela Municipal de Parkour, analizaremos algunas tensiones entre lo institucional y lo no institucional, entre lo estatal y lo no estatal, entre lo escolar y lo no escolar e intentaremos hacer foco en el funcionamiento de los sentidos dominantes al interior del grupo, en pugna o en consonancia con sentidos dominantes de su contexto social

El Parkour en Avellaneda. Tensiones entre reproducción social, violencia simbólica y los Libres del Sur

El siguiente trabajo intenta aportar a un análisis de las lógicas de reproducción social enfocando en una práctica, en este caso el Parkour en la ciudad de Avellaneda. Para ello observaremos una serie de tensiones entre lo que podemos identificar como operatorias de violencia simbólica y presuntas estrategias para mitigar, contrarrestar, reapropiar o escapar a tales operatorias. El Parkour asoma como un modo de habitar lo urbano que rompe con ciertas lógicas estipuladas. Rompe con la lógica urbanística, en tanto los espacios delimitados a un tránsito funcional son intervenidos por desplazamientos que evidencian otras posibilidades a las del habitual tránsito. Más allá del carácter disruptivo que en teoría podemos atribuir a esta práctica, son observables en el caso analizado algunos modos de institucionalización y reproducción social. Teniendo en cuenta que en Avellaneda se ha conformado la Asociación de Parkour Libes del Sur y la Escuela Municipal de Parkour, analizaremos algunas tensiones entre lo institucional y lo no institucional, entre lo estatal y lo no estatal, entre lo escolar y lo no escolar e intentaremos hacer foco en el funcionamiento de los sentidos dominantes al interior del grupo, en pugna o en consonancia con sentidos dominantes de su contexto social

Cultura de movimento e identidade : a Educação Fisica na contemporaneidade

Universidade Estadual de Campinas . Faculdade de Educação Física

Saúde e adolescentes: possibilidades de violência simbólica

Este artigo se propõe a analisar o tipo de relação que as Unidades de Saúde estabelecem com os adolescentes no município de Fortaleza, CE, na perspectiva da violência simbólica de Pierre Bourdieu. Para tanto, foram organizados seis grupos focais constituídos de profissionais das Unidades Básicas de Saúde da Família. O número de participantes variou de 10 a 15 pessoas. Os critérios de escolha das Unidades foram: aquelas que já realizaram algum projeto de promoção à saúde ou prevenção de doenças com adolescentes; que possuem profissionais que são reconhecidos por desenvolverem atendimento junto aos adolescentes. As falas do grupo foram anotadas e transcritas por um observador independente. O material coletado foi analisado de acordo com os critérios clássicos da análise de conteúdo. Os resultados mostraram que há uma descrença na implantação de políticas públicas para a saúde na adolescência e que a sustentabilidade de programas e projetos fica fragilizada pela ausência dessa estrutura de apoio às ações no cuidado aos adolescentes

Sorte? Lógica? Modelos de significação e a noção de acaso de adultos alunos do Proeja

Esta tese se propôs investigar a lógica inferencial das ações e suas significações em situações que mobilizam as noções de composição probabilística e acaso, bem como o papel dos modelos de significação no funcionamento cognitivo de adultos. Participaram 12 estudantes adultos jovens da classe popular, voluntários, de ambos os sexos, de um curso técnico integrado ao Ensino Médio da Educação de Jovens e Adultos. Foram realizados três encontros, individualmente, com registro em áudio e planilha eletrônica, utilizando-se dois jogos, o Likid Gaz e o Lucky Cassino, do software Missão Cognição (Haddad-Zubel, Pinkas & Pécaut, 2006), e o jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012). Os procedimentos da tarefa foram adaptados de Silva e Frezza (2011): 1) apresentação do jogo; 2) execução do jogo; 3) entrevista semiestruturada; 4) aplicação de três situações-problema com intervenção segundo o Método Clínico; 5) nova partida do jogo; e 6) realização de outras duas situações-problema sem intervenção do Método Clínico. Elaboraram-se níveis de análise heurística, compreensão dos jogos e modelos de significação a partir da identificação de particularidades de procedimentos e significações nos jogos. O primeiro estudo examinou as implicações dos modelos de significação e representações prévias no pensamento do adulto, considerando que o sujeito organiza suas representações ou esquemas prévios relativos a um objeto na forma de modelos de significação em função do grau de complexidade e novidade da tarefa e de sua estrutura lógico matemática, que evoluem por meio do processo de equilibração; para o que precisa da demanda a significar esse aspecto da 13 realidade. O segundo estudo investigou a noção de combinação deduzível evidenciada no jogo Likid Gaz, identificando o papel dos modelos de significação na escolha dos procedimentos, implicando na rejeição de condutas de sistematização ou enumeração. Houve predominância dos níveis iniciais de análise heurística do jogo. O terceiro estudo examinou a noção de probabilidade observada no jogo Lucky Cassino, no qual a maioria dos participantes teve um nível de compreensão do jogo intermediário, com maior diversidade de modelos de significação em relação aos outros jogos, embora com predominância dos mais elementares. A síntese das noções de combinação, probabilidade e acaso foi explorada no quarto estudo pelo jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012), identificando-se que uma limitação para adequada compreensão das ligações imbricadas nessas noções é a implicação significante – se aleatório A, então indeterminado D (notação A  D), com construção de pseudonecessidades e pseudo-obrigações ou mesmo necessidades locais, generalizadas inapropriadamente. A resistência ou obstáculos do objeto deveria provocar perturbações, mas a estrutura cognitiva, o ambiente social e os modelos culturais, e a afetividade podem interferir nesse processo.

Educação, currículo escolar e violência simbólica : um estudo de caso sobre adolescentes atendidos pelo Centro de Referência Especializado de Assistência Social–CREAS/ES (2010-2014)

Esta dissertação inscreve-se no debate sobre educação e política, voltado para análise da relação entre educação, currículo escolar e violência simbólica, na perspectiva do adolescente entre 12 e 17 anos que cumpre medida socioeducativa no Centro de Referência Especializado de Assistência Social – CREAS de Vitória (ES). Tem por objetivo analisar e refletir sobre a inadequação curricular no que se refere às expectativas desses adolescentes. A hipótese sustentada é que há inadequação curricular de um modo geral e, em particular, para atender à condição dos alunos em cumprimento de medida socioeducativa. A pesquisa demonstra que existe uma discrepância grande entre a regulamentação das medidas e a prática no cotidiano escolar desses adolescentes, e um dos grandes entraves para essa adequação é a ausência de protagonismo, ou seja, os professores que trabalham com esses adolescentes e o próprio adolescente não foram ouvidos para a formulação das propostas. Resultado disso é uma escola totalmente desinteressante para esses adolescentes e ineficaz do ponto de vista pedagógico. Teoricamente, o fio condutor desta análise teve como base a violência simbólica a partir de Bourdieu e Passeron e as discussões feitas por Apple e Candau.

Utilização da lógica fuzzy na geração de zonas de manejo

Este trabalho teve como objetivo utilizar a lógica fuzzy para geração de zonas de manejo, na área agrária e ambiental. Uma das aplicações consistiu da utilização do método fuzzy C-means, para geração de zonas de manejo para a cultura do mamoeiro, em um plantio comercial localizado em São Mateus-ES, com base em determinações realizadas através de amostragens e análises químicas do solo, considerando os atributos: P, K, Ca, Mg, e Saturação por bases (V%). Aplicou-se também a lógica fuzzy para desenvolver e executar um procedimento para dar suporte ao processo de tomada de decisões, envolvendo análise multicritério, gerando mapas de adequabilidade ao uso público e a conservação no Parque Estadual da Cachoeira da Fumaça, no município de Alegre-ES, considerando como fatores a localização da cachoeira, o uso do solo, os recursos hídricos, as trilhas, os locais de acessos, a infraestrutura, a declividade da área, e utilizando a abordagem de Sistema de Informações Geográficas para análise e combinação da base de dados. A partir das zonas de manejo geradas, foi possível explicar a variabilidade espacial dos atributos do solo na área de estudo da cultura do mamoeiro, e observa-se que as similaridades entre as zonas geradas, a partir de diferentes atributos, mostrou variação, mas observa-se uma influência nos dados, principalmente pelos atributos P e V. A partir do zoneamento da Unidade de Conservação foi possível selecionar áreas mais aptas ao ecoturismo, sendo encontradas próximas da cachoeira, trilhas em zonas de reflorestamento e de Mata Atlântica. Quanto às áreas propensas a medidas de conservação localizam-se próximas à cachoeira e às estruturas do parque, devido à maior pressão antrópica exercida nesses locais. Outras áreas que se destacaram, foram as áreas de pastagem, por estarem em estágio de regeneração natural. Os resultados indicam áreas de mesmo potencial de produção do mamoeiro, ou quando aplicado à área ambiental, áreas que devem receber maior cuidado para utilização por ecoturismo e para preservação e servem de base para a tomada de decisões, visando melhor aproveitamento da área.

Dinâmica subnacional e lógica centro-periferia: os impactos do Mercosul na economia política dos estados de Pernambuco, Bahia, São Paulo e Rio Grande do Sul

Neste artigo procura-se associar os estudos teóricos relacionados à temática centro-periferia, multi-level governance, federalismo cooperativo e positive and negative integration à realidade empírica das unidades subnacionais no seio do Mercosul. São ainda efetuadas pesquisas de campo junto a atores políticos e representações de agentes econômicos a fim de privilegiar fontes primárias de informação e desta forma analisar comparativamente os impactos do Mercado Comum do Sul na economia política dos estados de Pernambuco, Bahia, São Paulo e Rio Grande do Sul, assim como em suas respectivas capitais.

A mudança de orientação da lógica de solução das controvérsias econômicas internacionais

O grau de juridicidade do direito internacional econômico tem crescido nos últimos anos, ocasionando alterações na lógica de solução das controvérsias econômicas internacionais. Este adensamento da juridicidade do sistema confere maior legitimidade e importância aos mecanismos de solução de controvérsias, em especial o presente na Organização Mundial do Comércio (OMC), principal instituição reguladora do comércio internacional. De acordo com a nova lógica, os países mais fortes economicamente passaram a aceitar perdas relativas a setores específicos, buscando ganhos com o estabelecimento do sistema como um todo. A nova sistemática guiada por normas pré-definidas e especificamente traçadas para a solução de conflitos internacionais (rule-oriented) veio substituir a solução destes conflitos pelo uso da força, via sanções unilaterais ou pressões sobre setores sensíveis (power-oriented). Além disso, a análise desta mudança de orientação evidencia que a OMC e seu Órgão de Solução de Controvérsias vêm ganhando maior credibilidade e respeito por parte de seus usuários, visto que casos concretos envolvendo setores como o agrícola e países desenvolvidos e em desenvolvimento demonstram a real possibilidade de utilização de mecanismos de retaliação mesmo quando se trata de países mais fracos contra países muito mais fortes.

A lógica da construção de confiança: relações Brasil-Suriname entre 1975 e 1985

Entre 1975 e 1985, observa-se a atuação do Brasil para assegurar relações confiáveis com o Suriname, bem como as primeiras manifestações da identidade internacional surinamesa. Destaca-se a missão diplomática brasileira enviada ao Suriname após o golpe de Estado de 1982, o qual indicava a possível "cubanização" desse país.