گل لاله یکی از زیبا ترین و محبوب ترین گل های جهان است.75 گونه گل لاله وحشی وجود دارد و بیش از 3000 گونه گل لاله هم از طریق پرورش انتخابی تولید شده اند. گل لاله از ایران و آسیای مرکزی (و به قولی در اصل از ایران) سرچشمه گرفته است، در دوره سلجوقیان به ترکیه رفته و در قرن 16 از آن جا به اروپا برده شده است. از همین قرن گل لاله در مقیاس گسترده ای کشت شده است. امروزه، گل لاله را می توان در سراسر جهان یافت.
این گیاه زیبا در آب و هوای معتدل زندگی می کند، آب و هوایی که بهارهای آن خنک است و مدت زمان طولانی می پاید. برای رشد بذر گل لاله، شرایط آب و هوایی خاص (مخصوصاً دمای پایین در طول بهار) مورد نیاز است. شماری از گونه های لاله های وحشی به دلیل جمع آوری بیش از حد و تخریب زیستگاه ها در نتیجه افزایش فعالیت های انسانی از بین رفته اند.
محسن بهرامی اعلام کرد: «باید تولید برخی فناوریها در داخل انجام شود و دیگر فناوریها را میتوان در تعامل با کشورهای دیگر جذب و خریداری کرد؛ اما برای بهره گیری از آنها نیز باید آماده باشیم و این همان وجه مقاومتی بودن سازمان است.»
یک تیم بینالمللی از ستاره شناسان، به تازگی اطلاعاتی از اکتشافات اخیر خود دربارهی یافتن سیارههای جدید در منظومهی شمسی منتشر کردهاند. این گروه از ستاره شناسان، اعلام کردهاند که به تازگی یک سیاره ی کوتوله را در مداری بعد از مدار نپتون کشف کردهاند که به دور خورشید میچرخد. این سیارهی جدید در حال حاضر 2015RR245 نام دارد. قطر این سیارهی کوتوله، ۷۰۰ کیلومتر است و مدار گردش آن در فاصلهای حدود ۱۲۰ برابر فاصلهی زمین تا خورشید، این سیاره را به دور خورشید میگرداند.
همه خانواده ها بر این باورند که ازدواج را نباید سرسری گرفت بلکه باید با مطالعه و براساس معیار های حقیقی؛ همسر را انتخاب کرد. از همین روست که مشاوره قبل از ازدواج با یک متخصص یا یک مشاور خبره که در امور خانواده از اطلاعات امروزی برخوردار است امر مهمی به نظر می رسد.
نقیض گزارههای دارای کمیتنما یکی از مفاهیم بنیادی در منطق ریاضی و استدلال ریاضی است. برای بهدستآوردن نقیض یک گزاره کمی، نمیتوان فقط واژه «نیست» یا «نمی» را به عبارت اضافه کرد؛ بلکه باید ساختار منطقی گزاره را در نظر گرفت. مهمترین قانون این است که نقیض کمیتنمای کلی به کمیتنمای وجودی تبدیل میشود و برعکس.
اگر \(P(x)\) یک گزاره درباره اعضای مجموعه مرجع \(U\) باشد، دو قانون بنیادی عبارتاند از:
$$
\neg(\forall x\in U,\;P(x))
\equiv
\exists x\in U,\;\neg P(x)
$$
و
$$
\neg(\exists x\in U,\;P(x))
\equiv
\forall x\in U,\;\neg P(x).
$$
بنابراین، نقیض «برای هر \(x\)، گزاره \(P(x)\) درست است» این است که «حداقل یک \(x\) وجود دارد که \(P(x)\) درباره آن درست نیست». همچنین نقیض «حداقل یک \(x\) وجود دارد که \(P(x)\) درباره آن درست است» این است که «برای هیچ \(x\)، \(P(x)\) درست نیست». در این مقاله این قوانین، روش تبدیل گزارههای فارسی به نمادهای منطقی، نقیض گزارههای دارای چند کمیتنما، نقیض شرطیهای کمی و مثالهای حلشده بررسی میشوند.
معادلهی گویا معادلهای است که مجهول در مخرج یک یا چند کسر ظاهر میشود، به همین دلیل دامنهی آن محدود است و باید همیشه بررسی شود. در این مقاله روش استاندارد حل (ضرب در مضرب مشترک کوچکترین مخرجها) و اهمیت تشخیص جوابهای اضافی با چهار مثال حلشده توضیح داده شده است.
گفته میشود در اوایل قرن بیستم، انشتین صاحب دو فرزند شد- دو نظریهی بزرگ فیزیك. میگویند او یكی را فرزندانش را دوست داشت (نسبیت) و از دیگری متنفر بود (فیزیك كوانتوم).