تابع پسین
در ریاضیات عملگر پسین یا تابع پسین (انگلیسی: Successor function) تابع بازگشتی اولیه (en) S است که در آن برای هر عدد طبیعی n، S(n) = n+1. برای مثال S(1) = ۲ و S(2) = ۳. عملگرهای پسین همچنین صفرمین ابرعملگر (en) با عنوان زیریشن zeration شناخته می‌شوند.
از عملگر پسین در اصول موضوعه پئانو ( که اعداد طبیعی و ویژگی های آن ها را پایه ریزی می‌کند) استفاده می‌شود.
جستارهای وابسته
منابع
- مشارکت‌کنندگان ویکی‌پدیا. «Successor function». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۵ نوامبر ۲۰۱۸.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.