Tableau Coursework (set by Robin Hirsch)

Disclaimer: By using this web page you are accepting your university and departmental guidelines concerning plagiarism as well as your national and international laws about intellectual property and copyrights. More info.
Note: The information provided here may not be complete, or even correct. This page was complied a long time after the concerned course was completed. It merely aims to provide hints and help for younger students. The author is not responsible for any mistakes or for any consequences arising from the usage of the materials provided on this website.

Corresponding unit: 
Theory I
Mark: 
A
Info: 

A Java implementation of a theorem prover for propositional logic with the Tableau-method.

Files:

FileTypeSizeDownloadsLink
Problem statement, page 1 / 3gif30.52 KB9 downloads
Problem statement, page 2 / 3gif43.33 KB11 downloads
Problem statement, page 3 / 3gif15.61 KB11 downloads
PDF document containing all source code filespdf33.18 KB26 downloads