Logic and Language Models for Computer Science
Henry Hamburger and Dana Richards
Prentice Hall, 2002

Spring, 2005 Syllabus of CS 330 at GMU

Index of Authors' Booksite

Exercises

Click each chapter for ...
Hints and Partial Solutions

Chapter	Exercises
2	1, 2, 5, 6, 13, 14
3	2. 4. 8. 11. 13. 14
4	1, 3, 6, 7, 8, 10, 13
5	2, 3, 4
6	2, 4
7	1, 4, 5, 9, 10, 17
8	7, 8, 9, 11, 12
9	3, 7, 9, 13, ++
10	3, 4, 5, 6, 13
11	1, 2, 4, 5
12	3, 5, 7, 14, 19
13	3
14	1, 2, 6

Spring, 2005 Syllabus of CS 330 at GMU

Index of Authors' Booksite