ทฤษฎีของฟังก์ชันแบบเรียกซ้ำได้รับการพัฒนาโดย Norwegian Thoralf Albert Skolem แห่งนอร์เวย์ในศตวรรษที่ 20 ผู้บุกเบิกด้านเมตาโลยี เพื่อหลีกเลี่ยงความขัดแย้งที่เรียกว่าอนันต์ ที่เกิดขึ้นในบริบทบางอย่างเมื่อใช้ "ทั้งหมด" กับฟังก์ชันที่มีช่วงเหนือคลาสอนันต์ โดยระบุ …
ฟังก์ชั่นเรียกซ้ำคืออะไร
หน้า 1 คำจำกัดความแบบเรียกซ้ำของฟังก์ชัน ฟังก์ชันจำนวนเต็มแบบเรียกซ้ำ ตามสัญชาตญาณแล้ว ฟังก์ชันเรียกซ้ำ f คือ ฟังก์ชันที่สามารถกำหนดเอาต์พุตสำหรับอินพุตที่กำหนดได้โดยการเทียบเอาต์พุตที่สัมพันธ์กับนิพจน์ที่รวมค่าเอาต์พุตของ f สำหรับอินพุตที่มีขนาดเล็กลง
ทฤษฎีการคำนวณในวิทยาการคอมพิวเตอร์คืออะไร
ทฤษฎีการคำนวณหรือที่เรียกว่าทฤษฎีการเรียกซ้ำคือ สาขาของตรรกะทางคณิตศาสตร์ วิทยาการคอมพิวเตอร์ และทฤษฎีการคำนวณที่เกิดขึ้นในช่วงทศวรรษที่ 1930 ด้วยการศึกษาฟังก์ชันที่คำนวณได้ และทัวริงดีกรี
แนวคิดของการเรียกซ้ำคืออะไร
การเรียกซ้ำคือ กระบวนการทำซ้ำรายการในลักษณะที่คล้ายคลึงกัน ในภาษาการเขียนโปรแกรม หากโปรแกรมอนุญาตให้คุณเรียกใช้ฟังก์ชันภายในฟังก์ชันเดียวกันได้ จะเรียกว่าฟังก์ชันเรียกซ้ำของฟังก์ชัน
ฟังก์ชันเรียกซ้ำในทฤษฎีการคำนวณคืออะไร
ฟังก์ชัน μ-recursive (หรือฟังก์ชันแบบเรียกซ้ำทั่วไป) คือ ฟังก์ชันบางส่วนที่รับ tuples ของจำนวนธรรมชาติและส่งคืนตัวเลขธรรมชาติเดียว เป็นคลาสที่เล็กที่สุดของฟังก์ชันบางส่วนที่รวมฟังก์ชันเริ่มต้นและปิดภายใต้องค์ประกอบ การเรียกซ้ำแบบพื้นฐาน และตัวดำเนินการ μ