Técnicas dedutivas

Esta animação apresenta os conceitos de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica a partir de um conjunto de premissas. Alguns passos são exemplificados para se chegar ao objetivo. Dentre esses estão a aplicação da regra de Simplificação, da regra de Modus Tollens, da regra de Modus Penens e da regra de adição. Alguns conceitos também devem já ser entendidos como o a da dedução, da conclusão e do uso de axiomas. Aplicando todas essas regras em conjunto em determinadas etapas da resolução do problema encontra-se a solução por dedução a partir de premissas. Este material é indicado a alunos dos cursos de graduação em que se depararem com disciplinas que contém algum tipo de lógica matemática ou que necessitam da aplicação destas regras.

Técnicas dedutivas

Esta animação apresenta o conceito de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica de um conjunto de premissas. Apresenta também as regras de inferências lógicas , os conhecimentos prévios sobre os problemas e as regras da simplificação na proporção 1.

Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana

O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment on Euclidean Geometry, desenvolvido para validar as idéias utilizadas em sua especificação. Nos últimos anos, tem-se observado uma crescente evolução dos sistemas de ensino e aprendizagem informatizados. A preocupação com o desenvolvimento de ambientes cada vez mais eficientes, tanto do ponto de vista computacional quanto pedagógico, tem repercutido em um salto de qualidade dos software educacionais. Tais sistemas visam promover, auxiliar e motivar a aprendizagem das mais diversas áreas do conhecimento, utilizando técnicas de Inteligência Artificial para se aproximarem ao máximo do comportamento de um tutor humano que se adapte e atenda às necessidades de cada aluno. A Geometria pode ser vista sob dois aspectos principais: considerada como uma ciência que estuda as representações do plano e do espaço e considerada como uma estrutura lógica, onde a estrutura matemática é representada e tratada no mais alto nível de rigor e formalismo. Entretanto, o ensino da Geometria, nos últimos anos, abandonou quase que totalmente sua abordagem dedutiva. Demonstrações de teoremas geométricos não são mais trabalhadas na maioria das escolas brasileiras, o que repercute em um ensino falho da Matemática, que não valoriza o desenvolvimento de habilidades e competências relacionadas à experimentação, observação e percepção, realização de conjecturas, desenvolvimento de argumentações convincentes, entre outras. Levando-se em conta este cenário, desenvolveu-se o LEEG, um sistema para a aprendizagem de demonstrações geométricas que tem como objetivo auxiliar um aprendiz humano na construção de demonstrações da Geometria Euclidiana Plana. O sistema foi modelado sobre uma adaptação do protocolo de aprendizagem MOSCA, desenvolvido para suportar ambientes de ensino informatizados, cuja aprendizagem é baseada na utilização de exemplos e contra-exemplos. Este protocolo propõe um ambiente de aprendizagem composto por cinco agentes, dentre os quais um deles é o aprendiz e os demais assumem papéis distintos e específicos que completam um quadro de ensino-aprendizagem consistente. A base de conhecimento do sistema, que guarda a estrutura lógica-dedutiva de todas as demonstrações que podem ser submetidas ao Aprendiz, foi implementada através do modelo de autômatos finitos com saída. A utilização de autômatos com saída na aplicação de modelagem de demonstrações dedutivas foi extremamente útil por permitir estruturar os diferentes raciocínios que levam da hipótese à tese da proposição de forma lógica, organizada e direta. As demonstrações oferecidas pelo sistema são as mesmas desenvolvidas por Euclides e referem-se aos Fundamentos da Geometria Plana. São demonstrações que priorizam e valorizam a utilização de objetos geométricos no seu desenvolvimento, fugindo das demonstrações que apelam para a simples manipulação algébrica e que não oferecem uma construção significativa do ponto de vista da Geometria. Porém, mesmo sendo consideradas apenas as demonstrações contidas em Elements, todos os diferentes raciocínios para uma mesma demonstração são aceitos pelo sistema, dando liberdade ao aprendiz no processo de construção da demonstração.

Polímeros biomiméticos em química analítica. Parte 1: preparo e aplicações de MIP (Molecularly Imprinted Polymers) em técnicas de extração e separação

MIPs are synthetic polymers that are used as biomimetic materials simulating the mechanism verified in natural entities such as antibodies and enzymes. Although MIPs have been successfully used as an outstanding tool for enhancing the selectivity or different analytical approaches, such as separation science and electrochemical and optical sensors, several parameters must be optimized during their synthesis. Therefore, the state-of-the-art of MIP production as well as the different polymerization methods are discussed. The potential selectivity of MIPs in the extraction and separation techniques focusing mainly on environmental, clinical and pharmaceutical samples as applications for analytical purposes is presented.

Terminologia para as técnicas analíticas de eletromigração em capilares

This is a contribution that presents a translation of the work Terminology for Analytical Capillary Electromigration Techniques by Riekkola and collaborators (Pure Appl. Chem., Vol. 76, No. 2, 443-451, 2004) from IUPAC© for the Portuguese Language. Additional terms that had not been defined in native Portuguese were included for the benefit of the local community. Additional notes were also included to clarify some important concepts and to highlight the differences between techniques.

Avaliação de técnicas de classificação digital de imagens landsat em diferentes padrões de cobertura da terra em Rondônia

Remotely sensed imagery has been widely used for land use/cover classification thanks to the periodic data acquisition and the widespread use of digital image processing systems offering a wide range of classification algorithms. The aim of this work was to evaluate some of the most commonly used supervised and unsupervised classification algorithms under different landscape patterns found in Rondônia, including (1) areas of mid-size farms, (2) fish-bone settlements and (3) a gradient of forest and Cerrado (Brazilian savannah). Comparison with a reference map based on the kappa statistics resulted in good to superior indicators (best results - K-means: k=0.68; k=0.77; k=0.64 and MaxVer: k=0.71; k=0.89; k=0.70 respectively for three areas mentioned). Results show that choosing a specific algorithm requires to take into account both its capacity to discriminate among various spectral signatures under different landscape patterns as well as a cost/benefit analysis considering the different steps performed by the operator performing a land cover/use map. it is suggested that a more systematic assessment of several options of implementation of a specific project is needed prior to beginning a land use/cover mapping job.

Efeito neuromuscular das técnicas fisioterapeuticas bandagem funcional e corrente interferencial na síndrome tensional cervical

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

As técnicas NASVD e MNF e sua aplicação na redução de ruídos em dados gamaespectrométricos

A desintegração radioativa é um processo aleatório e a estimativa de todas as medidas associadas é governada por leis estatísticas. Os perfis de taxas de contagem são sempre "ruidosos" quando utilizados períodos curtos como um segundo para cada medida. Os filtros utilizados e posteriormente as correções feitas no processamento atual de dados gamaespectrométricos não são suficientes para remover ou diminuir, consideravelmente, o ruído oriundo do espectro. Dois métodos estatísticos que atuam diretamente nos dados coletados, isto é, nos espectros, vêm sendo sugeridos na literatura para remover e minimizar estes ruídos remanescentes o Noise-Adjusted Singular Value Decomposition - NASVD e Maximum Noise Fraction - MNF. Estes métodos produzem uma redução no ruído de forma significativa. Neste trabalho eles foram implementados dentro do ambiente de processamento do software Oasis Montaj e aplicados na área compreendida pelos blocos I e II do levantamento aerogeofísico que recobre a porção oeste da Província Mineral do Tapajós, entre os Estados do Pará e Amazonas. Os dados filtrados e não-filtrados com as técnicas de NASVD e MNF foram processados com os parâmetros e constantes fornecidos pela empresa Lasa Engenharia e Prospecções S.A., sendo estes comparados. Os resultados da comparação entre perfis e mapas apresentaram-se de forma promissora, pois houve um ganho na resolução dos produtos.

Técnicas de diagnóstico de influência local na análise espacial da produtividade da soja

A modelagem da estrutura de dependência espacial pela abordagem da geoestatística é fundamental para a definição de parâmetros que definem esta estrutura, e que são utilizados na interpolação de valores em locais não amostrados pela técnica de krigagem. Entretanto, a estimação de parâmetros pode ser muito afetada pela presença de observações atípicas nos dados amostrados. O desenvolvimento deste trabalho teve por objetivo utilizar técnicas de diagnóstico de influência local em modelos espaciais lineares gaussianos, utilizados em geoestatística, para avaliar a sensibilidade dos estimadores de máxima verossimilhança e máxima verossimilhança restrita na presença de dados discrepantes. Estudos com dados experimentais mostraram que tanto a presença de valores atípicos como de valores considerados influentes, pela análise de diagnóstico, pode exercer forte influência nos mapas temáticos, alterando, assim, a estrutura de dependência espacial. As aplicações de técnicas de diagnóstico de influência local devem fazer parte de toda análise geoestatística a fim de garantir que as informações contidas nos mapas temáticos tenham maior qualidade e possam ser utilizadas com maior segurança pelo agricultor.

Comparação de técnicas de determinação de ésteres em cachaça

An analytical comparison of three different techniques for quantitative profile of esters in cachaça is reported. The Ministério da Agricultura Pecuária e Abastecimento (MAPA) recommends the use of GC/FID or volumetry. Despite being laborious and lacking in chemical speciation, the volumetric technique for total ester content shows to be appropriate, reproducible, and accurate for the analysis of cachaça. However, the GC/FID suggested by MAPA, considering only ethyl acetate, shows inaccuracy, underestimating the total ester content by a median factor of 72%, mainly due to the absence of ethyl lactate analysis. On the other hand, the GC/MS technique that comprises the analysis and speciation of nine esters, including ethyl lactate, proved to be reproducible, simple, fast and accurate for the analysis of total ester content in cachaça. Thus, the total ester content results obtained using GC/FID must be considered with precaution.

Técnicas de extrações e procedimentos de clean-up para a determinação de hidrocarbonetos policílicos aromáticos (HPA) em sedimentos da costa do Ceará

Extraction and clean-up are essential points in polycyclic aromatic hydrocarbon (PAHs) analysis in a solid matrix. This work compares extraction techniques and clean-up procedures for PAH analysis. PAH levels, their toxicological significance and source were also evaluated in the waters of the Cocó and Ceará rivers. The efficiency of PAH recovery was higher for the soxhlet and ultrasonic techniques. PAH recovery varied from 69.3 to 99.3%. Total PAH concentration (ΣHPA) varied from 720.73 to 2234.76 µg kg-1 (Cocó river) and 96.4 to 1859.21 µg kg-1 (Ceará river). The main PAH sources are pyrolytic processes and the levels were classified as medium so that adverse effects are possible.

Padrão de refeições realizadas por adolescentes que frequentam escolas técnicas de São Paulo

OBJETIVO: Avaliar e caracterizar o consumo de refeições realizadas por adolescentes. MÉTODOS: Estudo transversal com 71 adolescentes do ensino médio de escolas técnicas de São Paulo. Foi utilizado um questionário que avalia atitudes alimentares de ado-lescentes. As variáveis estudadas foram: frequência, local, com quem realiza as refeições e substituição de refeições por lanches. Os dados foram analisados descritivamente e o teste do qui-quadrado comparou as variáveis segundo gênero, considerando nível de significância de 5%. RESULTADOS: Do total, 58% eram do gênero feminino. A maioria relatou realizar as principais refeições em casa (88% café da manhã, 91% almoço e 96% jantar). Quanto à frequência do consumo, 49% realizavam todos os dias o café da manhã, 65% o almoço e 51% o jantar. Os adolescentes consumiam tanto o café da manhã (48%) quanto o almoço (39%) sozinhos, enquanto o jantar (77%) era realizado com os pais, havendo, para o jantar, diferença entre gêneros (p=0,022). Observou-se que 29% substituíam o almoço por lanches e, destes, 17% o faziam uma a duas vezes por semana. No jantar, uma porcentagem maior de adolescentes o subs-tituía por lanche (62%), sendo a frequência de substituição de uma a duas vezes por semana para 42% deles. CONCLUSÕES: Apesar de os adolescentes realizarem as re-feições em casa, as mesmas não são feitas diariamente nem acompanhadas pelos pais.

Quantificação de tecido conjuntivo do músculo cardíaco em equinos de tração através de técnicas histoquímicas e morfométricas

Os cardiomiócitos são sustentados e inseridos em um esqueleto de tecido conjuntivo, este possui distribuição desigual de acordo com as propriedades das distintas regiões em que se encontra. O propósito deste estudo foi quantificar a proporção de tecido conjuntivo em relação à disposição de cardiomiócitos dos ventrículos direito e esquerdo e no septo interventricular do miocárdio de seis equinos subnutridos, adultos, sendo quatro machos e duas fêmeas, sem raça definida e utilizados para tração. Com auxílio de paquímetro eletrônico digital, avaliou-se a altura do ventrículo esquerdo, a largura do coração, assim como sua circunferência, as espessuras das paredes livres dos ventrículos e do septo interventricular. Os fragmentos relativos ao terço médio do septo interventricular e das paredes livres dos ventrículos foram submetidos à técnica histológica convencional. Os blocos foram cortados com espessura de 5µm e corados com Picrosirius Red, Tricromo de Gomori e Tricromo de Azan para evidenciação do tecido conjuntivo. As lâminas foram analisadas com uso do microscópio óptico digital acoplado ao programa de análise de imagens Image-Pro Plus®. A proporção média de tecido conjuntivo no ventrículo esquerdo foi de 6,1±3,7%, no septo interventricular foi obtida a média de 6,8±3,6% e no ventrículo direito a média foi de 6,1±3,1%. Ao aplicarmos teste H de Kruskal-Wallis, verificamos que ocorreu diferença estatística entre os diferentes corantes utilizados em relação às regiões avaliadas. No teste de correlação de Pearson, não foi encontrado padrão de correlação entre a espessura das regiões analisadas e a proporção de tecido conjuntivo.

Utilização de técnicas estatísticas em duas revistas de fruticultura

Neste trabalho são descritas as técnicas de análise estatística utilizadas e a acessibilidade estatística em uma amostra dos artigos originais publicados no período 1996-2006 em duas revistas de pesquisa na área de fruticultura: a Revista Brasileira de Fruticultura (RBF) e a revista francesa Fruits. No total foram classificados 986 artigos em 16 categorias de análise estatística, ordenadas em grau ascendente de complexidade. No período analisado, foi constatado um aumento no uso de análises mais sofisticadas ao longo do tempo em ambos as revistas. Os trabalhos publicados pela RBF aplicaram com maior freqüência técnicas estatísticas mais complexas, com maior utilização de delineamentos em blocos aleatorizados, arranjos fatoriais, parcelas subdivididas e modelos hierárquicos, e do teste de Tukey para comparações múltiplas de médias. Nos trabalhos publicados pela revista Fruits, predominou o uso de outros testes paramétricos e do teste de Duncan. O pacote estatístico SAS foi o mais utilizado nos artigos publicados em ambas as revistas. Os leitores da revista RBF precisaram de um nível de conhecimento estatístico mais elevado para ter acesso à maior parte dos artigos publicados no período, em comparação com os leitores da revista francesa.

Estudo comparativo entre duas técnicas de tonsilectomia: bisturi harmônico (Ultracision) e dissecção tradicional com bisturi de lâmina fria

Tonsilectomia é a cirurgia realizada com maior frequência na clínica otorrinolaringológica. As modificações e as evoluções da técnica ocorrem no sentido de simplificar o procedimento e minimizar as complicações. O bisturi harmônico (Ultracision) começou a ser utilizado na Otorrinolaringologia em 1999 para tonsilectomia com bons resultados. OBJETIVO: O objetivo deste estudo foi comparar o tempo cirúrgico, sangramento e hemostasia trans-operatórios, dor pós-operatória, aspecto cicatricial da loja tonsilar e intercorrências no trans e pós-operatório em pacientes submetidos a tonsilectomia pela técnica tradicional com lâmina fria e pela técnica utilizando lâmina cirúrgica em ganchos de coagulação Ultracision. FORMA DE ESTUDO: Coorte transversal. CASUÍSTICA E MÉTODO: Vinte e seis pacientes foram submetidos a tonsilectomia: 13 pela técnica tradicional com bisturi de lâmina fria e 13 pela técnica com Ultracision, avaliando os parâmetros previamente estabelecidos através de um protocolo padrão. Os pacientes foram submetidos a uma análise da intensidade da dor através da escala analógica visual horizontal. RESULTADOS: O tempo cirúrgico foi estatisticamente menor na cirurgia realizada pela técnica com o bisturi harmônico comparada com a técnica tradicional. O percentual de pontos dados na loja tonsilar também mostrou-se mais baixo do que pela técnica tradicional. Não houve diferença significativa em relação ao padrão de dor e a evolução pós-operatória do aspecto cicatricial da loja. CONCLUSÃO: O bisturi harmônico mostrou ser um excelente recurso para a realização de cirurgias onde o tempo cirúrgico e o sangramento trans-operatório são de grande importância.