💢تعریف Definition💢
یک شرح دقیق و غیر مبهم از یک لفظ (اصطلاح) ریاضی. تعریف، معنای یک کلمه را با ارائه دادن تمام ویژگی هایی (فقط همان ویژگیها) که باید درست باشد مشخص می کند.
🍁🍁🍁🍁🍁
💢قضیه Theorem 💢
یک عبارت ریاضی است که با استفاده از استدلال ریاضی اثبات می شود. در یک مقاله ریاضی، لفظ قضیه برای نتایج خیلی مهم استفاده می شود.
🍁🍁🍁🍁🍁
💢لم Lemma💢
یک نتیجه کوچک است که تنها هدف آن کمک به اثبات یک قضیه است. لم به عنوان وسیله ای در راه اثبات یک قضیه استفاده می شود. گاهی اوقات بعضی از لم ها خود به تنهایی خیلی مهم هستند مثل لم زرن، لم اوریسون، لم برنساید و...
🍁🍁🍁🍁
💢گزاره Proposition💢
یک نتیجهی اثبات شده و اغلب جالب که عموماً اهمیت کمتری نسبت به قضیه دارد.
🍁🍁🍁🍁
💢نتیجه(فرع) Corollary💢
یک پی آمد که اثبات(معمولاً کوتاه) آن اساساً به یک قضیهی داده شده متکی است. (معمولاً میگوییم این یک نتیجه از قضیهی A است)
🍁🍁🍁🍁🍁
💢حدس Conjecture💢
گزاره ای که (فعلاً) اثبات نشده اما اعتقاد بر آن است که درست باشد. مثل حدس کولاتز، حدس گلدباخ و ....
🍁🍁🍁🍁🍁
💢ادعا Claim💢
یک خبر است که بعداً اثبات می شود. اغلب مثل یک لم غیررسمی مورد استفاده قرار می گیرد.
🍁🍁🍁🍁
💢اصل Axiom/Postulate💢
یک حکم که بدون اثبات پذیرفته می شود. اصول پایه های اساسی هستند که از آنها همه قضایا اثبات می شوند. مثل اصل5 اقلیدس
🍁🍁🍁🍁🍁
💢اتحاد Identity💢
یک عبارت ریاضی که تساوی دو کمیت یا مقدار (اغلب متغیر) را نشان می دهد. مثل اتحاد اویلر و ...
🍁🍁🍁🍁
💢تناقض یا پارادوکس Paradox💢
یک عبارت که با استفاده از مجموعه ای از اصول و تعاریف می توان هم درستی و هم اشتباه بودن آن را نشان داد. تناقض ها اغلب برای نشان دادن ناسازگاری در نظریه های نقض شده استفاده می شود(پارادوکس راسل). لفظ پارادوکس اغلب به طور غیر رسمی برای تشریح یک نتیجه متحیرکننده یا دور از عقل استفاده می شود که از یک مجموعه از قواعد حاصل شده است. مثل پارادوکس باناخ تارسکی و...
- ۰ نظر
- ۱۷ تیر ۹۵ ، ۱۱:۲۰
- ۱۳۴۶ نمایش

_flying_in_formation.jpg)
نرم افزار اینترنت دانلود منیجر را اجرا کرده و گزینه scheduler را انتخاب کنید.
در صفحه باز شده در سربرگ scheduler را انتخاب کنید.one-time downloadingگزینه
گزینه start download at را انتخاب کرده و در کادر زمان بندی، ساعت شروع دانلود را مشخص کنید.
درقسمت Daily تمام روز های هفته یا همان روزی که دوست دارید دانلود انجام شود را انتخاب کنید.
گزینه stop download at را انتخاب کرده و در قسمت زمان بندی ساعت پایان دانلود را وارد کنید.
گزینه Number of retries for each file if downloading failed را فعال کرده و در کادر روبه رو عدد (1000) را قرار دهید.
در این مرحله تمام گزینه های قسمت آخر را انتخاب کرده و کلید apply را بزنید.
وارد سربرگ files in the queue شده و در کادر Download تعداد دانلود فایل های همزمان را مشخص کنید و کلید apply را بزنید.
برای اضافه کردن فایل به لیست دانلود شبانه بعد از مشخص کردن محل ذخیره فایل گزینه Download Later را بزنید.
از لیست باز شده گزینه Main download queue را انتخاب کرده و برای نشان ندادن این پنجره Don’t ask me again را زده و کلید ok را بزنید.




