نتایج جستجو
پرش به ناوبری
پرش به جستجو
- ...زیرنوعی (برنامه نویسی کامپیوتر)|توابع]] تعریف شده در [[نظریه نوعها|نظریهٔ نوعها]] است؛ که فقط به [[هموردایی و پادوردایی (علوم رایانه)|پادوردایی]] انواع آر ...از وی پیر امریکا، که اولین بار اصطلاح «انواع رفتاری» را به کار بردند، به [[نظریه برهان|اثبات نظری]] تعاریف برخی از مفاهیم انواع رفتاری پرداختند. با این حال ...۱۲ کیلوبایت (۳۷۲ واژه) - ۴ مهٔ ۲۰۲۳، ساعت ۰۷:۳۹
- این اصطلاحات از مفهوم [[عملگر (نظریه ردهها)|عملگر]] در [[نظریه ردهها]] آمدهاست. ...خست برعکس میکند و برای برای آرگومان دوم حفظ میکند؛ بنابراین این [[عملگر (نظریه ردهها)|عملگر]] در آرگومان نخست پادوردا و در آرگومان دوم همورداست. ...۱۲ کیلوبایت (۳۴۳ واژه) - ۲۰ آوریل ۲۰۲۰، ساعت ۱۲:۱۸
- ...ی تعریف این ترتیب است. هدف ما تعریف زوج مرتب به گونهای قابل قبول از نظر [[نظریه مجموعهها]] است. ...صورت شهودی درک کنید اما چگونه میتوان این کار را به گونهای قابل قبول برای نظریه مجموعهها تعریف نمود. ...۹ کیلوبایت (۲۷۶ واژه) - ۳۱ اکتبر ۲۰۲۱، ساعت ۱۸:۰۱
- == نظریه نوعها == در [[نظریه نوعها]]، در یک درخت دودویی با گرههایی از نوع A، بهصورت [[استقراء]] تعریف میشون ...۲۷ کیلوبایت (۶۵۱ واژه) - ۹ اوت ۲۰۲۴، ساعت ۰۹:۲۸
- * [[نظریه نوعها]] ...۲۰ کیلوبایت (۱۰۶ واژه) - ۱۱ ژوئیهٔ ۲۰۲۴، ساعت ۱۴:۳۳
- ...'، '''همانسازی معادلهای'''، یا '''همانسازی E''' یا '''همانسازی بر پایه نظریه''' میگویند. [[رده:نظریه نوعها]] ...۱۹ کیلوبایت (۷۳۵ واژه) - ۱۶ دسامبر ۲۰۲۳، ساعت ۱۰:۰۷
- == نظریه نوع == در [[نظریه نوعها|نظریهٔ نوع]]، مجموعهها به طور کلی با [[تابع مشخصه|تابع مشخصهی]] خود مشخص می ش ...۳۵ کیلوبایت (۱٬۳۷۰ واژه) - ۷ اوت ۲۰۲۲، ساعت ۰۹:۵۷