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

Tutorial sobre georreferenciamento

Tutorial sobre Google Earth.

Tutorial para o programa GenoPro®

Apresentação de slides que explica a utilização do GenoPro®, ferramenta muito útil e prática para a confecção do genograma, o qual é, por sua vez, fundamental para a abordagem familiar.

Direitos autorais na produção de recursos educacionais em EaD [tutorial de apresentação]

Tutorial do Curso de Direitos Autorais para a produção de recursos educacionais em EaD, produzido e ofertado pela Secretaria Executiva da UNA-SUS. Apresenta a plataforma na qual o curso é executado, as funcionalidades e recursos disponíveis para o usuário.

O modelamento estatístico de misturas: experimento tutorial usando voltametria de redissolução anódica

This work illustrates the modeling procedure for a solvent mixture using the simplex- centroid approach. The selected experiment was the optimization of the peak current observed in the direct determination of nickel by anodic stripping voltammetry (ASV) in a solvent mixture composed of N,N-dimethylformamide, ethanol and water. The text is presented in a tutorial way, showing in detail the several steps which must be followed in such a process. Since not all possible mixtures lead to a measurable instrumental response, pseudocomponents had to be used to rescale the experimental design. This also allows to show how to apply this tool, usually troublesome for non-specialists in mixture modeling procedures.

Experimento didático de quimiometria para análise exploratória de óleos vegetais comestíveis por espectroscopia no infravermelho médio e análise de componentes principais: um tutorial, parte I

This manuscript aims to show the basic concepts and practical application of Principal Component Analysis (PCA) as a tutorial, using Matlab or Octave computing environment for beginners, undergraduate and graduate students. As a practical example it is shown the exploratory analysis of edible vegetable oils by mid infrared spectroscopy.

Atuação do profissional de educação fisica em serviços locais de saude : o caso de teatro interativo de bonecos no controle da hanseniase

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

Programa interativo de sa??de ocupacional

Em seu campus laboratorial de Xer??m, Duque de Caxias/RJ, o INMETRO herdou, do antigo Instituto Nacional de Pesos e Medidas, um t??mido servi??o de assist??ncia m??dica ??? composto por um m??dico e uma assistente social ??? insuficiente para atender aos seus 1.200 servidores e respectivos dependentes. Assim foi criado o Programa Interativo de Sa??de Ocupacional do INMETRO, baseado na explora????o de parcerias, na educa????o para a sa??de e no interc??mbio com ag??ncias governamentais. O check up anual tem se mostrado um dos itens mais importantes do programa, fundamental para o desenvolvimento de uma abordagem preventiva da sa??de. Os servidores t??m manifestado elevado grau de satisfa????o com a melhoria substancial da sua qualidade de vida, refletindo-se na qualidade dos servi??os da institui????o. Os servidores t??m-se envolvido intensamente nos eventos educativos promovidos no ??mbito do programa, como a Semana da Sa??de, com impacto sobre a comunidade em geral

Patrimônio territorial integrado e espaço cotidiano : o planejamento urbano interativo do centro de Vitória (ES)

O conceito de patrimônio territorial e cultural amplia o conceito tradicional de patrimônio, segundo o qual o monumento se restringe a sua materialidade e permanece isolado de seu território. A ambiência e a vivência desse patrimônio ganham importância visto que são essenciais ao seu reconhecimento e a impressão de pertencimento e de identificação por parte de seus usuários. Tais conceitos vão de encontro à mercantilização do patrimônio e ao seu uso puramente turístico, tão comuns na contemporaneidade. Este trabalho traz estudos e discussões referentes ao tema, que auxiliaram na análise da evolução histórica de Vitória, tendo sua origem na região central. Tais abordagens levaram ao entendimento da construção da cidade e dos resultados encontrados na atualidade decorrentes desse desenvolvimento. O conhecimento sobre a temática do patrimônio territorial e cultural e o entendimento histórico do Centro de Vitória tornaram possíveis algumas avaliações referentes aos procedimentos adotados no Planejamento Urbano Interativo do Centro, um programa elaborado pela prefeitura de Vitória em 2006.

A experiência do livro ilustrado interativo para a infância

O livro ilustrado, nas suas duas linguagens, texto e imagem, é quase sempre apresentado como um estímulo para a criança aprender, falar e ler. Que, apesar de conviverem no mesmo espaço – o livro – nem sempre são tratadas nem trabalhadas da mesma forma. O uso da imagem, no livro ilustrado, está associado às idades em que a criança ainda não tem domínio da escrita sendo a descodificação e a exploração das imagens as primeiras competências a serem adquiridas. À medida que a criança se familiariza com a leitura verbal e com o desenvolvimento desta competência, a imagem é gradualmente retirada do livro. Pretendemos neste artigo apresentar o livro ilustrado e as atividades/ experiências visuais como instrumentos que ajudam a criança a crescer sem frustrações através da educação da vista e do tacto, descobrindo e desenvolvendo capacidades estéticas, emocionais e intelectuais. Dentro do livro ilustrado pretendemos estudar os livros-objeto ou interativos que exploram a linguagem verbal e visual, criando uma narrativa plástica. Livros como os álbuns de Warja Honegger– Lavater onde só se usam símbolos em vez de palavras ou texto; os “Pré-livros” e os “livros ilegíveis” de Bruno Munari; os “livros vazios” e os “livros espaço” de Kveta Pacovská; os livros jogos como o “O cavaleiro coragem!” de Delphine Chedru ou “The book with a hole” de Hervé Tullet. Mas também, jogos/atividades como as criações de Mon Petit Art, Djeco e Mini Labo que permitem explorar a tridimensionalidade e o brincar ao faz de conta; entre outros. Todas estas referências são produtos de experiências visuais e tácteis, repletos de estímulos para que a criança seja capaz de explorar e comunicar verbalmente e visualmente, articulando muitas vezes entre o bidimensional com o tridimensional, a regra com o acaso e a forma com a “não forma”, permitindo uma apreciação máxima do objeto.

A preparação do livro ilustrado para iPAD - do livro tradicional impresso ao livro interativo digital

O presente estudo tem como objeto central o livro ilustrado e como principal objetivo compreender as diferenças entre dois modelos: o livro impresso e o livro digital. Partindo de um objeto de estudo concreto, um livro tradicional em formato impresso, é nosso objetivo perceber as principais diferenças que ocorrem na transição para um suporte digital, especificamente num formato iPad. Pretendemos também enunciar algumas das metodologias possíveis para que esta transição seja eficaz. Num momento de transição como o que vivemos atualmente, em que o ilustrador tem cada vez mais necessidade de se adaptar a novos meios, novas ferramentas de trabalho e novas formas de comunicação, importa refletir sobre a natureza do livro e sobre as características que distinguem os dois suportes: o tradicional e o digital. Assim, é nossa intenção identificar e perceber essas diferenças e enunciar alguns procedimentos a ter em conta quando o ilustrador experimenta a transição de um objeto de ilustração para um meio digital tátil, como é o iPad.

O diálogo entre o livro e a criança. Objeto interativo de leitura verbal e visual, exploração e manipulação gráfica e plástica

O uso da imagem, no livro ilustrado, está associado às idades em que a criança ainda não tem domínio da escrita sendo a descodificação e a exploração das imagens as primeiras competências a serem adquiridas. À medida que a criança se familiariza com a leitura verbal e com o desenvolvimento desta competência, a imagem é gradualmente retirada do livro. No âmbito do projeto prático integrado no Mestrado em Ilustração e Animação foi criado um livro para a infância com atividades onde o leitor intervenha tornando-se também autor, concluindo-o e produzindo um objeto único. Propusemo-nos, ainda, apresentar o livro ilustrado e as atividades/ experiências visuais como instrumentos que ajudam a criança a crescer sem frustrações, onde descobrem e desenvolvem capacidades estéticas, emocionais e intelectuais. Dentro do livro ilustrado pretendemos estudar os livros interativos que exploram as duas linguagens, criando uma narrativa plástica e que permitem explorar a tridimensionalidade e o brincar ao faz de conta. Estes são produtos de experiências visuais e tácteis, repletos de estímulos para que a criança seja capaz de explorar e comunicar verbalmente e visualmente, articulando muitas vezes entre o bidimensional com o tridimensional, a regra com o acaso e a forma com a “não forma”, permitindo uma apreciação máxima do objeto.

CDC PC station guide: tutorial

This is a walkthrough guide to install a fresh CDC PC Station on the Flexible Manufacturing Field Trial.

Uma cultura de colaboração entre professores e bibliotecários: a orientação tutorial de estudantes de radiologia em Moçambique

O sucesso da aquisição de competências de literacia da informação no ensino superior garante-se através do trabalho colaborativo entre bibliotecários e professores. Em janeiro de 2015, uma equipa composta por uma professora de radiologia, uma professora de estatística e uma bibliotecária deslocaram-se a Maputo, em Moçambique, para uma missão de capacitação de docentes em metodologias de investigação aplicadas à saúde e de orientação tutorial para estudantes de radiologia no Instituto Superior de Ciências de Saúde. As sessões de formação foram desenhadas com a preocupação de criar oportunidades reais de discussão e de aprofundamento de questões colocadas pelos formandos. Os resultados finais revelaram que os formandos gostariam de ter mais formação em softwares de estatística (SPSS), testes estatísticos, análise de dados qualitativos, técnicas de amostragem com mais exemplos práticos, plataformas de pesquisa de informação em saúde sobre radiologia, tecnologias de informação e comunicação, metodologia de investigação científica, como elaborar um protocolo de investigação e questionários, bem como mais informação sobre como citar e referenciar. Evidencia-se que a missão da Biblioteca deve ser alterada e alargada à comunidade académica, assumindo esta o seu papel no processo de tutoria na investigação.

Conceção de um tutorial de Iniciação ao co-projeto de Hardware/software

A crescente evolução dos dispositivos contendo circuitos integrados, em especial os FPGAs (Field Programmable Logic Arrays) e atualmente os System on a chip (SoCs) baseados em FPGAs, juntamente com a evolução das ferramentas, tem deixado um espaço entre o lançamento e a produção de materiais didáticos que auxiliem os engenheiros no Co- Projecto de hardware/software a partir dessas tecnologias. Com o intuito de auxiliar na redução desse intervalo temporal, o presente trabalho apresenta o desenvolvimento de documentos (tutoriais) direcionados a duas tecnologias recentes: a ferramenta de desenvolvimento de hardware/software VIVADO; e o SoC Zynq-7000, Z-7010, ambos desenvolvidos pela Xilinx. Os documentos produzidos são baseados num projeto básico totalmente implementado em lógica programável e do mesmo projeto implementado através do processador programável embarcado, para que seja possível avaliar o fluxo de projeto da ferramenta para um projeto totalmente implementado em hardware e o fluxo de projeto para o mesmo projeto implementado numa estrutura de harware/software.