• 2022-07-22
    确定下列这些所谓的定义是否每个都是从非负整数集合到整数集合的函数[tex=0.5x1.214]0K9Xf7VHWdVeOrSYAKIm6Q==[/tex]的有效递归定义。如果[tex=0.5x1.214]0K9Xf7VHWdVeOrSYAKIm6Q==[/tex]是良定义,则求出当[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是非负整数时[tex=1.929x1.357]oGTnP9XV272ssGnEwj5APA==[/tex]的一个公式并证明这个公式是有效的。[tex=2.929x1.357]LxfMBL1ZVzoUHgsLKh+epg==[/tex],如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数且[tex=2.5x1.143]zSgQCp6EOmUOQD1jsCLYqQ==[/tex]则[tex=6.357x1.357]UIL3DViL4zJChdw2BIKSIg==[/tex];如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是偶数且[tex=2.5x1.143]m+NxZMxa5j0Y5ahS4zrePw==[/tex]则[tex=6.357x1.357]Yh/DH6YdMoxR8RhUJBS/yw==[/tex]。