"Thinking as computation: a first course" - читать интересную книгу автора (Hector J Levesque )