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

จากวิกิพีเดีย สารานุกรมเสรี
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
Addbot (คุย | ส่วนร่วม)
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

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

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

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

แม่แบบ:Link GA