Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Evaluación de la actividad científica: conectividad relevante y calidad relacional. Una propuesta teórico-metodológica

[338] p.

Sistema para detecção e diagnóstico de falhas em motores elétricos de indução utilizando lógica fuzzy

Induction motors are one of the most important equipment of modern industry. However, in many situations, are subject to inadequate conditions as high temperatures and pressures, load variations and constant vibrations, for example. Such conditions, leaving them more susceptible to failures, either external or internal in nature, unwanted in the industrial process. In this context, predictive maintenance plays an important role, where the detection and diagnosis of faults in a timely manner enables the increase of time of the engine and the possibiity of reducing costs, caused mainly by stopping the production and corrective maintenance the motor itself. In this juncture, this work proposes the design of a system that is able to detect and diagnose faults in induction motors, from the collection of electrical line voltage and current, and also the measurement of engine speed. This information will use as input to a fuzzy inference system based on rules that find and classify a failure from the variation of thess quantities

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

O ensino da lógica na educação básica

This work has as its aims to offer a general view on the teaching of logics in the basic education by means of different materials on the theme. There are highlighted considerations on academic works in the area of math education that claims the teaching of logics on basic education as a means of developing the reason and promote the learning. It is done a bibliographic review on works that approach the theory of formal logics that presents different ways of working the teaching of logics. The curricular proposition of São Paulo State for the Math area is analyzed and its characteristics are discussed. The learning evaluation in a large federal scale for the teaching of middle and basic education are detailed in its matrix of references and content approached in its editions searching the evidences of a logical reasoning worth. A portal M3 Multimedia math is presented in activities in video format for the teaching of logics. After an analyze of the references where the focus was related to the learning of Math by means of an approaching where logics acts as a tool. It is possible to consider that there is a relevant number of researches and publishing in the area of Math education that approaches the concepts of formal logics. There is also evidences of a changing in National and State orientations for a basic education that reflects in its didactics resources and evaluations in a large scale. Even though, we can face difficulties on implementation of these proposes that is pointed out by constant critics by teachers concerning the changes in the resources and cited evaluations by the resistance of a considerable percentage of teachers to adopt the didactics materials distributed by the State and by the low performance of students in Public Schools in tests of learning

Desenvolvimento e aplicação do índice de desempenho energético da iluminação pública utilizando lógica nebulosa: estudo de caso da Cidade Universitária \"Armando de Salles Oliveira\" da Universidade de São Paulo.

A eficiência e a racionalidade energética da iluminação pública têm relevante importância no sistema elétrico, porque contribui para diminuir a necessidade de investimentos na construção de novas fontes geradoras de energia elétrica e nos desperdícios energéticos. Apresenta-se como objetivo deste trabalho de pesquisa o desenvolvimento e aplicação do IDE (índice de desempenho energético), fundamentado no sistema de inferência nebulosa e indicadores de eficiência e racionalidade de uso da energia elétrica. A opção em utilizar a inferência nebulosa deve-se aos fatos de sua capacidade de reproduzir parte do raciocínio humano, e estabelecer relação entre a diversidade de indicadores envolvidos. Para a consecução do sistema de inferência nebulosa, foram definidas como variáveis de entrada: os indicadores de eficiência e racionalidade; o método de inferência foi baseado em regras produzidas por especialista em iluminação pública, e como saída um número real que caracteriza o IDE. Os indicadores de eficiência e racionalidade são divididos em duas classes: globais e específicos. Os indicadores globais são: FP (fator de potência), FC (fator de carga) e FD (fator de demanda). Os indicadores específicos são: FU (fator de utilização), ICA (consumo de energia por área iluminada), IE (intensidade energética) e IL (intensidade de iluminação natural). Para a aplicação deste trabalho, foi selecionada e caracterizada a iluminação pública da Cidade Universitária \"Armando de Salles Oliveira\" da Universidade de São Paulo. Sendo assim, o gestor do sistema de iluminação, a partir do índice desenvolvido neste trabalho, dispõe de condições para avaliar o uso da energia elétrica e, desta forma, elaborar e simular estratégias com o objetivo de economizá-la.

Semiótica, lógica e individuación en Deleuze y Lacan: ontología y política de la clínica

El planteamiento general de este trabajo tiene todo que ver con un intento de clarificación referido a las concepciones lógicas y semióticas en virtud de las cuales es posible sostener la irreductibilidad al discurso científico tanto de la filosofía como del psicoanálisis. Tal discurso se constituye en la modernidad y, por cuanto encuentra un peculiar modo de inserción institucional y social como práctica científica de innovación y desarrollo, además de porque dicha inserción le confiere un papel especialmente relevante en los procesos de subjetivación requeridos y propiciados por la sociedad contemporánea, entendemos que la cuestión planteada reviste una relevancia digna de ser tenida en consideración. Ahora bien, muchos son los estudios dedicados a esta cuestión desde perspectivas muy diversas, si bien frecuentemente aquello que se sitúa como objeto principal de la investigación es extraído, bien del lado de la articulación de la ciencia con las condiciones de producción de la sociedad moderna, bien del de un hipotético sujeto (en cierto sentido moral o personal) que resulta violentado o sometido por dichas condiciones. Sin embargo, el propósito y proceder de este volumen pretende situarse en un ámbito intermedio, sirviéndose del modo en el que dos figuras representativas tanto de la filosofía como del psicoanálisis durante la segunda mitad del siglo XX reciben las consecuencias del llamado “giro lingüístico”, en especial por lo que toca a su vertiente estructuralista y a los debates que aparecen a partir de su surgimiento. Tomando como partida la propuesta de Gilles Deleuze de considerar la sintomatología como una práctica propiamente crítica que concierne al modo de reunión y disociación de síntomas mediante la cual se construyen síndromes o regímenes de signos conforme a los que puede tener lugar una evaluación de los sujetos, entendemos que resulta crucial disponer de un aparato conceptual suficiente para dar cuenta de qué concepción del lenguaje y del signo en general se pone en juego en el psicoanálisis y de hasta qué punto ésta es solidaria con respecto a aquella que es efectiva en el ámbito de la sociedad contemporánea...

Frente Parlamentar Mista das Micro e Pequenas Empresas : lógica de funcionamento e resultados

Analisa o modo com que os parlamentares se organizam frente à estrutura institucional no Congresso Nacional. Tem como referências para discussão, contribuições de Barry Ames (2003) e Figueiredo e Limongi (2001) que apresentam dois modelos de funcionamento do Parlamento, o distributivista e o partidário. Analisa a atuação da Frente Parlamentar Mista das Micro e Pequenas Empresas. Enfatiza a segunda fase de funcionamento da Frente, os anos de 2008 e 2009, quando trabalhou pela regulamentação da Lei Geral das Micro e Pequenas Empresas (Lei Complementar nº 123/06) nos Estados e Municípios e seus aperfeiçoamentos por meio da aprovação de Leis Complementares nºs 127/07, 128/08 e 133/09.

Entre la epistemología y la lógica. Decisión y algoritmo de ordenación

[ES] Este trabajo en homenaje al Profesor Emilio Soldevilla trata de plantear algunos elementos de la matemática combinatoria, escogidos sin otro criterio que el de ser fácilmente visualizados para poner en evidencia el aspecto altamente significativo que poseen para la construcción de una epistemología de la economía y gestión de empresas. Y todo ello en torno a uno de los conceptos más destacados de este ámbito del conocimiento cual es el de decisión.

Aplicación de la Lógica Dominante del servicio (LDS) en el sector turístico: el marketing interno como antecedente de la cultura de co-creación de innovaciones con clientes y empleados

[ES] Este trabajo trata de profundizar en la comprensión del concepto de marketing interno (MI), considerado como un recurso operante desde la óptica de la Lógica Dominante del Servicio (LDS), así como en su influencia en la obtención de resultados empresariales superiores a los de la competencia. Para ello, se examina el efecto del MI en la predisposición de las empresas analizadas a que sus clientes y empleados de primera línea participen en el desarrollo de innovaciones de servicio, ampliando de este modo, de acuerdo con la LDS, las oportunidades de co-creación de valor disponibles para las organizaciones. Para contrastar las hipótesis planteadas se aplica un análisis de ecuaciones estructurales a la información facilitada por los gerentes de 240 hoteles de una muestra de ámbito nacional.

La LLanada Oriental hace mil años. ¿Qué hay del crecimiento agrario altomedieval? Hábitat y paisajes agrarios (entre la imaginación y la lógica)

Congreso 750 aniversario de la fundación de la villa de Salvatierra. Ana de Begoña Azcárraga y Henrike Knörr Borras in memorian.

Sistema de classificação da gestão ambiental pública municipal baseado em lógica nebulosa

A partir da Lei n. 6.938 de 31 de agosto de 1981, que constituiu o Sistema Nacional do Meio Ambiente, criou-se o Conselho Nacional do Meio Ambiente e instituiu-se o Cadastro Técnico Federal de Atividades e Instrumentos de Defesa Ambiental, a gestão ambiental pública ganhou um espaço cada vez maior nas administrações municipais, com a implementação de instrumentos de gestão ambiental propiciando aos municípios a possibilidade de ações efetivas que contribuam para uma melhor qualidade de vida a população. Esse trabalho propõe a criação de um método de classificação municipal que indicará qual o nível da gestão ambiental do município. Verificando o número de instrumentos de gestão ambiental constituído e o número de problemas ambientais ocorridos em cada município na visão do gestor local nos anos de 2006/2008. E ainda qual a influência do IDH tanto na implementação de tais instrumentos de gestão ambiental, como nas ocorrências dos problemas ambientais. Tal classificação tem a intenção de verificar se o município encontra-se bem aparelhado no que se refere à gestão ambiental, auxiliando para futuras decisões nas ações da política ambiental local. O foco desse trabalho serão os municípios dos estados de Minas Gerais, Piauí e Rio de Janeiro. Os resultados serão processados via o software MATLAB utilizando lógica nebulosa (fuzzy) e apresentados em um website utilizando as linguagens de programação JSP, HTML, JavaScript e esse website armazenado em um servidor TomCat e tais resultados serão apresentados nas formas de valores alfanuméricos em tabelas e espaciais através de mapas temáticos em uma solução sig-web. Os dados estão armazenados em um Sistema Gerenciador de Banco de Dados PostgreSQL com sua extensão espacial PostGIS, e o acesso aos mapas será feito através do servidor de mapas MapServer.

A interpretação de texto na escola: o sentido pode ser outro

A presente pesquisa objetiva auxiliar o professor no trabalho da interpretação, articulando a academia e a escola. Buscou-se entender melhor o que é interpretação e o que pode ser ensinado ao aluno para que a pratique com mais proficiência. Partiu-se da hipótese de que não há uma metodologia precisa para o ensino de interpretação. Para testá-la, aplicou-se uma atividade de interpretação baseada na crônica Povo, de Luis Fernando Verissimo, retirada de um livro didático, às turmas de 8o ano do Ensino Fundamental e 2o ano do Ensino Médio de 4 colégios públicos do Rio de Janeiro (Cap UERJ, Cap UFRJ, CMRJ e CP II) Analisou-se como os alunos respondiam às questões propostas. Pretende-se mostrar, conforme a teoria de Orlandi (2002: 64), que interpretar não é atribuir sentidos, mas explicar como o texto produz sentidos, inclusive, sentidos que podem ser sempre outros, divergentes do esperado pelo livro didático ou pelo gabarito do professor. Imaginava-se que os resultados fossem semelhantes; toda via, o EF obteve 40% de acertos, enquanto o EM obteve 60,7%. Apesar dos resultados diferentes, foi possível realizar a atividade em duas séries tão distintas, porque a seleção do texto é de interesse de ambas. Identificaram-se a inferência, a polissemia, a metáfora e o contexto como elementos que auxiliam a interpretação, pois se fizeram presente na análise dos dados, mostrando que é possível praticá-los. Logo, apesar de não haver uma metodologia precisa e seriada para o desenvolvimento da interpretação, não significa que não haja o que se possa trabalhar. Defende-se que esses elementos podem ser aplicados em todas as séries e o que irá se diferenciar é o grau de complexidades dos textos, que mudam a cada série. É necessário trabalhar a interpretação em sala de aula com respaldo teórico, operacionalizá-la, apontando estratégias, oferecendo subsídios aos alunos. O presente trabalho busca lançar luz sobre um campo profícuo justamente por tratar de um tema complexo com várias divergências de pensamento e nomenclaturas e, ao mesmo tempo, tão relevante, porque, além de fazer parte da vida estudantil, ultrapassa os muros da escola