"Логика и компьютер" - читать интересную книгу автора (Алешина Н.А., Анисов А.М., Быстров П.И., и др.)