نتایج جستجو
پرش به ناوبری
پرش به جستجو
- [[رده:تجرید]] ...۴ کیلوبایت (۵۹ واژه) - ۲۳ اکتبر ۲۰۲۳، ساعت ۰۸:۴۱
- ...ر ریاضیات (و در بسیاری از میدانها و زمینههای دیگر [[حیات]] انسانی)، '''[[تجرید]]''' و از آن هم مهمتر '''[[تعمیم]]''' است. ...۵ کیلوبایت (۱۷۶ واژه) - ۱۷ فوریهٔ ۲۰۲۵، ساعت ۱۵:۰۲
- ...و تابعگونهای الحاقی که قویاً به هم مرتبطند، حد و همحد نیز در مراتب بالای تجرید وجود دارند. به منظور فهمشان ابتدا باید مثال هایی که این مفاهیم سعی بر تعمیم ...۵ کیلوبایت (۳۰۹ واژه) - ۱۶ فوریهٔ ۲۰۲۵، ساعت ۱۱:۰۷
- ...رد که عبارتاند از [[اصل موضوع گسترش]] و [[اصل موضوع تصریح|اصل موضوع شهودی تجرید]]. اصل شهودی تجرید بیان میکند که اگر <math>\phi (x)</math> یک گزارهنما در مورد متغیر آزاد x ...۱۶ کیلوبایت (۲۰۸ واژه) - ۱۰ سپتامبر ۲۰۲۴، ساعت ۲۲:۴۱
- ...شد، میتوان [[میدان برداری|میدانهای برداری]] نیز بر رویشان تعریف کرد، که تجرید میدان سرعت ذرات محرک در آن فضا میباشد. یک میدان برداری به هر نقطه از منیفل ...۷ کیلوبایت (۱۹۶ واژه) - ۱۵ فوریهٔ ۲۰۲۵، ساعت ۱۴:۳۷
- ...) ساختاری است که مفهوم [[استقلال خطی]] در [[فضای برداری|فضاهای برداری]] را تجرید سازی کرده و تعمیم می دهد. از نظر [[اصل موضوع (منطق)|اصول موضوعه]] منطقی، رو ...وید به طور گسترده از واژگان [[جبر خطی]] و [[نظریه گراف]] وام گرفته، چرا که تجرید عمده مفاهیم مرکزی در این شاخه ها ما را به میتروید ها می رساند. میترویدها کا ...۱۶ کیلوبایت (۱٬۳۸۴ واژه) - ۲۵ اوت ۲۰۲۴، ساعت ۱۵:۱۶
- ...نبههای [[نحو|نحوی]] زبانها (یعنی الگوهای ساختاری درونی آنها) [[مدل ریاضی|تجرید و انتزاع میشود]] و به معنای جملات و ... اهمیتی نمیدهیم (مثلاً جملهٔ «رنگ ...۱۱ کیلوبایت (۳۵۹ واژه) - ۲ ژوئیهٔ ۲۰۲۴، ساعت ۰۷:۰۳
- ...ک پیکان همانی وجود دارد. زبان نظریهٔ رستهها برای صوریسازی مفاهیمی در سطح تجرید بالا چون [[مجموعه (ریاضیات)|مجموعهها]]، [[حلقه (ریاضیات)|حلقهها]] و [[گرو ...زی کرده و به صورت یک رسته درآورد. ازین رو نظریهٔ رستهها در این شاخهها از تجرید استفاده کرده و امکان بیان و اثبات بسیاری از نتایج بغرنج و دقیق ریاضیاتی را ...۲۲ کیلوبایت (۱٬۴۹۴ واژه) - ۲۷ اکتبر ۲۰۲۴، ساعت ۱۶:۲۶
- [[جبر مقدماتی]] با [[حساب]] در استفاده از [[تجرید]] متفاوت اند. در جبر برخلاف [[حساب]] از تجریدهایی چون نمادهایی برای اعداد م ...۱۱ کیلوبایت (۸۲۳ واژه) - ۳ فوریهٔ ۲۰۲۵، ساعت ۱۵:۴۹
- [[رده:تجرید]] ...۱۴ کیلوبایت (۳۵۳ واژه) - ۳۱ اکتبر ۲۰۲۴، ساعت ۱۵:۰۹
- {{short description|دستگاه منطقی ریاضیاتی که حول تجرید توابع و کاربردهای توابع متمرکز شدهاست}} ...[[منطق ریاضی]] جهت بیان [[محاسبهپذیری|محاسبات]] براساس [[تجرید (ریاضیات)|تجرید]] تابع و به کار بردن آن با استفاده از [[انقیاد نام]] و جایگیزینی است. این د ...۶۵ کیلوبایت (۱٬۹۷۴ واژه) - ۲۷ سپتامبر ۲۰۲۴، ساعت ۰۹:۰۲
- ...مجموعهساز {{به انگلیسی|set-builder notation}} استفاده میشود. به این کار تجرید یا انتزاع کردن مجموعه گفته میشود. ...۳۰ کیلوبایت (۱٬۶۸۰ واژه) - ۳۱ مهٔ ۲۰۲۴، ساعت ۰۷:۱۵
- ...ه بکارگیری آن، در صورت امکان، فاقد کوچکترین ارزش عملی میباشد. سادهسازی و تجرید درهرنوع [[مدل سازی]] امری اجتناب ناپذیر میباشد. در این رابطه ''[[اصل قلت م ...۲۴ کیلوبایت (۴۵۵ واژه) - ۴ ژانویهٔ ۲۰۲۲، ساعت ۱۱:۳۲
- [[رده:تجرید]] ...۲۴ کیلوبایت (۱٬۳۱۹ واژه) - ۱۸ فوریهٔ ۲۰۲۵، ساعت ۱۳:۵۲
- ...شیء هندسی را توصیف مینمایند، اما با زبانهای متفاوت و در سطوح متفاوتی از تجرید. به عنوان مثال، تانسورها برای کاربردهای [[یادگیری ماشین]] نیز تعریف شده و م ...۳۲ کیلوبایت (۱٬۷۶۳ واژه) - ۱ اوت ۲۰۲۴، ساعت ۱۹:۰۲
- ...ت یافته (ساختارها) خواص مشابهی از خود بروز میدهند که امکان انجام یک مرحله تجرید دیگر بر روی آنها را داده و لذا در چنین شرایطی میتوان اصول موضعههایی برای ...۵۰ کیلوبایت (۱٬۶۰۴ واژه) - ۱۷ فوریهٔ ۲۰۲۵، ساعت ۲۰:۱۳