946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Este trabalho foi construído a partir de um questionamento central que procurava entender o porquê de uma região como a do município de Guajará-Mirim que era considerada a cidade mais bonita do estado de Rondônia, durante as décadas de 1970 e 1980, hoje, porém, se vê apática, desfocada de uma visão de progresso, cega de um projeto de desenvolvimento local definido, sem ânimo e sem o brilho que no passado tão recente fazia com que sua população se orgulhasse de seu “apelido” mais famoso, “Pérola do Mamoré”. De outro lado, os municípios ao longo do eixo da BR-364 que apresentavam uma situação bem distinta de Guajará-Mirim, portanto, mais prósperos. Diante deste aspecto, se pretendeu verificar se a teoria institucionalista de Douglass North seria adequada para explicar a desigualdade regional do Estado de Rondônia já que para esta corrente teórica, a questão histórica exercia um poder “path dependence”. Deste modo, procurou-se testar se o contexto histórico atrelado às mudanças institucionais estaria interferindo ou não no desempenho institucional das mesorregiões do Estado de Rondônia. Como primeira grande ação deste processo foi evidenciada, no território rondoniense, a existência de duas mudanças institucionais que impactaram, de forma distinta, as respectivas mesorregiões, as quais foram relacionadas aos dois grandes empreendimentos implantados em Rondônia, ou seja, a EFMM com impacto sobre a porção mesorregional Madeira-Guaporé e a BR-364 com impacto sobre a porção mesorregional Leste Rondoniense, ampliando, com isso, o poder de análise. Como segunda grande ação foi levantado indicadores agrupados nas categorias de “capacidade institucional”, de “gestão ambiental”, de “economia regional” e de “qualidade de vida”, os quais permitiram chegar, com base na análise fatorial e na utilização da ferramenta estatística SPSS, aos índices de desempenho institucional municipal, microrregional e mesorregional do Estado. Com base nos índices de desempenho institucional levantados pela pesquisa ficou, portanto, evidenciado que a história econômica interferiu no desempenho institucional mesorregional de Rondônia, o qual demonstrou uma tendência de crescimento positivo para a mesorregião Leste Rondoniense e negativo para a mesorregião Madeira-Guaporé, comprovando o poder “Path Dependence”. Contudo, objetivando averiguar a capacidade de explicação da desigualdade regional com base no capital social, a partir de um contexto qualitativo, fica evidenciada a coerência deste resultado com o pensamento teórico do institucionalismo de Douglass North já que pelos parâmetros de capital social utilizados pela pesquisa, o poder “Path Dependence” fica, ainda mais, transparente, o que demonstra a adequação destas perspectivas teóricas para a explicação da desigualdade regional do Estado de Rondônia, mesmo se tratando de uma região periférica inserida em um país, também periférico, como o Brasil.
Resumo:
Este estudo, realizado com professores engenheiros e alunos do curso Técnico em Mecânica do CEFET – Pará traz em seu bojo uma discussão muito extensa em relação à aprendizagem e à aplicação da Matemática, no curso profissionalizante. Inicio meus estudos a partir de quatro problemáticas muito presentes no processo de ensino e aprendizagem voltadas para as relações dos alunos com a educação matemática e suas aplicações práticas, no curso de Mecânica. Assim meus objetivos principais são: analisar os procedimentos didáticos na relação do processo de construção da prática pedagógica de professores de Matemática e professores engenheiros que lecionam no curso de Mecânica do CEFET-PA e compreender algumas barreiras que existem entre teoria e prática, no ensino da Matemática. Objetivo também estudar um pouco dos saberes docentes dos professores engenheiros e a relação que eles estabelecem entre saberes didáticos e saberes técnicos profissionais específicos. Os dados apontam queixas dos alunos sobre as aulas de Matemática nas duas formas de ensino, o que tem originado um sistema de obstáculos e erros no processo de ensino-aprendizagem desta disciplina, tanto no ensino fundamental, quanto no médio profissionalizante. Três foram os objetos de análise: os caminhos e percalços vividos pelos alunos, o que deu subsídios para compreensão da atuação didática dos docentes do curso de Mecânica e a relação entre o saber pedagógico, o saber de formação profissional e a prática docente dos professores engenheiros. É perceptível nas análises que, durante sua formação acadêmica, o engenheiro desenvolve aprendizagens específicas na sua natureza profissional e, após o ingresso na docência, ele tende a manter esta aprendizagem, só que agora de uma forma mais especifica e objetiva. Parece que a questão da identidade docente não é objeto central para os professores engenheiros; no entanto, ao final entende-se que a prática docente deveria ser tratada com mais atenção por estes professores. Encerro este trabalho investigando como os professores técnicos concebem a formação continuada em educação, sugerindo um relacionamento mais amplo desses, com a didática da Matemática, a partir de uma preocupação maior em torno de uma reflexão ativa na busca de formação continuada em educação Matemática. Desta forma, haverá uma ampla conciliação de saberes de conteúdo, didáticos e estratégicos.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
O artigo discute os desafios colocados às teorias sociais modernas gerados pela crise nas teorias do planejamento do desenvolvimento, diante da conformação de uma sociedade de risco _ individual, social e ambiental. Neste sentido as teses formuladas no âmbito das teorias desenvolvimentistas, que prometiam realizar a felicidade da humanidade, transformaram-se em um projeto normativo e teórico de modernização-racionalização, pela via da certeza de seus resultados através do planejamento. No entanto, contrariamente a esta perspectiva concebida no seio da filosofia iluminista, acaba por constituir a idéia de progresso paralelamente a uma situação iminente de riscos sociais, que então, contra-argumenta as teorias sociais modernas e sua perspectiva de análise globalizante.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Estudos Linguísticos - IBILCE
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
O objetivo geral desta pesquisa é compreender e explicar as questões de gênero e suas implicações, envolvendo saber especializado e poder, com leitura nas relações desiguais entre homens e mulheres no campo das engenharias. Com recorte na Universidade Federal do Pará (UFPA), mais precisamente nos cursos de Engenharia Civil e Engenharia de Minas e meio Ambiente, evidenciados neste estudo pelo fato de aglomerarem o maior e o menor contingente feminino respectivamente. Por se tratar de um campo que historicamente tem sido ocupado majoritariamente pelos homens, há de se considerar que mulheres ao fazerem essa opção profissional enfrentam desafios sociais e culturais que permeiam as relações entre sexos. Deste modo, busca-se também compreender as motivações e as influências que as levam escolher a área das engenharias, bem como as dificuldades que enfrentam, as estratégias que utilizam para se manterem neste campo, e suas perspectivas quanto à profissão. A investigação adotada para a pesquisa combinou levantamento bibliográfico, estatístico, documental e fotográfico, com a realização de entrevistas semiestruturadas abordando discentes e docentes femininas dos dois cursos de engenharia selecionados, as quais, através da história oral, puderam relatar suas experiências vividas no cotidiano acadêmico e profissional. Os resultados desta investigação associados à teoria pertinente revelou que embora tenha aumentado a inserção de mulheres nos cursos de engenharias da UFPA, a maioria delas faz a escolha por acaso, justificado pela falta de orientação educativa ou porque onde os cursos são disponibilizados, não lhes oferecem outra opção. Elas ainda são limitadas em sua autonomia e liberdade de escolha, por discursos vinculados às relações de poder que sutilmente demarcam o campo profissional, quando associam o ambiente das engenharias à natureza feminina.
Resumo:
ABSTRACT: This work presents a method to analyze characteristics of a set of genes that can have an influence in a certain anomaly, such as a particular type of cancer. A measure is proposed with the objective of diagnosing individuals regarding the anomaly under study and some characteristics of the genes are analyzed. Maximum likelihood equations for general and particular cases are presented.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
O método do pensamento político de Hannah Arendt é deveras heterodoxo e poliformal. Qualquer tentativa de interpretá-lo defronta-se com grandes dificuldades, ainda mais se levarmos em consideração que Arendt deixou poucas informações que pudessem esclarecê-lo. Entretanto, talvez seja possível contornar essas dificuldades hermenêuticas, na medida em que selecionamos as perspectivas do método arendtiano a serem desenvolvidas, afastando e silenciando outras – o que já faz parte do “jogo das aparências”. Trata-se, portanto, de uma espécie de quebra-cabeças que pode ser montado de diferentes maneiras, sem que se esgotem suas possibilidades. Mesmo porque, além de questionar a estrutura sistemática do pensamento filosófico tradicional, Arendt não pretendia dar uma forma definitiva ao seu pensamento, deixando sempre margem de manobra para futuras alterações. Nesse sentido, a proposta desse trabalho é interpretar o método, ou os métodos, do pensamento político de Hannah Arendt a partir de uma abordagem hilemórfica. Para tanto, desenvolveremos quatro capítulos, nos quais serão abordadas diferentes perspectivas do método arendtiano, mas sempre voltadas ao espectro da matéria e da forma que ela projetou em seus procedimentos. O primeiro capítulo tratará da genealogia dos modos do pensar totalitário, como a forma de engajamento e combate de Arendt contra os sistemas totalitários. O segundo capítulo abordará os aspectos propositivos do pensamento arendtiano, fixando-se nos conceitos nucleares que compõem sua teoria política. O terceiro capítulo investigará o papel da Vontade enquanto animadora da ação política, mostrando como Arendt realizou a passagem da filosofia da vontade para a liberdade da ação política. O quarto capítulo tratará das conexões hilemórficas presentes na relação entre as faculdades de pensar e julgar. Por fim, quem sabe os procedimentos metodológicos de Arendt não possam ser vistos como o início de uma filosofia da liberdade?
Resumo:
Neste trabalho iremos estudar os efeitos do potencial químico em (1 + 1) dimensões em modelos de teoria de campos a temperatura finita. Em particular, consideraremos férmions não massivos em um campo de fundo de calibre abeliano e calcularemos a ação efetiva por meio da função de n-pontos. Escreveremos a estrutura das amplitudes correspondentes e generalizaremos cálculos já existentes na literatura sem o potencial químico. Mostraremos através dos cálculos que a anomalia quiral não e afetada pela presença do potencial químico a temperatura finita. Entretanto, na ausência desse potencial as funções ímpares são nulas. Já na presença dele a temperatura finita, a função tem contribuições pares e ímpares. Mostraremos que a origem da estrutura das amplitudes e melhor vista a partir da formulação alternativa da teoria em termos dos espinores left- e right-handed. Os cálculos são também mais simples nessa formalação e alguns aspectos da teoria ficam mais claros.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)