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