تصنيف:معلوماتية نظرية

ت

• ◄ تحسيب‏ (6 ص)
• ◄ تحسيب تطوري‏ (2 ت، 2 ص)
• ◄ تعمية‏ (11 ت، 61 ص، 1 م)

خ

• ◄ خوارزميات‏ (21 ت، 39 ص)

ر

• ◄ رياضيات الحوسبة‏ (3 ت، 3 ص)

ش

• ◄ شبه عشاوة‏ (1 ت، 1 ص)

ط

• ◄ طرق شكلية‏ (1 ت، 10 ص)

ع

• ◄ علم المعلومات الكمية‏ (10 ص)

ل

• ◄ لغات شكلية‏ (2 ت، 17 ص)

م

• ◄ معلومات‏ (14 ت، 20 ص)

ن

• ◄ نظرية التحسيب‏ (1 ص)
• ◄ نظرية التشغيل الذاتي‏ (11 ص)

ن (تابع)

• ◄ نظرية التعقيد‏ (4 ص)
• ◄ نظرية التعقيد الحسابي‏ (3 ت، 5 ص)
• ◄ نظرية المترجم‏ (11 ص)
• ◄ نظرية المخططات‏ (8 ت، 28 ص)
• ◄ نظرية المعلومات‏ (6 ت، 16 ص)
• ◄ نماذج حاسوبية‏ (1 ت، 16 ص)

*

• علم الحاسوب النظري

3

• 3-سات

A

• AC0

B

• BPP

C

• Co-NP

D

• DLOGTIME

E

• EXPTIME

F

• أساليب رسمية

K

• مستخدم:Khalil.almekhlafi

P

• PH(التعقيد الحسابي)

Z

• ZPP (تعقيد حسابي)

آ

• آلة تورنج

أ

• أر بي (تعقيد حسابي)

إ

• إس إل (تعقيد حسابي)

ا

• اختبار التكرار الدوري
• اختبار الخاصية
• استدعاء ذاتي (علم الحاسوب)
• الحوسبة (عام)
• انتقال دوراني
• اوتومات الدفع السفلي

ب

• بناء المترجمات البرمجية
• بي بي (تعقيد حسابي)
• بيسبايس

ت

• تحسيب
• تحليل عدد صحيح إلى عوامل
• تخطيط الحركة
• تعريف الشيء بنفسه

ج

• جبر منطقي

ح

• حاسب كيميائي
• حاسوب كمومي
• حسابات اللامدا
• حقل ماركوف العشوائي
• حقل ماركوف العشوائي المخفي
• حوسبة الببتيد
• حوسبة الحمض النووي الريبي منقوص الأكسجين

خ

• خريطة كارنوف
• مستخدم:خليل أحمد صالح المخلافي
• خوارزمية

ر

• روجر شانك

س

• سلم P (نظرية التعقيد)

س (تابع)

• سهم بيرس (جبر منطقي)
• سيمافور (حوسبة)
• سيمانتيك شكلي

ش

• شبكة بيتري
• شفرة منعكسة

ظ

• ظاهرة العالم الصغير

ع

• علم التعمية

ق

• قانون غوستافسون

ك

• كثير حدود غير قطعي

ل

• لعبة البوكر العقلية
• لغة شكلية

م

• مبرهنة الاستعيان
• مسألة الجنرال البيزنطي
• مسائل co-NP كاملة
• مسائل NP صعبة
• مسائل PSPACE كاملة
• معيار تشفير البيانات

ن

• نظرية المخططات

ه

• هرمية كثيرة الحدود

ي

• يو بي (تعقيد حسابي)