ล
ไม่มีคำอธิบายอย่างย่อ
ล (robot Adding: fa:نظریه محاسبهپذیری Modifying: ko:계산 가능성 이론) |
ลไม่มีความย่อการแก้ไข |
||
{{โครงคณิตศาสตร์}}▼
'''ทฤษฎีการคำนวณได้''' คือส่วนหนึ่งของการศึกษาใน[[ทฤษฎีการคำนวณ]]ที่สนใจกับปัญหาที่ว่า [[ปัญหาการตัดสินใจ|ปัญหา]]ใดที่สามารถหาคำตอบได้ด้วย[[อัลกอริทึม]] (หรือ—ในความหมายที่เหมือนกัน—โดย[[เครื่องจักรทัวริง]]) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้
* ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
[[Category:ทฤษฎีการคำนวณ]]
▲{{โครงคณิตศาสตร์}}
[[ar:نظرية الحسوبية]]
|