18 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
em Universidade Federal do Pará
Resumo:
Este estudo é o resultado de uma pesquisa que analisou a relação entre teoria e prática das ações propostas pela Organização Não Governamental Projeto Saúde e Alegria (ONG-PSA), na localidade de Suruacá, no rio Tapajós, no município de Santarém, oeste paraense. A problemática de investigação foi conduzida a partir de dois questionamentos centrais: Como se dá a relação entre teoria e prática no que se refere ao trabalho desenvolvido pelo Projeto Saúde e Alegria no Telecentro Comunitário de Suruacá? E qual o impacto que o uso de novos meios comunicacionais causou na vivência cultural na área pesquisada? A análise dos dados foi produzida, a partir do levantamento bibliográfico e documental sobre as ações da ONG, de dados disponibilizados no site oficial do PSA, do vídeo institucional da ONG, do que se viu e ouviu na localidade Suruacá e da visão de pesquisadores e agentes das áreas de Comunicação, Cultura e Educação que atuam fora do PSA. Entre os resultados da pesquisa, constatou-se que a proposta publicizada pelo Projeto corresponde com a descrição da entrevista realizada com os moradores do local que nos últimos 25 anos têm acompanhado, trabalhado e recebido as ações do PSA. Percebeu-se que há uma práxis convergente presente na relação comunicacional e educacional entre o PSA e Suruacá, não de natureza exclusivamente dialética, mas também dialógica, no sentido de complexidade entendida no pensamento de Morin (1991), das mediações do pensamento de Martín-Barbero (1997) e da dialogicidade profunda no pensamento de Freire (1996), em processos envolvendo Comunicação, Cultura e Educação em Suruacá, mas pondera-se que a presença desta ONG no interior da Amazônia brasileira não dispensa a ação do estado na efetivação de políticas públicas nas áreas de comunicação, cultura, educação e saúde.
Resumo:
Desenvolvemos a quantização do campo vetorial não massivo no espaço-tempo de Schwarzschild, e calculamos a potência irradiada por uma carga elétrica em órbita circular em torno de um objeto com massa M em ambos os espaços-tempos. Em Minkowski é encontrada a expressão analítica da potência irradiada utilizando teoria quântica de campos e assumindo gravitação newtoniana. O resultado obtido é equivalente ao resultado clássico, dado que o cálculo é realizado em nível de árvore. Dadas as dificuldades matemáticas encontradas ao se tentar obter soluções expressas em termos de funções especiais conhecidas, em Schwarzschild o problema é abordado de duas formas: solução analítica no limite de baixas freqüências, e resolução numérica. O primeiro caso serviu como cheque de consistência para o método numérico. Em Schwarzschild, o cálculo também é realizado utilizando teoria quântica de campos em nível de árvore, e a expressão da potência é encontrada analiticamente na aproximação de baixas freqüências e através de métodos numérico. Após a comparação dos resultados, concluímos que, para uma mesma velocidade angular de rotação da carga (medida por observadores estatísticos assintóticos), a potência irradiada em Minkowski é maior que a potência irradiada em Schwarzschild.
Resumo:
A construção de conceitos científicos no âmbito escolar ainda precisa ser melhor compreendida. No caso de conceitos relacionados à astronomia, as pesquisas ainda são escassas no Brasil, principalmente quando se trata da Educação de Jovens e Adultos (EJA). O presente estudo objetivou compreender, à luz da Teoria Histórico-Cultural, as formas através das quais estudantes da EJA constroem conceitos relacionados com os movimentos do sistema Terra-Lua-Sol, em suas interações com o professor e os colegas em sala de aula. A pesquisa foi realizada em uma turma do ensino médio da EJA da Escola de Aplicação da Universidade Federal do Pará. A turma era formada por 19 estudantes, com idades variando entre 16 e 37 anos. A coleta de informações foi feita durante um semestre letivo, inicialmente através de questionários. Eles continham perguntas abertas sobre a temática, a fim de investigar as concepções prévias dos estudantes. Posteriormente, as aulas em que o assunto foi ensinado foram gravadas em áudio e vídeo. Nestas aulas os alunos elaboraram individualmente e coletivamente explicações para a sucessão dia-noite na terra. Os grupos foram formados espontaneamente pelos alunos e, em seguida, foram recombinados pelo professor. Os registros foram transcritos e analisados microgeneticamente. As respostas dos estudantes ao questionamento inicial que tratava sobre a sucessão do dia e da noite na Terra foram categorizadas em quatro níveis A, B, C e D desde o mais afastado até o mais próximo do conceito escolar cientificamente aceito. Os resultados obtidos mostraram que 13 estudantes melhoram o perfil conceitual, pois migraram dos níveis A, B ou C para o nível D da categoria de respostas, ou seja, estes estudantes entendiam que a sucessão dianoite era decorrente do movimento de rotação da terra. Os outros seis estudantes, que já se encontravam no nível D, permaneceram nesse nível, porém melhoraram suas explicações em relação as suas respostas iniciais. Foram selecionados três estudantes para a análise microgenética dos percursos da construção de seus conhecimentos. Eles tinham suas respostas escritas iniciais classificadas nos níveis A ou B e durante suas interações com o professor e com os colegas incorporaram elementos do discurso científico, conseguindo elaborar explicações teóricas para o fenômeno observado. Os resultados ilustram diferentes mecanismos de ajuste da ajuda educacional oferecida pelo professor e pelos colegas, que salientam a importância de uma abordagem dialógica e do trabalho com diferentes formatos de grupos em sala de aula.
Resumo:
Revolução popular, com profundas implicações políticas, históricas e sociais no Pará, a Cabanagem desdobrou-se em lutas protagonizadas por legalistas e cabanos de 1835 a 1840. Neste período, segundo historiadores, o número de mortos chegou a 30 mil. Vista pelos olhos dos vencedores como uma simplória revolta de camadas menos favorecidas do extrato social, ao longo do tempo a Cabanagem teve sua memória recuperada por intelectuais e estudiosos da História do Pará, até alcançar o status de Revolução Popular. Este trabalho tem como base teórica estudos sobre textos históricos e de teoria literária, com ênfase à inter-relação entre a memória histórica, o imaginário amazônico e o papel do poeta nas questões sociais de seu tempo, mais especificamente, na poética de José Ildone e o entrecruzamento deste poeta com o olhar do contista João Marques de Carvalho, para mostrar visões diferenciadas sobre a Cabanagem, através de textos ficcionais de escritores de expressão amazônica. A principal proposta da pesquisa é mostrar até que ponto uma produção literária local se projeta em um contexto mais global e o quanto estes textos podem contribuir para analisar e compreender um fenômeno histórico, social e político como foi a revolta cabana, em um período de dissidências, motins, protestos militares e revoluções que eclodiram no Brasil nos nove anos de desorganização política e social do Período Regencial (1831/1840).
Resumo:
O presente trabalho apresenta uma análise descritiva desenvolvida com base em um corpus de 50 textos, do gênero publicitário, cujo objetivo é verificar como se processa a estratégia cognitiva, fundamental ao processamento textual e à construção de sentido, denominada de inferência. Partindo do pressuposto de que a atividade humana comunicativa perpassa por três peças-chave, integrativas e indissociáveis, que são o emissor, o texto e o receptor. Procurou-se estabelecer o papel da cada um desses elementos no processamento de inferências, tendo por base teórica dois ramos da Lingüística: 1) A Linguística Textual, que esmiuça o seu principal elemento-chave, o texto, enfatizando que atividades e processamentos cognitivos, mais especificamente a inferenciação, são utilizados; 2) A Pragmática, que vem subsidiando a Lingüística Textual, com a Teoria da Relevância de Sperber e Wilson (1986), na qual se buscam considerações pertinentes sobre o modo como a informação é representada na mente e como a mesma é processada inferencialmente.
Resumo:
Esta dissertação foi desenvolvida no sentido de contribuir para o ensino e para aprendizagem da Geometria Analítica no ensino superior. Para realizar esta tarefa contamos com o referencial teórico de Raymond Duval - com a teoria dos Registros de Representação Semiótica - em aulas expositivas, atividades em classe e na exploração de um maior número de representações do objeto matemático Vetor. Nosso objetivo foi o de identificar e analisar as dificuldades na produção e no tratamento de representações dos vetores que caracterizam lacunas ao aprendizado do conceito desse objeto. Os sujeitos da pesquisa foram alunos de uma turma de Licenciatura em Matemática da Universidade do Estado do Pará – UEPA, Núcleo Regional do Baixo Tocantins – NURBAT localizado em Moju – PA. A pesquisa foi dividida em etapas, onde na primeira, a turma presenciou aulas teóricas com foco principal no estudo de vetores, explorando as várias representações do objeto bem como as operações básicas; a segunda etapa consistiu na resolução de lista de exercícios (atividades 1 e 2), contendo questões retiradas da indicação bibliográfica da disciplina e a avaliação individual. E por último a análise das resoluções feitas pelos sujeitos. Os instrumentos de coleta de dados envolveram questões de representação de vetores nos registros algébrico, figural e da língua natural, assim como, as conversões entre esses registros. Após analisar as resoluções, estas foram agrupadas por categorias as quais: confusão entre coordenadas de ponto e coordenadas de vetor, dificuldade na aplicação da regra do paralelogramo, dificuldade em identificar vetores iguais e conversão entre registros envolvendo o registro geométrico. Ao final das análises apontamos onde os alunos sentem mais dificuldades de acordo com as peculiaridades dos mesmos nas resoluções apresentadas e ainda, propomos a possibilidade de continuidade da pesquisa sobre o mesmo objeto.
Resumo:
O conhecimento prévio do valor da carga é de extrema importância para o planejamento e operação dos sistemas de energia elétrica. Este trabalho apresenta os resultados de um estudo investigativo da aplicação de Redes Neurais Artificiais do tipo Perceptron Multicamadas com treinamento baseado na Teoria da Informação para o problema de Previsão de Carga a curto prazo. A aprendizagem baseada na Teoria da Informação se concentra na utilização da quantidade de informação (Entropia) para treinamento de uma rede neural artificial. Dois modelos previsores são apresentados sendo que os mesmos foram desenvolvidos a partir de dados reais fornecidos por uma concessionária de energia. Para comparação e verificação da eficiência dos modelos propostos um terceiro modelo foi também desenvolvido utilizando uma rede neural com treinamento baseado no critério clássico do erro médio quadrático. Os resultados alcançados mostraram a eficiência dos sistemas propostos, que obtiveram melhores resultados de previsão quando comparados ao sistema de previsão baseado na rede treinada pelo critério do MSE e aos sistemas previsores já apresentados na literatura.
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:
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:
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:
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:
O trabalho aqui apresentado visa o estudo da migração 3D no tempo, em amplitudes verdadeiras, de dados da seção afastamento nulo ("zero-offset"), usando a aproximação de segunda ordem do tempo de trânsito de difração. O processo de migração no tempo usa a função difração determinada, corretamente, através de mesmos parâmetros que controlam a função tempo de trânsito de reflexão, além do auxílio dos raios paraxiais. Os parâmetros que controlam a função tempo de trânsito de reflexão são determinados através de pelo menos nove medidas de tempo de trânsito, obtidas a partir de dados pré-empilhados (tiro comum, ponto médio comum - CMP, etc.). Determinada a função difração, pode-se fazer a migração sem a necessidade de que se conheça o modelo de velocidades, pois a função tempo de trânsito de difração, como definido neste trabalho, não necessita do mesmo. O espalhamento geométrico é removido através do processo de migração e aplicação de uma função peso aos dados da seção afastamento nulo. Juntamente com a função peso, aplicou-se um filtro objetivando a recuperação da fase do sinal, ocorrida como consequência do processo de migração. Devido a limitação computacional, fez-se testes com dados sintéticos, em 2D, objetivando verificar a eficiência do programa. Os resultados obtidos foram satisfatórios, mostrando a eficiência e confiabilidade do processo.