Browsing Final Papers - Undergraduate Courses by Subject "Tableau"
Now showing items 1-1 of 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) [Work completion of graduation]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 ...