В исчислении Карри понятие вывода существенно сложнее, оно опирается на вспомогательные выводы из допущений методом ... - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Рейбен Л.Г. Рекурсивный математический анализ
В исчислении Карри
понятие вывода
существенно сложнее, оно опирается на вспомогательные выводы из допущений методом индукции.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой:
