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

Desarrollo de un sistema de gestión de tutorías a través de una aplicación móvil

RESUMEN Con la irrupción y el auge de las tecnologías móviles en estos últimos años, se ha hecho patente que los procesos de gestión tienden a ser controlados a través de estas tecnologías, permitiendo al usuario centralizar todos los servicios que le sea posible en un dispositivo de uso tan común como el teléfono móvil, así como acceder a ellos de forma rápida y cómoda. El sistema de tutorías de la Universidad Politécnica de Madrid no es la excepción. Desde su creación, el Grupo de Innovación Educativa Tutorial Action (GIETA) [1] ha trabajado en la modernización del proceso de gestión que conlleva el sistema de tutorías, buscando las deficiencias del sistema tradicional que pudiesen resolverse utilizando la tecnología. Este Trabajo de Fin de Grado (TFG) ha tenido como objetivo apoyar la labor iniciada por el GIETA, desarrollando un sistema de gestión de tutorías mediante una aplicación móvil. Para lograr este objetivo, inicialmente se realizó un proceso de reflexión sobre, entre otras cuestiones, la razón de ser de la aplicación a desarrollar, las ventajas que aportaría al usuario final, aquellos riesgos que podían amenazar al proyecto, etc. Este proceso se englobó dentro de la herramienta Agile Inception Deck. Tras este proceso de reflexión, se estructuró el proyecto en fases o sprints de desarrollo, en las que se llevó a cabo la implementación del resultado final de este TFG, una aplicación móvil para el sistema operativo Android, que aporta funcionalidad que resuelve todos los requisitos asociados a las distintas historias de usuario definidas para el proyecto. ABSTRACT With the rise of mobile technologies in recent years, it has become clear that management processes tend to be controlled through these technologies, allowing users to centralize all services as possible, using a device as common as the mobile phone, and access them quickly and easily. The tutorial system at the Technical University of Madrid is not an exception. Since it’s creation, the Group of Educational Innovation Tutorial Action has worked on the modernization of the management process that involves the tutorial system, looking for weaknesses of the traditional system that could be solved using technology. This TFG has aimed to support the work initiated by the GIETA, developing a tutorship management system through a mobile application. To achieve this goal, initially a process of reflection was held about, inter alia, the rationale for the application to be developed, the advantages it would bring to the final user, the risks that could threaten the project, etc. This process is encompassed within the Agile Inception Deck tool. After this process of reflection, the project was divided into phases or sprints, in which took place the implementation of the outcome of the TFG, a mobile application for the Android operating system, which provides functionality that meets all the requirements associated with the different user stories defined for the project.

Sistema de creación de tutoriales interactivos para el aprendizaje de lenguajes de programación

En estos últimos años la curiosidad por el sector informático, y más específicamente en la programación, ha producido una gran demanda por los interesados en estas áreas. Esto ha provocado que el número de tutoriales y entrenadores haya aumentado de una forma considerable. Debido a esta gran demanda, ha surgido la idea de desarrollar una herramienta con la que poder gestionar tutoriales de programación con una aplicación de escritorio. La finalidad de este proyecto es poder crear tutoriales interactivos que permitan a los alumnos adquirir conocimientos de una forma sencilla y atractiva. Esto se consigue mediante la posibilidad de enriquecer el formato del texto al mostrar las explicaciones o los enunciados de las preguntas y añadir imágenes. Para evitar que sea un tutorial de sólo lectura, que resulta poco atractivo y no permite al estudiante evaluar los conocimientos adquiridos, con esta herramienta se podrán intercalar preguntas entre la teoría para enganchar más al alumno, y conseguir que el aprendizaje sea muy incremental, para no tener una cantidad abrumadora de información en poco tiempo. Con estos tutoriales el alumno podrá comprobar los conocimientos adquiridos gracias al seguimiento continuo. El estudiante, según lea la teoría y realice los ejercicios con grado de dificultad creciente, tendrá más capacidad para resolver ejercicios nuevos y prepararse para continuar el tutorial. El resultado de este proyecto ha sido una herramienta multiplataforma y con licencia abierta MIT, que puede ser descargada de https://github.com/Kherdu/TFG.

Tutorial do Ambiente Virtual de Aprendizagem (AVA), da UNA-SUS/UFMA

Apresenta de forma ilustrativa o sistema Moodle e as ferramentas do Ambiente Virtual de Aprendizagem – AVA.

Tutorial: acesso ao banco de dados do SINAN

Este vídeo integra o curso Doenças infectocontagiosas na Atenção Básica à Saúde (2016) e apresenta um tutorial para utilização do Sistema de Informação de Agravos de Notificação - Sinan

Tutorial do Ambiente Virtual de Ensino e Aprendizagem do Curso de Gestão da Assistência Farmacêutica - EaD

O tutorial do Curso de Gestão da Assistência Farmacêutica - EaD apresenta a organização do AVEA e os procedimentos para organização dos estudos no moodle.

Tutorial do Curso de gestão da assistência farmacêutica - EaD

O tutorial do Curso de Gestão da Assistência Farmacêutica - EaD apresenta a organização do Curso, o conteúdo ofertado e a metodologia de avaliação adotada, com destaque para as avaliações presenciais, o Plano Operativo e o TCC.

Tutorial para tutores de instituições supervisoras [Mais médicos]

Guia de autocadastro para tutores de instituições supervisoras no programa Mais Médicos.

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.

Variabilidade espacial e sazonal da concentração de elementos-traço em sedimentos do sistema estuarino de Santos-Cubatão (SP)

Multi-element analyses of sediment samples from the Santos-Cubatão Estuarine System were carried out to investigate the spatial and seasonal variability of trace-element concentrations. The study area contains a rich mangrove ecosystem that is a habitat for tens of thousands of resident and migratory birds, some of them endangered globally. Enrichments of metals in fine-grained surface sediments are, in decreasing order, Hg, Mn, La, Ca, Sr, Cd, Zn, Pb, Ba, Cu, Cr, Fe, Nb, Y, Ni and Ga, relative to pre-industrial background levels. The maximum enrichment ranged from 49 (Hg) to 3.1 (Ga). Mercury concentrations were greater in the Cubatão river than in other sites, while the other elements showed greater concentrations in the Morrão river. Concentrations of Mn were significantly greater in winter and autumn than in summer and spring. However, other elements (e.g. Cd and Pb) showed the opposite, with greater concentrations in summer and spring. This study suggests that seasonal changes in physical and chemical conditions may affect the degree of sediment enrichment and therefore make the assessment of contamination difficult. Consequently, these processes need to be considered when assessing water quality and the potential contamination of biota.

Sistema limpo em linha para extração em fase sólida de contaminantes emergentes em águas naturais

A solid-phase in-line extraction system for water samples containing low levels of emerging contaminants is described. The system was specially developed for large volume samples (up to 4 L) using commercial solid-phase extraction (SPE) cartridges. Four sets containing PTFE-made connectors, brass adapters and ball valves were used to fit SPE cartridges and sample bottles to a 4-port manifold attached to a 20 L carboy. A lab-made vacuum device was connected to the manifold cap. The apparatus is robust and less expensive than the typical available system. Its also provides less experimental handling, avoiding cross contamination and sample losses.

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.

Análise do investimento em climatização para bovinos de leite em sistema de alojamento free-stall

The difficulty in adapting European dairy cows breeds in Brazil affect considerably the milk production sector. Brazilian climatic conditions are not totally favorable and the development of new tecnologies is needed for the animals express their genetic potential, as well as their best feed conversion. An economical analysis of the applied investment in the free-stall climatization equipment in dairy housing, for estimating studies related to profit, possibility of return investment as well as time for this return is necessary. The objective of this research was to evaluate the influence of climatization investment in the milk production process and analyze the economical aspect of this investment. There were used 470 high productive dairy cows with genetic and morphologic homogeneous characteristics, and analyzed in two similar periods. Investment calculations were done using Excell®. The results were satisfactory and the invested capital was proved to return to the producer in a short term, 57 days.

Sistema de monitoramento de perdas visíveis de cana-de-açúcar em colhedora de cana picada

In the last few years the sugar-cane mechanical harvested area has increased, especially in regions with appropriated slop. The use of this technology brings some inconveniences, such as, the increase in the percentage of extraneous matter, which causes the reduction of technological quality of the raw material, and losses in the field. Extraneous matter (trash) is composed of tops and leaves in major percentage, plus soil and roots, and eventually some metal parts. In the green cane harvest system the percentage of extraneous matter has a tendency to increase due to the great amount of vegetal matter to be processed. The increase in the blower fan speed to reduce the amount of extraneous matter can lead to an unacceptable economic level of raw material losses. The main objective of this work was, using a cane loss monitor, to evaluate and quantify the amount of visible losses of sugar cane through the primary extractor at two different fan speeds. Afterwards these losses were related to the harvester cleaning efficiency. The piezoelectric transducer shows a reasonable sensibility. The results show that the cleaning efficiency in the primary extractor (85% mean), the cane losses (between 5.68% and 2.15%) and fan speed are interrelated. The total losses and specially splinters (between 3.19% and 0.91%), showed a significant difference among the treatments.

Sistema de sincronismo entre a colhedora de cana-de-açúcar e o veículo de transbordo

One of the problems found in mechanical harvest of sugar cane is the lack of synchronism between the harvest machine and the infield wagon, causing crop losses as well as operational capacity. The objective of the present research was to design a system capable of helping to synchronize the sugar cane harvest machine with the wagon. The communication between tractor and harvest machine is wireless. Two ultrasound sensors coupled to the elevator and a microprocessor manage such information, generating a correct synchronization among the machines. The system was tested in laboratory and on field performing its function adequately, maintaining the two machines in synchronization, indicating and alerting the operators their relative positions. The developed system reduced the sugar cane lost in 60 kg ha-1 comparing to the harvest with the system turned off.