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

ت

• [×] تحسيب‏ (6 ص)
• [+] تحسيب تطوري‏ (1 ت، 2 ص)
• [+] تعمية‏ (10 ت، 42 ص)

خ

• [+] خوارزميات‏ (19 ت، 37 ص)

ر

• [+] رياضيات الحوسبة‏ (3 ت، 4 ص)

ط

• [+] طرق شكلية‏ (1 ت، 9 ص)

ع

• [×] علم المعلومات الكمية‏ (9 ص)

ل

• [+] لغات شكلية‏ (2 ت، 15 ص)

م

• [+] معلومات‏ (13 ت، 16 ص)

ن

• [×] نظرية التحسيب‏ (1 ص)
• [×] نظرية التشغيل الذاتي‏ (9 ص)
• [×] نظرية التعقيد‏ (4 ص)

ن يُتبع

• [×] نظرية التعقيد الحسابي‏ (2 ص)
• [×] نظرية المترجم‏ (10 ص)
• [+] نظرية المخططات‏ (5 ت، 26 ص)
• [+] نظرية المعلومات‏ (3 ت، 4 ص)
• [+] نماذج حاسوبية‏ (1 ت، 15 ص)

*

• معلوماتية نظرية

3

• 3-سات

K

• مستخدم:Khalil.almekhlafi

آ

• آلة تورنج

إ

• إن بي

ا

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

ب

• بناء المترجمات البرمجية

ت

• تحسيب

ت يُتبع

• تحليل عدد صحيح إلى عوامل
• تخطيط الحركة

ج

• جبر منطقي

ح

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

خ

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

ر

• روجر شانك

س

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

ش

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

ظ

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

ع

• علم التعمية

ق

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

ل

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

م

• مبرهنة الاستعيان
• مسألة الجنرال البيزنطي
• معيار تشفير البيانات

ن

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