#1 27.12.08 20:13
Требуется помощь по матлогике (всего одна задачка)
никак не могу осилить это...
Доказать, что следующая функция ЧРФ
Г z, если z^x=y
f(x,y)={
L не определена иначе
подсобите - с меня причитается...
Offline
#2 28.12.08 17:58
Re: Требуется помощь по матлогике (всего одна задачка)
Неужели никто не сможет помочь?!?!
помощь просто очень нужна!!!
за ценой дело не встанет...
Offline
#3 28.12.08 18:09
Re: Требуется помощь по матлогике (всего одна задачка)
напиши определение ЧРФ, которое вам давали на этой дисциплине
Offline
#4 28.12.08 20:41
Re: Требуется помощь по матлогике (всего одна задачка)
Частично Рекурсивная Функция
Функция f : A -> N ,где A содержит N(к - тая) называется частично рекурсивной ,если существует последовательность f0 … fn т. ч. f(n)=f и для всех i функция f(i - тая) является простейшей ПРФ или получается из пред. функций операторами S ,R,M .
ЧРФ называется рекурсивной , если A= N(к - тая) т. е. функция всюду определена.
Offline
#5 28.12.08 22:19
Re: Требуется помощь по матлогике (всего одна задачка)
мда... с определением легче не стало. Извини, я тогда не помощник
Offline
#6 29.12.08 04:22
Re: Требуется помощь по матлогике (всего одна задачка)
заюзай оператор минимизации и все.
точный ее синтаксис не помню, давно это было.
Исправлено sdassa (29.12.08 04:22)
Offline
#7 29.12.08 12:04
Re: Требуется помощь по матлогике (всего одна задачка)
Всем спасибо за помощь! Зачет сдан!
Offline
