ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"

จากวิกิพีเดีย สารานุกรมเสรี
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
YurikBot (คุย | ส่วนร่วม)
Manop (คุย | ส่วนร่วม)
ไม่มีความย่อการแก้ไข
บรรทัด 1: บรรทัด 1:
{{โครงคณิตศาสตร์}}
'''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาการตัดสินใจ|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ—ในความหมายที่เหมือนกัน—โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
'''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาการตัดสินใจ|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ—ในความหมายที่เหมือนกัน—โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
* ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
* ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
บรรทัด 9: บรรทัด 8:


[[Category:ทฤษฎีการคำนวณ]]
[[Category:ทฤษฎีการคำนวณ]]
{{โครงคณิตศาสตร์}}


[[ar:نظرية الحسوبية]]
[[ar:نظرية الحسوبية]]

รุ่นแก้ไขเมื่อ 06:40, 2 พฤษภาคม 2549

ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้

  • ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
  • ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
  • ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
  • ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?

ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ