COMP118 - Logic in Computer Science
Pre-requisites: COMP109
Recommended texts
Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press (most recent edition).
John Kelly, The Essence of Logic. Prentice Hall (most recent edition).
John Kelly, The Essence of Logic. Prentice Hall (most recent edition).
Member of staff with responsibility for the module:
On-line Resources for this Module
Other Modules
| Module Code | Module Title |
|---|---|
| Introduction to Programming in JAVA | |
| Introduction to Databases | |
| Computer Systems | |
| Foundations of Computer Science | |
| Professional Skills in Computer Science |