Supplementary reading: AIMA sections 3.3 and 3.4. These contain more detailed descriptions of the ideas we've been discussing in uninformed search.