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

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม

ในบรรทัด

รุ่นแก้ไขเมื่อ 06:33, 5 พฤษภาคม 2548

บทความนี้ยังเป็นโครง คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มเติมข้อมูล

หมายเหตุ: ขอแนะนำให้จัดหมวดหมู่โครงให้เข้ากับเนื้อหาของบทความ (ดูเพิ่มที่ วิกิพีเดีย:โครงการจัดหมวดหมู่โครงที่ยังไม่สมบูรณ์)

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

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

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

@@ บรรทัด 1: / บรรทัด 1: @@
+{{โครง}}
 '''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาการตัดสินใจ|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ&mdash;ในความหมายที่เหมือนกัน&mdash;โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ  ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
 * ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
@@ บรรทัด 4: / บรรทัด 5: @@
 * ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
 * ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
 ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับ[[ทฤษฎีการคำนวณ]]
+[[Category:ทฤษฎีการคำนวณ]]
-{{โครง}}
 [[cs:Teorie vy&#269;&#237;slitelnosti]]
@@ บรรทัด 14: / บรรทัด 16: @@
 [[fr:Théorie de la calculabilité]]
 [[ja:&#35336;&#31639;&#21487;&#33021;&#24615;&#29702;&#35542;]]
-[[Category:ทฤษฎีการคำนวณ]]