Berechenbarkeit und Grenzen
مقدمه
این موضوع نشان میدهد رایانه در اصل چه مسئلههایی را میتواند حل کند و کجا مرزهای ثابت وجود دارد.
اصطلاحات
- محاسبهپذیری
- الگوریتم
- مسئلهٔ تصمیم
- تصمیمناپذیری
- ماشین تورینگ
- مسئلهٔ توقف
این موضوع نشان میدهد رایانه در اصل چه مسئلههایی را میتواند حل کند و کجا مرزهای ثابت وجود دارد.