"Логика. Автоматы. Алгоритмы" - читать интересную книгу автора (Айзерман М. А., Гусев Л. А., Розоноэр Л. И.,...)