لغة متصرفة
المصادر

↑  رمزي البعلبكي (1990)، معجم المصطلحات اللغوية: مع 16 مسرداً عربياً (بالعربية والإنجليزية) (ط. 1)، بيروت: دار العلم للملايين، ص. 197، OCLC:30475414، QID:Q112231927
↑  موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2017)، قائمة مصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 132، QID:Q112244705
↑  معجم المصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: الجمعية العلمية السورية للمعلوماتية، 2000، ص. 226، OCLC:47938198، QID:Q108408025
↑  معجم البيانات والذكاء الاصطناعي (PDF) (بالعربية والإنجليزية)، الهيئة السعودية للبيانات والذكاء الاصطناعي، 2022، ص. 68، QID:Q111421033
| ع ن المنطق | ع ن المنطق |
| --- | --- |
مقالات رئيسية:  العقل الفلسفي  تاريخ المنطق  منطق فلسفي  منطق رياضي  ما بعد المنطق  فلسفة المنطق 
مفاهيم مفتاحية:  استنتاج  قياس  استقراء  منطق لاشكلي  افتراض  استدلال  حجة  تفكير نقدي  مغالطة  منطق رياضي  مجموعة  نحو  سيمانتيك  صيغة جيدة الشكل  مسلمة  مبرهنة  التماسك  نظرية كاملة  قابلية القرار  نظام شكلي  نظرية المجموعات  نظرية البرهان  نظرية النموذج  نظرية العودية  منطق الرتبة صفر  دالة بول  حسبان القضايا  جداول الحقيقة  منطق الرتبة الأولى  منطق الرتبة الثانية  منطق طوري  منطق إبستيمي  منطق ظرفي  أنواع منطقية لاكلاسيكية  منطق الحسوبية منطق ضبابي  منطق خطي 
جدليات:  مفارقة 
شخصيات أساسية:  أرسطو  جورج بول  جورج كانتور  رودولف كارناب  جوتلوب فريجه  كورت غودل  ديفيد هيلبرت  جوزيبه بيانو  شارل ساندرز پيرس  هيلاري پوتنام  بيرتراند راسل  ألفريد تارسكي  آلان تورنغ 
قوائم:  مواضيع أساسية  منطقيون  قواعد الاستدلال  منطق رياضي  رياضيات متقطعة  نظرية المجموعات  مفارقات  رموز منطقية 
| ع ن المنطق الرياضي | ع ن المنطق الرياضي |
| --- | --- |
عام:  لغة شكلية  تشكيل قاعدة  نظام شكلي  نظام شكلي  برهان فلسفي  دلالة الصورية (منطق)  صيغة التشكيلية  مجموعة (رياضيات)  صنف (نظرية المجموعات)  منطق كلاسيكي  بديهية  استنتاج طبيعي  قاعدة الإستدلال  علاقات  مبرهنة  استتباع منطقي  نظام بديهي  نظرية النمط  رمز (شكلي)  تركيب (منطق)  نظرية (منطق رياضي) 
منطق تقليدي:  قضية  استدلال  حجة منطقية  صحة  تفكير منطقي  قياس (منطق)  تعارض تربيعي  مخطط فن 
حساب القضايا - جبر بولياني:  دالة بول  حساب القضايا  قضية (منطق)  رابطة منطقية  جدول الحقيقة 
منطق تحول:  منطق الرتبة الأولى  الكم (منطق)  محمول (منطق)  منطق الرتبة الثانية  Monadic predicate calculus 
نظرية المجموعات المبسطة:  مجموعة (رياضيات)  مجموعة خالية  تعداد  الماصدقية  مجموعة منتهية  مجموعة غير منتهية  مجموعة جزئية  مجموعة قوة  مجموعة قابلة للعد  مجموعة غير قابلة للعد  مجموعة تكرارية  مجال دالة  مدى(رياضيات)  تطبيق (رياضيات)  دالة  عملية ثنائية  زوج مرتب 
نظرية المجموعات:  أسس الرياضيات  نظرية المجموعات حسب تسيرميلو-فرانكل  بديهية الاختيار  نظرية المجموعات العامة  Kripke–Platek set theory  Von Neumann–Bernays–Gödel set theory  نظرية مجموعة مورس-كيلي  Tarski–Grothendieck set theory 
نظرية النموذج:  البنية (منطق رياضي)  تأويل (منطق)  Non-standard model  نظرية نموذج تناهي  قيمة الحقيقة  صحة 
نظرية البرهان:  برهان فلسفي  نظام شكلي  نظام شكلي  مبرهنة  استتباع منطقي  علاقات متناهية  تركيب (منطق) 
نظرية الحاسوبية:  استدعاء ذاتي  مدى(رياضيات)  مجموعة مرقمة بشكل تراجعي  مشكل القرار  أطروحة تشرش-تورينغ  دوال حسابية  Primitive recursive function 
| ع ن علم الحاسوب | ع ن علم الحاسوب |
| --- | --- |
يعتمد هذا القالب على تصنيف أنظمة الحوسبة  الذي أنجزته جمعية آلات الحوسبة  في عام 2012: يعتمد هذا القالب على تصنيف أنظمة الحوسبة  الذي أنجزته جمعية آلات الحوسبة  في عام 2012
العتاد:  اللوحات المطبوعة  الطرفيات  الدارات المُتكاملة  تكامل وسيع النطاق  نظام على رقاقة  الحوسبة الخضراء  أتمتة التصميم الإلكتروني  تسريع العتاد 
بنية الأنظمة:  المعماريَّة  الأنظمة المُضمَّنة  الحوسبة في الزمن الحقيقي  الاعتمادية  
الشبكات:  المعماريَّة  البروتوكولات  العتاد  الجدولة  الأداء  الخدمات 
بنية البرمجيات:  المُفسِّرات  برمجيات وسيطة  آلة افتراضية  أنظمة التشغيل  جودة البرمجيات 
نظرية لغات البرمجة وأدواتها:  الأنماط  اللغات البرمجة  النمذجة  مخصصة النطاق  المُصرِّفات  أُطُر العمل بيئة التطوير المتكاملة  المكتبات  المُستودعات 
تطوير البرمجيات:  المتغيرات  عملية التطوير  تحليل المتطلبات  التصميم  البناء  النشر  الصيانة  فريق البرمجة  البرمجيات حُرَّة المصدر 
نظرية الحوسبة:  نموذج حوسبة  لغة متصرفة  نظريات التشغيل الذاتي  الحسوبية  التعقيد الحسابي  المنطق  علم الدلالة الشكلي 
الخوارزميات:  التحليل  الكفاءة  خوارزمية عشوائية  هندسة مُحوسبة 
رياضيات الحوسبة:  رياضيات مُتقطِّعة  الاحتمالات  الإحصاء  برمجية رياضية  نظرية المعلومات  التحليل الرياضي  العددي  علم الحاسوب النظري 
نظم المعلومات:  أنواع التخزين قواعد البيانات  الوسائط المتعددة  اقتصادية  اجتماعية  جغرافية  دعم القرارات  التحكُّم في العمليات  تنقيب في البيانات  مكتبة رقمية  منصة حوسبة  التسويق الرقمي  شبكة عالمية المجال  استرجاع المعلومات 
الأمن:  أنواع العتاد   الشبكات  المعلومات  التطبيقات  الخدمات  علم التعمية  طريقة شكلية  أنظمة كشف التسلسل 
التفاعل الإنساني الحاسويبي:  حوسبة اجتماعية  سائدة  تصميم التفاعل  تمثيل مرئي  إمكانية الوصول  
تزامن:  أنواع  مُتزامِنة  مُتوازيَّة  مُوزَّعة  تشعب مُتعدِّد   مُعالَجة مُتعدِّدة 
الذكاء الاصطناعي:  معالجة اللغة الطبيعية  تمثيل المعرفة  رؤية حاسوبية  التخطيط الآلي والجدولة  الاستمثال  نظرية التَّحكُّم  الفلسفة  ذكاء اصطناعي مُوزَّع  
تعلم الآلة:  أنواع التَّعلُّم مُراقَب  غير مُراقَب  مَدعُوم  مُتعدِّد المهام   التحقق  المُتقاطِع 
رسوميَّات:  التحريك  تصيير  صور التَّلاعُب  الضَّغط  وحدة معالجة الرسوميَّات  وُقُع افتراضي  مُعزَّز  مُختلَط  نمذجة المُجسَّمات  
الحوسبة التطبيقيَّة:  اختصاصات محوسبة رياضيات  كيمياء  فيزياء  علم الأحياء  هندسة  العلوم الاجتماعية  معلوماتية صحية  التجارة الرقميَّة  الفن الرقمي  النشر الرقمي  حرب رقمية عبر الشبكة  التصويت الإلكتروني  ألعاب الفيديو  مُعالِجات النصوص  بحوث العمليات  تقنيات التعليم 
  تصنيف   مُختصَر موجز   مشروع   كُومُنز :   تصنيف   مُختصَر موجز   مشروع   كُومُنز 
| ع ن المواضيع الأساسية في علم الحاسوب النظري | ع ن المواضيع الأساسية في علم الحاسوب النظري |
| --- | --- |
علم الحاسوب النظري:  تحسيب  خوارزميات  نظرية المعلومات  نظرية الأتمتة  نظرية المخططات  نظرية التعقيد الحسابي  تشفير  علم التعمية  ترميز  لغات شكلية  استمثال  بناء المترجمات البرمجية  نظرية أنظمة التشغيل  نظرية قواعد البيانات  طريقة شكلية  حوسبة طبيعية 
معلوماتية عملية:  نظام تشغيل  حوسبة  رسوميات حاسوبية  قواعد بيانات  بنى بيانات  برمجة 
هندسة الحاسب:  تقنية المعلومات  شبكة حاسوب  عتاد الحاسوب  أمن الحاسوب  اختراق الحاسوب 
معلوماتية عملية:  نظم معلومات  معلوماتية حيوية  معلوماتية جيولوجية  كيمياء حاسوبية  فيزياء حاسوبية  معلوماتية اقتصادية  وسائط متعددة 
ذكاء اصطناعي:  تعلم الآلة  معلوماتية عصبية  تصنيف إحصائي  لغويات حاسوبية 
برمجيات:  لغات البرمجة  برمجيات حرة  برمجيات تجارية 
أنظمة التشغيل:  دوس (نظام تشغيل)  ويندوز  يونكس  لينكس  ماك أو إس  آي بي إم إيه آي إكس  نتوير  تاريخ أنظمة التشغيل 
عتاد الحاسوب:  وحدة معالجة مركزية  الذاكرة  قرص صلب  لوحة أم  بطاقة الرسوميات  بطاقة الشبكة  تخزين ضوئي  وحدات الإدخال والإخراج 
بوابة اللغة
بوابة تقانة المعلومات
بوابة رياضيات
بوابة علم الحاسوب
في كومنز مواد ذات صلة بـ لغة متصرفة.
| 0 | 1 |
| --- | --- |
ضبط استنادي: وطنية :  المكتبة الوطنية الفرنسية (BnF)  الملف الاستنادي المتكامِل (GND)  المكتبة القومية الإسرائيلية (J9U)  مكتبة الكونغرس (LCNAF)  مكتبة البرلمان القومي الياباني (NDL)  قاعدة البيانات الوطنية التشيكية (NLCR AUT)