انتقل إلى المحتوى
القائمة الرئيسية
القائمة الرئيسية
انقل للشريط الجانبي
أخف
الموسوعة
الصفحة الرئيسة
الأحداث الجارية
أحدث التغييرات
أحدث التغييرات الأساسية
تصفح
المواضيع
أبجدي
بوابات
مقالة عشوائية
تصفح من غير إنترنت
مشاركة
تواصل مع ويكيبيديا
مساعدة
الميدان
بحث
بحث
المظهر
تبرع
إنشاء حساب
دخول
أدوات شخصية
تبرع
إنشاء حساب
دخول
صفحات للمحررين الذين سجَّلوا خروجهم
تعلَّم المزيد
مساهمات
نقاش
تصنيف
:
نظرية النمط
26 لغة
Беларуская (тарашкевіца)
Bosanski
Čeština
Deutsch
Ελληνικά
English
Esperanto
Español
فارسی
Français
Bahasa Indonesia
Italiano
日本語
한국어
Македонски
Bahasa Melayu
Norsk bokmål
Português
Русский
ไทย
Türkçe
Українська
اردو
Tiếng Việt
中文
閩南語 / Bân-lâm-gú
عدل الوصلات
تصنيف
نقاش
العربية
اقرأ
عدّل
تاريخ
أدوات
أدوات
انقل للشريط الجانبي
أخف
إجراءات
اقرأ
عدّل
تاريخ
عام
ماذا يصل هنا
تغييرات ذات علاقة
رفع ملف
الصفحات الخاصة
وصلة دائمة
معلومات الصفحة
احصل على مسار مختصر
تنزيل رمز الاستجابة السريعة
طباعة/تصدير
إنشاء كتاب
تحميل PDF
نسخة للطباعة
في مشاريع أخرى
ويكيميديا كومنز
عنصر ويكي بيانات
المظهر
انقل للشريط الجانبي
أخف
مساعدة
من ويكيبيديا، الموسوعة الحرة
بوابة تقانة المعلومات
لمزيد من المعلومات، طالع
نظرية النمط
.
في كومنز صور وملفات عن
Type theory
.
تصنيفات فرعية
يشتمل هذا التصنيف على تصنيفين فرعيين، من أصل 2.
أ
أنظمة أنواع
(1 ت، 4 ص)
ت
تعدد الأشكال
(2 ص)
صفحات تصنيف «نظرية النمط»
يشتمل هذا التصنيف على 20 صفحة، من أصل 20.
*
نظرية النمط
أ
أيدا (لغة برمجة)
ا
استراتيجية التقييم
التحويل في c++
ب
برتراند ماير
بنية رياضية
ت
تعددية الأشكال (علم الحاسوب)
تعديد (حساب)
تنويع البط
ج
جان إشبيا
ر
بيرتراند راسل
ز
زوج مرتب
س
سلامة الأنماط
ل
لاتباين وتباين مرافق وتباين معاكس
م
مبدأ المفتوح المغلق
متغير (علم الحاسوب)
ن
نظام الأنواع
نمط مجرد
نوع بيانات مجرد
ه
هاسكل كاري
تصنيفات
:
نظرية لغات البرمجة
بنى رياضية
منطق رياضي
منطق في علم الحاسوب
تصنيف مخفي:
صفحات تستخدم خاصية P373