2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Частичные функции с частично рекурсивным доопределением
Сообщение01.06.2015, 17:54 
Помогите пожалуйста. Срочно! Желательно ответ расписать

1. Привести нетривиальные примеры частичных функций, которые имеют частично рекурсивные доопределения.

2. Пусть совокупность Ψ содержит функцию ψ, которая не является частично рекурсивной, но имеет частично рекурсивное доопределение. Будет ли в этом случае множество всех ЧРФ относительно совокупности Ψ совпадать с множеством всех ЧРФ?

3. Пусть совокупность Ψ содержит 0-накрываемую функцию ψ. Будет ли в этом случае множество всех ЧРФ относительно совокупности Ψ состоять только из 0-накрываемых функций? В случае отрицательного ответа описать множество всех ЧРФ относительно совокупности Ψ.

 
 
 
 Posted automatically
Сообщение01.06.2015, 18:54 
Аватара пользователя
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения, формулы не оформлены $\TeX$ом

AmiFol
Приведите попытки решения, укажите конкретные затруднения.
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group