ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ไม่มีความย่อการแก้ไข |
ล robot Modifie: fr |
||
| บรรทัด 10: | บรรทัด 10: | ||
[[Category:ทฤษฎีการคำนวณ]] |
[[Category:ทฤษฎีการคำนวณ]] |
||
[[cs:Teorie |
[[cs:Teorie vyčíslitelnosti]] |
||
[[de:Berechenbarkeitstheorie]] |
[[de:Berechenbarkeitstheorie]] |
||
[[en:Computability theory]] |
[[en:Computability theory]] |
||
[[es:Teoría de la computabilidad]] |
[[es:Teoría de la computabilidad]] |
||
[[fr:Calculabilité]] |
|||
[[fr:Théorie de la calculabilité]] |
|||
[[ja:計算可能性理論]] |
|||
[[ja:計算可能性理論]] |
|||
รุ่นแก้ไขเมื่อ 16:14, 14 กรกฎาคม 2548
 | บทความนี้ยังเป็นโครง คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มเติมข้อมูล หมายเหตุ: ขอแนะนำให้จัดหมวดหมู่โครงให้เข้ากับเนื้อหาของบทความ (ดูเพิ่มที่ วิกิพีเดีย:โครงการจัดหมวดหมู่โครงที่ยังไม่สมบูรณ์) |
ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
- ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
- ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
- ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
- ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ