ГлавнаяЭкономическиеСтатистика и статистическое наблюдениеМатематическая логика и теория алгоритмов - контрольная работа (11 заданий).
Математическая логика и теория алгоритмов - контрольная работа (11 заданий)..
Решение Задания 1:
Задание 1. Доказать, что если функция f(x1,x2,,xn) примитивно рекурсивна, то примитивно рекурсивна функция g(x1,x2,,xn) = f(x2,x1,,xn), т.е. перестановка аргументов.
Задание 7. Применяя производные правила вывода, показать, что доказуема формула
Похожие работы:
Поделитесь этой записью или добавьте в закладки |
Полезные публикации |