رده:علوم نظری رایانه

ر

• [+] روش‌های صوری‏ (۷ ر، ۱۴ ص)

ز

• [+] زبان‌های صوری‏ (۲ ر، ۲۳ ص)

ع

• [×] علم محاسبات‏ (۱۰ ص)

م

• [+] محاسبات تکاملی‏ (۲ ر، ۲ ص)
• [×] مسئله‌های حل‌نشده در علوم رایانه‏ (۳ ص)

م (ادامه)

• [+] معناشناسی‏ (۶ ر، ۳۱ ص)
• [+] منطق در علوم کامپیوتر‏ (۵ ر، ۸ ص)

ن

• [+] نظریه اطلاعات‏ (۸ ر، ۱۵ ص)
• [+] نظریه محاسبات‏ (۶ ر، ۱۹ ص)
• [+] نظریه پیچیدگی‏ (۶ ر، ۱۰ ص)

ن (ادامه)

• [+] نظریه پیچیدگی محاسباتی‏ (۶ ر، ۱۵ ص)
• [+] نظریه گراف‏ (۹ ر، ۷۸ ص)
• [×] نظریه یادگیری محاسباتی‏ (۱ ص)

P

• PEG

ا

• استدلال خودکار
• الگوریتم
• الگوریتم کاراتسوبا
• الگوریتم کساراجو

ب

• برنامه‌ریزی حرکت

ت

• توابع بازگشتی

ر

• رایانه کوانتومی
• روش‌های صوری

ز

• زبان صوری
• زبان مستقل از متن

ع

• علوم نظری رایانه

ل

• لم پمپاژ

م

• ماشین تورینگ

م (ادامه)

• ماشین راستگرد خواندنی تورینگ
• ماشین مور
• ماشین میلی
• محاسبات
• مهندسی الگوریتم
• میدان تصادفی مارکفی

ن

• نظریه یادگیری محاسباتی