Este projeto compreende o desenvolvimento de uma placa de prototipação rápida e um software de desenvolvimento integrado voltada ao ensino de lógica de programação e conceitos básico de eletrônica e ciências para crianças de seis (6) à onze (11) anos de idade. O dispositivo possui uma estrutura Arduino compatível (shield), padronizada pela Arduino, sendo possível o funcionamento da placa …
O ensino de programação para crianças e adolescentes envolve o aprendizado de diversas habilidades e conhecimentos de forma interativa, didática e moderna, além de inseri-los na atual sociedade informatizada em que vivemos. Esse projeto tem como objetivo o desenvolvimento da primeira parte de uma plataforma de ensino de baixo custo voltada ao ensino de programação e lógica, utilizando con…
Embora haja considerável literatura e rotinas já implementadas para tratar os problemas de satisfatibilidade e validade de fórmulas na Lógica Infinitamente-valorada de Lukasiewicz, não literatura conhecida que lide com o problema de decidir a validade de uma consequência lógica neste sistema lógico. Este projeto de pesquisa tem por primeiro objetivo estabelecer e implementar algoritmos pa…
Computando consequência lógica na lógica infinitamente-valorada de Lukasiewicz, BE.EP.PD
De acordo com a W3C, ontologias em OWL (ou OWL 2) são o meio padrão para compartilhar informação na Web Semântica. Entre as muitas visões de ontologias, adotamos aqui a definição de ontologias como documentos que descrevem a conceitualização de um domínio, em uma linguagem que possa ser processada por um computador. Especificamente, abordamos o problema de reparar e evoluir ontologias de …