Знайдено документів: 1
Інформація × Реєстраційний номер 2114U001952, Матеріали видань та локальних репозитаріїв Категорія Thesis Назва роботи Метод получения базиса для счетных множеств Автор Дата публікації 01-01-2014 Постачальник інформації Сумський державний університет Першоджерело http://essuir.sumdu.edu.ua/handle/123456789/39148 Видання Сумский государственный университет Опис Частично рекурсивные (ЧР) функции и предикаты примечательны тем, что согласно тезису Черча, ЧР-функции (ЧР-предикаты) являются вычислимыми функциями (предикатами), а значит, могут быть алгоритмизированными. Додано в НРАТ 2025-05-12 Закрити
Матеріали
Thesis
Метод получения базиса для счетных множеств
Метод получения базиса для счетных множеств : публікація 2014-01-01; Сумський державний університет, 2114U001952
Знайдено документів: 1

Оновлено: 2026-03-14


Роздрукувати цю сторінку