ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล Bot: Migrating 22 interwiki links, now provided by Wikidata on d:q818930 (translate me) ป้ายระบุ: ลบลิงก์ข้ามภาษา |
AlphamaBot (คุย | ส่วนร่วม) Alphama Tool |
||
บรรทัด 10: | บรรทัด 10: | ||
{{Link GA|ja}} |
{{Link GA|ja}} |
||
[[หมวดหมู่:คณิตตรรกศาสตร์]] |
|||
[[หมวดหมู่:ทฤษฎีการคำนวณ]] |
[[หมวดหมู่:ทฤษฎีการคำนวณ]] |
||
[[หมวดหมู่:ทฤษฎีการคำนวณได้]] |
[[หมวดหมู่:ทฤษฎีการคำนวณได้]] |
รุ่นแก้ไขเมื่อ 06:58, 22 กันยายน 2557
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |
ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยขั้นตอนวิธี (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
- ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
- ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
- ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
- ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ