834 resultados para Unsolvability (Mathematical logic)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Educação Matemática - IGCE

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A pesquisa, etnomatemática quilombola: as relações dos saberes da matemática dialógica com as práticas socioculturais dos remanescentes de quilombo do Mola-Itapocu/PA, realizada de junho de 2003 a dezembro de 2004, foi norteada no estudo de caso etnográfico. O questionamento básico dessa dissertação expressa a preocupação de como se estabelecer relações entre as práticas socioculturais das teias de saberes matemáticos com a matemática escolar, sem negar os seus significados e o(s) seu(s) sentido(s), que são vivenciados na (re)construção das memórias cotidianas dos remanescentes de quilombo molense? Esta investigação teve como objetivos: identificar os significados, atribuídos pelos molenses, às suas práticas socioculturais, conectadas aos saberes matemáticos da cultura local, e estabelecer algumas relações entre a matemática escolar e a matemática praticada pelos remanescentes de quilombo do Mola-Itapocu/PA, sem dispensar os seus significados e o(s) sentido(s) das memórias das vivências cotidianas do contexto particular. No capítulo I, teço reflexões críticas acerca das relações entre as práticas da vida cotidiana e os saberes etnomatemáticos, relacionadas às memórias das vivências dos remanescentes de quilombo do Mola. Inicio tecendo memórias da matemática não escolar, seguidas dos saberes plurais das práticas matemáticas; depois, lanço olhares por dentro das investidas positivistas, para evidenciar como teias investidas negam a vida cotidiana dos saberes etnomatemáticos, por último, visito os olhares escolares lançados sobre os saberes etnomatemáticos. No capítulo II, faço uma breve análise das diferentes racionalidades presentes nas (etno)ciências, desvelando as faces da etnociência, ciência moderna e da ciência pós-moderna. No terceiro capítulo, construo a análise sob as convergências e as divergências entre os saberes matemáticos e a matemática escolar, vinculadas às teias: caminhando em terrenos áridos da lógica formal matemática; aos saberes etnomatemáticos; as reentrâncias das etnomatemáticas com a complexidade da vida e a lógica dialógica da etnomatemática. No quarto, evidencio as diferenças existentes entre a pesquisa experimental positivista e a pesquisa qualitativa, para, em seguida, tecer as possíveis relações dialógicas da pesquisa etnográfica com a etnomatemática, e no quinto, com base nas falas e nas observações das vivências socioculturais e os saberes matemáticos dos informantes, estabeleço algumas relações entre os saberes locais da matemática molense e a matemática escolar. Neste contexto, começo revisitando brevemente a história da educação do campo; seguida das teias das relações entre as práticas socioculturais e a matemática dialógica dos molenses; por último, teço a alfabetização das teias de saberes matemáticos e de saberes das práticas socioculturais. A etnomatemática quilombola, incessantemente, construída nas relações da matemática dialógica com as práticas educativas molenses, evidenciou a linguagem, as memórias e as representações dos saberes matemáticos e etnocientífico, articulada às possíveis relações com os saberes da matemática escolar do ensino multisseriado.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo dessa pesquisa foi investigar os saber-e-fazer da confecção de rabecas na cidade de Bragança-PA e algumas relações matemáticas advindas desse contexto. A pesquisa empírica se constituiu em observações sistemáticas do processo de confecção artesanal de rabecas, considerando a prática dos artesãos. A pesquisa ocorreu por meio de filmagens, entrevistas e registros fotográficos de suas relações com a cultura local destacando-se a festa da Marujada que ocorre todos os anos em Bragança onde a rabeca é parte integrante dessa tradição. A metodologia foi pautada nos princípios da pesquisa qualitativa. O trabalho de confecção de uma rabeca foi acompanhado em todas as suas etapas. A etnomatemática foi a base utilizada como aporte teórico para compreender as observações feitas em campo. Os resultados obtidos nos mostraram que os artesãos têm um modo singular de medir e estabelecer comparações matemáticas utilizando partes do próprio corpo e percepções relacionadas com os órgãos dos sentidos como: escutar, ver e sentir a fim de definir medidas lineares. Os saberes dos mestres artesãos de rabecas apenas auxiliam a construção de formas diferentes de pensar da ciência e consequentemente do saber matemático comumente veiculado pelo ensino formal.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Educação Matemática - IGCE

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Engenharia Elétrica - FEIS

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this study, the flocculation process in continuous systems with chambers in series was analyzed using the classical kinetic model of aggregation and break-up proposed by Argaman and Kaufman, which incorporates two main parameters: K (a) and K (b). Typical values for these parameters were used, i. e., K (a) = 3.68 x 10(-5)-1.83 x 10(-4) and K (b) = 1.83 x 10(-7)-2.30 x 10(-7) s(-1). The analysis consisted of performing simulations of system behavior under different operating conditions, including variations in the number of chambers used and the utilization of fixed or scaled velocity gradients in the units. The response variable analyzed in all simulations was the total retention time necessary to achieve a given flocculation efficiency, which was determined by means of conventional solution methods of nonlinear algebraic equations, corresponding to the material balances on the system. Values for the number of chambers ranging from 1 to 5, velocity gradients of 20-60 s(-1) and flocculation efficiencies of 50-90 % were adopted.