"Обратная теорема (алгоритмические и эвристические процессы мышления)" - читать интересную книгу автора (Корельская Т.Д., Падучева Е.В.)