Skip Navigation | ANU Home | Search ANU | Search FEIT | Feedback
The Australian National University
Faculty of Engineering and Information Technology (FEIT)
Department of Computer Science

COMP1140 References

Text book and other reading material

The Text Book

The set text is:
Foundations of Computer Science, C Edition, by Alfred V. Aho and Jeffrey D. Ullman, 1995.
This is the only text book that you will require for this course. It is recommended that you obtain a copy of this book. Copies are available at the co-op bookshop.

Online material associated with this text, such as errata, notes and solutions to selected exercises, can be found at:

Sections covered in the text book

Chapter 7. Sorting

    Sections 7.1 to 7.9
    (Data Structures and Algorithm Analysis in Java, by M. A. Weiss, 2007 by Pearson Education, Inc.)

Chapter 6. Heapsort

    Sections 6.1 to 6.4
    (Intorduction to Algorithms, by T. H. Cormen, C. E. Leiserson, R. L. Rivest and C. Stein, 2nd edition, MIT Press)

Chapter 4. Combinatorics and Probability

    Sections 4.2 to 4.15

Chapter 9. The Graph Data Model

    Sections 9.8 to 9.9

Chapter 12. Propositional Logic

    Sections 12.1 to 12.13

Chapter 14. Predicate Logic

    Sections 14.1 to 14.12