كتب ecclesiastical numerals
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
# المجامع الكنسية
# جداول لندن الكنسية
# جداول يوسيبيان الكنسية
# الوظائف الكنسية
# المحاكم الكنسية ومحاكم الفولوست
# إصدار القوانين الكنسية
# النمذجة الفرقية الكنسية
# حياته الكنسية
# مقاطعة الكنسية في باليمبانج
# مقاطعة الكنسية جاكرتا
# مقاطعة الكنسية من كوبانغ
# مقاطعة الكنسية ماكاسار
# مقاطعة الكنسية ميدان
# مقاطعة الكنسية من بونتياناك
# مقاطعة الكنسية سيمارانج
# الطقوس الكنسية والممارسات
# المهنة الكنسية
# المواقف الكنسية
# عمله البابوي ومناصبه الكنسية
# الرتب الكنسية
عرض المزيد
المصدر: wikipedia.org
الأعداد الكنسية (معلومة)
الشفرة التالية تحدد تشفيرا للكنيسة وضعته للأعداد الطبيعية، مع عدد لاحق (succ) وعدد إضافي (add). الأعداد الكنسية هي دالة ذات مستوى أعلى تقبل الدالة f والقيمة x وتضيف f إلى x لعدد n من المرات. ولتحويل العدد الكنسي من قيمته الوظيفية إلى سلسلة معلومة نقوم بإدخاله على دالة تدخل السلسلة s إلى مدخلاتها والتسلسل الثابت " 0
let zero f x = x let succ n f x = f (n f x) let one = succ zero let two = succ (succ zero) let add n1 n2 f x = n1 f (n2 f x) let to_string n = n (fun k -> "S" ^ k) "0" let _ = to_string (add (succ two) two)
