"Logic, automata, and algorithms" - читать интересную книгу автора (Aizerman M.A., et al.)