ผลต่างระหว่างรุ่นของ "ทฤษฎีการคำนวณได้"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
BotMultichill (คุย | ส่วนร่วม) ล robot Adding: he:חישוביות, hr:Teorija izračunljivosti (računarstvo), pt:Computabilidade |
|||
บรรทัด 17: | บรรทัด 17: | ||
[[fa:نظریه محاسبهپذیری]] |
[[fa:نظریه محاسبهپذیری]] |
||
[[fr:Calculabilité]] |
[[fr:Calculabilité]] |
||
[[he:חישוביות]] |
|||
[[hr:Teorija izračunljivosti (računarstvo)]] |
|||
[[it:Teoria della calcolabilità]] |
[[it:Teoria della calcolabilità]] |
||
[[ja:計算可能性理論]] |
[[ja:計算可能性理論]] |
||
บรรทัด 22: | บรรทัด 24: | ||
[[nl:Berekenbaarheid]] |
[[nl:Berekenbaarheid]] |
||
[[pl:Teoria obliczalności]] |
[[pl:Teoria obliczalności]] |
||
[[pt:Computabilidade]] |
|||
[[ru:Теория вычислимости]] |
[[ru:Теория вычислимости]] |
||
[[simple:Computability theory]] |
[[simple:Computability theory]] |
รุ่นแก้ไขเมื่อ 01:14, 5 พฤศจิกายน 2550
ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
- ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
- ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
- ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
- ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?
ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ