شاید بدانید که در گذشته یکی از اجزای نوشیدنیکوکاکولا(کک) شامل کوکائین بوده است. اما ممکن است ندانید که هنوز هم این نوشیدنی با عصاره ای از برگ کوکا طعم دار می شود و کوکائینی که از این برگ ها استخراج می شود برای مصارف پزشکی به فروش می رسد. شرکت استپان (Stepan Company) کوکائین را از برگ های کوکا استخراج می کند و این ماده به شرکت مالینکروت (Mallinckrodt) فروخته می شود که تنها شرکت آمریکایی است که مجوز تصفیه کوکائین را دارد. پس دیگر اجزای کوکاکولا چه هستند و هر یک چه کارکردی دارند؟
آتشفشان ها یکی از پدیده های طبیعی شگفت انگیز هستند که همواره توجه انسان ها را به خود جلب کرده اند. یکی از جلوه های جذاب آتشفشان ها، دودی است که از دهانه آن ها خارج می شود. اگر شما هم دوست دارید یک آتشفشان دودزا بسازید و جلوه های واقع گرایانه به پروژه علمی یا نمایش خود اضافه کنید، این راهنما به شما کمک می کند تا با استفاده از مواد ساده و ایمن، یک آتشفشان دودزا ایجاد کنید. در این محتوا، مراحل ساخت آتشفشان دودزا، مواد مورد نیاز و نکات ایمنی مهم را به شما آموزش خواهیم داد.
تابعها توی C کمک میکنن کدها رو مرتب و قابلاستفاده مجدد بنویسیم؛ میتونیم از توابع آماده یا توابعی که توسط خودمون تعریفشده استفاده کنیم. ✅
در ادامه توابع فرمول های هیپربولیک را قرار می دهیم.
برهان عکس نقیض یکی از روشهای مهم برای اثبات گزارههای شرطی در ریاضیات است. اگر گزارهای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی همارز هستند. بنابراین میتوان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.
در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض میکنیم \(Q\) نادرست است و نشان میدهیم که در نتیجه \(P\) نیز نمیتواند درست باشد. این روش بهویژه زمانی مفید است که کار با \( \lnot Q \) سادهتر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حلشده بررسی میشود.
دستگاه نامعادلات مجموعهای از چند نامعادله است که باید همزمان برقرار باشند. در حالت یکمتغیره، جواب دستگاه اشتراک جوابهای تکتک نامعادلههاست و روی محور اعداد پیدا میشود؛ در حالت دومتغیره، هر نامعادلهی خطی یک نیمصفحه است و جواب، ناحیهی مشترک این نیمصفحهها. این مقاله هر دو حالت را با مثالهای حلشده و یک مسئلهی بهینهسازی ساده توضیح میدهد.