Ciência da computação para crianças

Este trabalho apresenta uma proposta metodológica para o ensino de Ciência da Computação para Crianças, elaborada, a partir de pesquisas e estudos, tendo, como objetivo, a aplicação dessa metodologia para correção e testes. Devido à disseminação dos computadores e de seu uso como parte da formação dos alunos, muito se tem discutido sobre a união entre os recursos tecnológicos e a educação. A inclusão da informática no processo educativo vem sendo direcionada para a utilização e classificação de produtos de software educacional, em técnicas de comunicação à distância, no uso de recursos de multimídia ou de realidade virtual para apoio ao conteúdo abordado pelo professor e, também, para a construção de ambientes computacionais, que possam proporcionar uma mudança de paradigma educacional. No entanto não adianta tornar disponível toda essa tecnologia, se, rapidamente, são abandonadas e são substituídas ferramentas e técnicas dentro da Computação. Por isto, tão importante quanto o ensino das tecnologias correntes é o ensino dos conceitos fundamentais da Ciência da Computação. Esses conceitos, além de proporcionarem um embasamento teórico para entendimento da ciência envolvida na computação, também propiciam o desenvolvimento de um raciocínio lógico e formal, assim como de habilidades que são exigidas no mundo atual. Este trabalho apresenta pesquisas de campo sobre o uso da Informática Educativa em algumas escolas, a identificação, através de professores da graduação e pós-graduação, de alguns dos conceitos fundamentais da Ciência da Computação e uma pesquisa sobre o que crianças gostariam de aprender sobre Ciência da Computação. A partir dos resultados, são elaboradas teorias, demonstrações e exercícios para o ensino destes para crianças. Essa metodologia é aplicada a duas turmas heterogêneas de crianças para sua validação. Pretende-se que o estudo desses conceitos aguce o senso crítico e capacite as crianças não só a usarem as tecnologias mas também a entenderem seu funcionamento.

O desporto de competição como meio de educação : uma proposta metodológica construtivista aplicada ao treinamento de jovens tenistas

O presente estudo, discute a proposição de um modelo construtivista de intervenção pedagógica referenciado ao treinamento de rendimento aplicado ao tênis de competição para escalões infanto-juvenil. Para tanto, realizamos uma investigação teórico-especulativa tendo como objetivo: 1°) Apresentar as principais vertentes filosóficas no âmbito da expressão da corporalidade. Como tal, discorremos sobre a concepção clássica do dualismo axiológico expresso na filosofia platônica; o dualismo metodológico cartesiano; o modelo não dualista das concepções existencialista e a concepção pós-marxista expressa na perspectiva do materialismo histórico dialético. 2°) Delimitar as principais vertentes que configuram formas diferenciadas sobre a compreensão da natureza lúdica do jogo, da competição e o papel do desporto na configuração de um a forma de vida essencialmente de valor educativo. Discutimos nessa perspectiva as principais correntes sobre a natureza do jogo e do desporto expressas principalmente em Huizinga e Caillois, e concluímos por delimitar o desporto enquanto um jogo de âgon, ou seja, configurando-o como uma forma de jogo. O jogo desportivo. 3°) Delimitar as principais concepções de intervenção pedagógica no âmbito do treino desportivo de competição. Apresentamos duas categorias principais, as quais denominamos de Reprodutivista-tradicional e Construtivista. Discorremos sobre ambas de forma comparativa com o intuito de expressar suas mais relevantes diferenças axiológicas. 4°) Finalmente, descrevemos como essas duas concepções pedagógicas, filosoficamente de orientações diferenciadas, orientam os programas elaborados pelos pedagogos do desporto. Desta forma, concluímos, assumindo como pressuposto central que a concepção construtivista de intervenção pedagógica sugerida nessa investigação, que adotou como referência o tênis de competição, configura-se como plenamente compatível com uma postura verdadeiramente educativa e formativa de crianças e Jovens. Portanto, esperamos que esse estudo possa oferecer contribuições no sentido de que se possa conhecer melhor alguns aspectos do desporto de competição e seus reflexos positivos no processo de educação e formação de crianças e jovens. Enfim, que as informações obtidas neste trabalho, possam ser utilizadas como indícios, antes de conclusões, e que atinjam os indivíduos e as instituições ligadas as práticas desportivas de competição.

A climatologia aplicada ao ambiente construído : uma contribuição à caracterização climática de Porto Alegre/RS

Com caráter informativo, inicia-se apresentando a relação entre a climatologia e o ambiente construído, em seus campos especificos de aplicação (urbanismo, projeto de edificações, execução de obras, e manutenção e uso das construções), considerando-se os aspectos históricos, econômico-ecológicos e os ligados à súde e ao conforto do usuário, abrangidos por tal relação. A importância da disponibilidade de informações climatológicas é então comentada, bem como diversas metodalagias de análise e representação de dados climáticos. Com caráter aplicativo, apresenta-se uma contribuigão à caracterização climática da cidade de Porto Alegre, RS. São analisadas os valores médios horários-mensais doa principais parâmetros climáticos disponíveis (temperatura, umidade, velocidade e direção do vento, e nebulosidade), propondo-se uma representação gráfica sintética alternativa para os mesmos. A análise é complementada pala execução de dois procedimentos técnicos: avaliação do conforto térmico, com identificação do período critico de verão, e projeto de dispositivo de sombreamento de aberturas retangulares. Embora esteja em foco o caso específico de Porto Alegre, tais metodologias encontram-se descritas de modo a serem aplicadas a qualquer outra localidade, procurando-se ampliar a utilidade prática do presente estudo.

Visualização de informações aplicada à gerência de software

O desenvolvimento e manutenção de software fazem parte de um processo intrinsecamente difícil e que consome tempo e custos, principalmente quando o sistema consiste de milhares de linhas de código. Por isso, sistemas de visualização de software objetivam prover mecanismos para construir representações visuais de informações sobre programas e sistemas, através das quais o programador pode analisar e compreender características de sua estrutura e funcionamento em um maior nível de abstração do que o código fonte. Assim, ferramentas visuais de software que suportam as tarefas de desenvolvimento, depuração, manutenção e reutilização tornam-se mais necessárias pelo fato de ajudarem a reduzir a complexidade inerente do processo de compreensão. Esse trabalho tem como objetivo principal o desenvolvimento de um visualizador que exiba as informações existentes nos programas de forma mais rápida e legível, evitando que o programador/analista tenha que percorrer as linhas de código. O texto inicialmente situa a área de visualização de informações, abordando a área de visualização de software, uma vez que a visualização de software é assim chamada por tratar da visualização de informações que são extraídas de programas. Em seguida, é apresentado um estudo de caso baseado no desenvolvimento dos sistemas da empresa Benfare Informática, no qual caracteriza-se a necessidade de ferramentas que auxiliem a compreensão de programas, com o objetivo de otimizar as operações de manutenção e desenvolvimento de programas. O restante do trabalho trata do sistema VisProgress que foi um protótipo desenvolvido como ferramenta de apoio para a equipe de desenvolvimento da empresa e como forma de avaliar o uso de técnicas de visualização em tal situação. A ferramenta desenvolvida é um visualizador de informações que percorre programas escritos em Progress, ferramenta de desenvolvimento utilizada pela empresa, e extrai as informações encontradas nos programas. A visualização é dividida em três partes. A primeira permite a visualização de informações textuais extraídas diretamente do código fonte dos programas que compõem os sistemas, a segunda faz a visualização de um grafo que representa a chamada de programas, e a terceira e última faz a visualização também de um grafo, porém representando o compartilhamento de variáveis entre os programas. A obtenção dos grafos foi construída em Delphi, porém a visualização gráfica é feita através da ferramenta Dotty, ferramenta específica para visualização de grafos. Após a descrição do protótipo implementado, são apresentados os resultados obtidos com a avaliação da ferramenta feita nas empresas Benfare Informática e Dzset Soluções e Sistemas para Computação.

Investimentos de ciência e tecnologia : indicadores de resultados de projetos de pesquisas

A Fundação Estadual de Amparo à Pesquisa do Rio Grande do Sul (FAPERGS) é o órgão do governo responsável pelo financiamento de projetos de pesquisa científica e tecnológica e está buscando justificar perante a sociedade estes investimentos, apresentando seus resultados e obtendo informações para auxiliar na orientação de políticas públicas de Ciência e Tecnologia (C&T). A presente dissertação visa a propor um grupo de indicadores que permita identificar os resultados de pesquisas e que auxilie às Fundações de Amparo à Pesquisa, em especial à FAPERGS, na composição de seu sistema de avaliação institucional. Para tanto, foram estudados sete projetos cujos resultados visam à melhoria e preservação do meio ambiente e verificados os resultados das pesquisas e seus impactos de inovação, sociais e de meio ambiente. O quadro de indicadores proposto, foi testado nos projetos e julgado por juízes, segundo critérios de validade, confiança, viabilidade, mensurabilidade, abrangência e relevância. Como conclusão, mostrou-se adequado para a avaliação dos casos considerados e suscetível de aprimoramento, a partir do estudo de um número maior e de diferentes tipos de projetos financiados por instituições de fomento à pesquisa.

Access Miner : uma proposta para a extração de regras de associação aplicada à mineração do uso da web

Este trabalho é dedicado ao estudo e à aplicação da mineração de regras de associação a fim de descobrir padrões de navegação no ambiente Web. As regras de associação são padrões descritivos que representam a probabilidade de um conjunto de itens aparecer em uma transação visto que outro conjunto está presente. Dentre as possibilidades de aplicação da mineração de dados na Web, a mineração do seu uso consiste na extração de regras e padrões que descrevam o perfil dos visitantes aos sites e o seu comportamento navegacional. Neste contexto, alguns trabalhos já foram propostos, contudo diversos pontos foram deixados em aberto por seus autores. O objetivo principal deste trabalho é a apresentação de um modelo para a extração de regras de associação aplicado ao uso da Web. Este modelo, denominado Access Miner, caracteriza-se por enfocar as etapas do processo de descoberta do conhecimento desde a obtenção dos dados até a apresentação das regras obtidas ao analista. Características específicas do domínio foram consideradas, como a estrutura do site, para o pósprocessamento das regras mineradas a fim de selecionar as potencialmente mais interessantes e reduzir a quantidade de regras a serem apreciadas. O projeto possibilitou a implementação de uma ferramenta para a automação das diversas etapas do processo, sendo consideradas, na sua construção, as características de interatividade e iteratividade, necessárias para a descoberta e consolidação do conhecimento. Finalmente, alguns resultados foram obtidos a partir da aplicação desta ferramenta em dois casos, de forma que o modelo proposto pôde ser validado.

Uma heurística aplicada a um problema de escalonamento na indústria calçadista

Problemas de escalonamento ocorrem com freqüência, principalmente em empresas de manufatura. Entretanto, na maioria das vezes, ferramentas matemáticas de apoio à decisão são pouco utilizadas, pois requerem profissionais capacitados, softwares caros e computadores muito potentes. Esta dissertação tem como objetivo mostrar uma heurística capaz de reduzir a quantidade de fôrmas na indústria calçadista. Inicialmente, foram comparadas as soluções fornecidas pela heurística com as soluções obtidas a partir do modelo matemático de programação linear, com a finalidade de verificar o quão próximas estão ambas as respostas. Em seguida, foram comparadas a solução fornecida pela heurística e a solução presentemente adotada por uma empresa de calçados denominada de Empresa de Calçados X. Os principais resultados obtidos foram: a) o resultado fornecido pela heurística apresenta menos de 10% de acréscimo no número de pares de fôrmas em relação ao resultado fornecido pelo modelo matemático de programação linear inteira tipo 0/1; b) a solução fornecida pela heurística reduz, em média, 23,4% a quantidade de fôrmas necessárias, podendo chegar próximo a 40%. Isto pode trazer uma estimativa de redução anual na ordem de R$ 288.100,00; c) o percentual de redução na quantidade de pares de fôrmas é variável, dependendo de cada caso.

Educação e lazer : a produtividade do Museu de Ciência e Tecnologia da PUCRS

A escola tem sido a principal instituição encarregada tanto da formação e da constituição do sujeito e da sociedade moderna, quanto da divulgação do conhecimento e da cultura. Atualmente, vem se considerando que não é mais somente a escola que faz isso. No caso do ensino de Ciências, os museus são considerados uma destas instituições. Freqüentemente, estes museus ensinam muito mais que somente o conhecimento científico. O objetivo deste trabalho é analisar os ensinamentos produzidos no Museu de Ciências e Tecnologia da Pontifícia Universidade Católica do Rio Grande do Sul —MCT-PUCRS—, o qual se caracteriza principalmente pela qualidade das instalações e materiais expostos e pela interatividade que proporciona aos visitantes. Nessa análise, considero dois aspectos principais: a poética e a política envolvida nas exposições do MCT-PUCRS. Para isso, valho-me da vertente pós-estruturalista dos Estudos Culturais e do pensamento de Michel Foucault. Ao descrever e analisar várias seções do Museu, demonstro que ele faz muito mais do que tão somente ensinar ou divulgar conhecimentos científicos aos visitantes. Meu argumento principal é que, justamente graças à sua qualidade e ao seu caráter interativo, o MCT-PUCRS produz sujeitos bem adequados e conformados ao mundo de hoje.

Medição de deslocamento através de sensores magnetoresistivos aplicada ao movimento mandibular

Neste trabalho é apresentado um método para medição de deslocamentos sem contato, utilizando sensores magnetoresistivos, os quais são sensibilizados pela variação do campo magnético produzido por um imã permanente em deslocamento no espaço. Os sensores magnetoresistivos possuem, internamente, uma ponte de Wheathestone, onde a resistência varia conforme varia o campo magnético, de modo que o circuito mais indicado para este caso é um amplificador e um filtro para cada sensor. O principal objetivo do trabalho é a obtenção de uma técnica para medir deslocamentos sem contato, e estender os resultados para medida de movimentos mandibulares. A montagem consiste de duas placas de celeron, distantes 30mm uma da outra e unidas por parafusos de polietileno. Em cada uma destas placas foram dispostos quatro sensores, num total de oito, sendo que para cada um deles existe um circuito de amplificação e filtragem do sinal de saída. Sob uma chapa de alumínio foi fixado este equipamento e uma mesa de calibração em 3D, a qual, após a obtenção da matriz de calibração, foi substituída por um emulador de movimento mandibular. Os parâmetros do modelo foram estimados através do método dos mínimos quadrados com auxílio do software Matlab, Release 12. Este software também foi utilizado para o sistema de aquisição de dados durante a realização dos experimentos. A imprecisão dos resultados obtidos na determinação dos deslocamentos, está na ordem de décimos de milímetros. O trabalho apresenta, também, o mapeamento do campo magnético do magneto utilizado nos experimentos através do software FEM2000 – Método de elementos finitos aplicado ao eletromagnetismo.

Estabilidade da ciência biológica para uma epistemiologia evolucioniosta, sem refutações e revoluções

Formular hipóteses a partir da observação e testá-las através da experimentação caracteriza o método baconiano; a formulação inicial explicitamente era fruto de um insight intuitivo, que Francis Bacon denominou indução. A objetividade está no início do processo do conhecimento, basta o cientista deixar os fatos falarem por si enquanto lê o livro aberto da natureza. Uma forma mais sofisticada de indutivismo faz distinção entre contexto da descoberta e contexto da justificação para separar a questão de como as teorias científicas são desenvolvidadas da questão de como testá-las contra suas rivais. Karl Popper, discordando desta atitude, vai atribuir o primeiro ao acaso e para o segundo assumirá uma epistemologia evolucionista. Popper, não acreditando na possibilidade da existência de um critério de verdade, propõe um critério de falsificabilidade. O conhecimento não se daria por generalizações a partir da experiência, mas pela elaboração de conjeturas de alto conteúdo empírico que seriam submetidas à lógica dedutiva (baseado no modus tolles) e experimentação. Popper, por influência humeana, nega qualquer papel da indução na aquisição do conhecimento, que não partiria de percepções, de observações nem do acúmulo de dados ou fatos, mas sim de problemas. Na ausência de critério conclusivo de verdade empírica, só nos resta aprender com nossos erros. O progresso do conhecimento adviria da refutação de uma hipótese e da procura de outra com maior conteúdo explicativo e que pudesse evitar ao menos algumas das falhas da hipótese anterior. Este seria o critério de progresso científico. O problema do falsificacionismo de Popper é que o cientista não persegue teorias para provar que são falsas, mas teorias que procura demonstrar verdadeiras. Popper nos diz qual seria o ideal da ciência, mas não de como ela é praticada. Tomados isoladamente, tanto o indutivismo como o método hipotético-dedutivo são simplistas e ingênuos. O primeiro é cego, não direciona a experimentação pela hipótese teórica. O segundo tem direcionamento teórico, mas não dá conta da geração da hipótese. Como ambos estão do mesmo lado na descrição da relação do experimento e da teoria, isto torna frutífera a interação destas duas vias. É tematizada a teoria dos germes e a descoberta da penicilina como exemplo desta abordagem em biologia.

Estudo da nitretação a plasma aplicada em ferramentas para fresamento

Este trabalho tem como objetivo estudar a influência do tratamento superficial, através da técnica de nitretação a plasma, no processo de fresamento com fresas de aço rápido AISI M2. Foram investigados os efeitos deste tratamento superficial no processo de corte, variando-se a forma de refrigeração/lubrificação das fresas com fluído de corte convencional (emulsão) em abundância, com minimização e sem fluído (lubrificação a seco). Na nitretação, a composição da mistura de gases utilizada nos experimentos foi de 5% N2 e 95% H2 em volume, a uma pressão de tratamento de 5 mbar (3,8 Torr). A temperatura utilizada foi de 440oC, durante um tempo de tratamento de 30 minutos, resultando em uma camada nitretada com uma zona de difusão com aproximadamente 8µm de profundidade. As ferramentas empregadas no processo de fresamento foram investigadas através de medição de forças de usinagem, medições de desgaste na superfície de incidência (flanco) e na superfície de saída (face), sendo as camadas nitretadas caracterizadas por metalografia óptica e microdureza. Foi observado um desempenho superior das fresas nitretadas apenas para as condições de corte a seco.

Desenvolvimento de célula de carga para medir força aplicada durante a escovação dental

Este trabalho apresenta o desenvolvimento de um sistema de medição para a análise biomecânica da força desenvolvida durante a escovação dental, com aquisição e processamento de dados de dinamometria para a análise da escovação dental como um processo eficaz de higiene bucal. Foi desenvolvida uma célula de carga com extensômetros de resistência elétrica, montada em uma escova dental. A célula de carga foi construída com 2 Strain Gages montados em meia ponte de Wheatstone, medindo força em flexão, e 4 Strain Gages montados em ponte completa de Wheatstone medindo força de torque. A aquisição dos dados e análise foi feita através do software SAD2. Foram selecionados 6 indivíduos, dois do sexo masculino e 4 do sexo feminino, todos destros, e instruídos a escovarem os dentes por 1 minuto. Os valores medidos para a força de flexão média variam de 24gf à 526gf e para o esforço de torque médio de –76gfmm à 1890gfmm. A célula de carga desenvolvida mostrou-se repetitiva, com boa sensibilidade e confiável com um erro em flexão de 2,7% e 5,5% em torque. A célula de carga apresentou resultados semelhantes a de outros trabalhos publicados anteriormente, sendo estes válidos para uma análise quantitativa inicial no processo de escovação.

Modelamento e avaliação de dados geofísicos e geoquímicos aplicada na pesquisa de metais básicos e Au no prospecto Volta Grande (complexo intrusivo Lavras do Sul, RS, Brasil)

A modelagem, a correlação e a análise de dados geofísicos e geoquímicos, aplicados para avaliar/definir a distribuição e o controle de teores de minério num espaço 3D, não são procedimentos adotados para o caso de depósitos de metais básicos e Au. Essa tese de doutorado tem o objetivo de avaliar e definir uma metodologia de modelagem, correlação e análise de dados geofísicos e geoquímicos para controle de teores de metais básicos e Au. Tal metodologia foi aplicada no Prospecto Volta Grande (Lavras do Sul, RS). A região de Lavras do Sul (RS) possui uma série de ocorrências minerais do tipo veios de quartzo com metais básicos e Au, as quais estão relacionadas com o processo de alojamento do Complexo Intrusivo Lavras do Sul. Esse complexo é uma intrusão predominantemente granítica, zonada e multifásica, cujas rochas têm filiação com as séries shoshonítica a alcalina. As ocorrências de veios estão relacionadas a zonas de alteração hidrotermal controladas por fraturas predominantemente WNW-ESE. O Prospecto Volta Grande é constituído por uma série de tais veios alojados tanto no granito intrusivo, quanto nas rochas vulcânicas e vulcanoclásticas da Formação Hilário. A metodologia desenvolvida consiste: 1) da construção de uma base de dados comum para o georreferenciamento 3D dos dados; 2) processamento estatístico e geoestatístico das variáveis de interesse (dados geofísicos e geoquímicos); 3) modelagem 3D das variáveis de interesse para definir a distribuição espacial; e 4) análise da correlação entre as variáveis para definir o controle 3D dos teores de minério por meio de métodos indiretos. Essa metodologia, na medida em que haja a possibilidade de várias fontes de informação e a possibilidade de aplicar algorítmos de lógica matemática, poderá incorporar a integração de dados num espaço 3D A aplicação de tal metodologia no Prospecto Volta Grande (Lavras do Sul, RS) permitiu verificar que os dados geofísicos e geoquímicos se adaptam mais adequadamente a uma distribuição do tipo lognormal. Além disso, a comparação múltipla das médias de resistividade aparente permitiu distinguir um controle litológico sobre os dados geofísicos. Desse modo, foram definidos os procedimentos de análise variográfica e, então, os parâmetros para a modelagem 3D dos corpos condutores em cada área de pesquisa. A adequação do suporte amostral dos dados geofísicos e geoquímicos permitiu a correlação entre essas variáveis. A análise dos diagramas de correlação revelou superposição de pulsos de mineralização com distintas cargas metálicas. A utilização de métodos indiretos para controle de teores em depósitos sulfetados do tipo veios de quartzo com Au + Cu é, portanto, uma possibilidade concreta, garantida a adequada resolução espacial dos levantamentos geofísicos.

Mineração de regras de associação no problema da cesta de compras aplicada ao comércio varejista de confecção

A maioria das empresas interage com seus clientes através de computadores. Com o passar do tempo está armazenado nos computadores um histórico da atividade da empresa que pode ser explorado para a melhoria do processo de tomada de decisões. Ferramentas de descoberta de conhecimento em bancos de dados exploram este histórico a fim de extrair vários tipos de informação. Um dos tipos de informação que pode ser extraída destes tipos de bancos de dados são as regras de associação que consistem em relacionamentos ou dependências importantes entre itens tal que a presença de alguns itens em uma transação irá implicar a presença de outros itens na mesma transação. Neste trabalho são aplicadas técnicas de descoberta de conhecimento na área do comércio varejista de confecção. Foram detectadas algumas peculiaridades dos bancos de dados desta área sendo proposto um novo algoritmo para melhorar o desempenho da tarefa de extração de regras de associação. Para a validação dos resultados apresentados pelo algoritmo foi desenvolvido o protótipo de uma ferramenta para extração de regras de associação. Foram realizados experimentos com bancos de dados reais de uma empresa da área de comércio varejista de confecção para análise de desempenho do algoritmo.

CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em língua inglesa) e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação - a baixa oferta de cursos com enfoque em Teoria das Categorias. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".