Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Теория частично-рекурсивных функций \
 

9.6.4.10.1. Теория частично-рекурсивных функций по Шоломову Л. А. ©

 
9.6.4.10.1.1. Операция суперпозиции      9.6.4.10.1.2. Операция рекурсии      9.6.4.10.1.3. Операция минимизации
9.6.4.10.1.4. Исходные функции и определение частично-рекурсивных функций      9.6.4.10.1.5. Примеры рекурсивных функций