Navegação TCC Ciência da Computação por Autor "Cravo, Diogo Raphael"
Resultados 1-1 de 1
-
Continuação do desenvolvimento de um provador de teoremas para a lógica clássica de primera ordem e criação de um raciocinador com o método analítico de Tableau para uma lógica de descrição
(2015) [Trabalho de conclusão de graduação]Durante o Semestre de Inverno de 2013 a 2014 aconteceu o módulo “Projekt: Symbolische Künstliche Intelligenz”. Neste módulo os estudantes criaram um provador de teoremas para a lógica clássica de primeira ordem. O provador ...
