"Как информатика влияет на математику" - читать интересную книгу автора (Матиясевич Ю.)