Bookmark button

Theory I

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.

Unit code: 
1B12
Year: 
1st year (UCL, 2000-2001)
Final mark: 
A
Description: 

Computer Science Theory, Algorithms, Propositional Logic...

Unit courseworks: 

Algorithms Coursework (set by Tony Hunter)

Corresponding unit: 
Theory I
Mark: 
A
Info: 

See problem statement scan.

                                                                                                                                                                                                                                                                                       

Tableau Coursework (set by Robin Hirsch)

Corresponding unit: 
Theory I
Mark: 
A
Info: 

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

                                                                                                                                                                                                                                                                                       

Post new comment

The content of this field is kept private and will not be shown publicly.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
Image CAPTCHA
Copy the characters from the image. Use lower case letters, numbers and special charactes.