Дочка учится на матфаке, готовится сдавать "Теория программирования". Специальность у ней не программистская. Подходит и спрашивает — "что-то знаешь о смешанных вычислениях". Я не знаю и стал выяснять контекст. Увидел рядом "теорема Футамуры". Учебника по которому бы они учились нет — как сейчас модно есть презентация и какие-то ссылки на десятки книг... Погуглил. Вроде бы там идеи более менее разумные и понятные вещи, но излагается очень сложно... И для чего это нужно из этих текстов совершенно детям не понятно... Почти как китайская грамота.
Вопрос — кто-нибудь знает нормальный учебник/книгу, где вся эта премудрость написан понятным языком и понятно для чего это нужно?