حساب کاربری
​
زمان تقریبی مطالعه: کمتر از 1 دقیقه
لینک کوتاه

فرم نرمال بتا

فرم نرمال بتا (به انگلیسی: Beta normal form) در جبر لاندا، یک جملهٔ لانداست که دیگر امکان کاهش بتا در آن وجود نداشته باشد. جملهٔ لاندا در حالت نرمال بتا است اگر نتوان بر روی آن کاهش بتا یا کاهش اِتا انجام داد.

جستارهای وابسته

  • جبر لاندا

منابع

  1. ↑ "Beta normal form". Encyclopedia. TheFreeDictionary.com. Retrieved 25 September 2018.
    آخرین نظرات
    کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.