شکوفه های سمی و مضر جلبکی یا HAB در امتداد سواحل جهان از جمله سواحل شمال و جنوب ایران به وجود می آیند. اغلب این شکوفه ها آب را به رنگ قرمز سیر درمی آورند.    
شکوفه های مضر جلبکی موقعی رخ می دهند که توده های جلبک -به طور ساده گیاهانی که در دریا زندگی می کنند- به نحوی خارج از کنترل رشد می کنند و شکوفه های مضر تولید می کنند. شکوفه های مضر جلبکی تأثیرات مضری بر انسان ها، ماهی ها، پستانداران دریایی، پرندگان و صدف ها به جا می گذارند. این جلبک ها باعث بروز بیماری در انسان ها هم می شوند که گرچه نادر است ولی می تواند ناتوانایی هایی به وجود آورد و یا حتی کشنده باشد.

شاید برای شما هم پیش آمده باشد که در مراجعه به دندان پزشک، از وجود چند دندان نهفته در فک خود مطلع شوید. در چنین شرایطی باید چه کرد؟ آیا هر دندان نهفته ای نیاز به جراحی و خارج شدن از دهان دارد و یا به درمان‌هایی مانند ارتودنسی پاسخ گو خواهد بود؟ دکتر احمد اسماعیلیان، دندان‌پزشک عمومی در این باره ما را راهنمایی می‌کنند.

دکتر احمد اسماعیلیان، دندان‌پزشک عمومی دندان نهفته را دندانی دانست که به علل مختلف مانند نبود جای کافی در فضای فک، تراکم بیش از حد دندان‌ها و یا مشکلات لثه ای در قوس دندانی قرار نمی‌گیرند. دندان‌های نهفته شامل سه نوع از دندان‌ها می‌شود. در اولویت اول دندان عقل، بعد از آن دندان‌های نیش و بعد آسیاب کوچک پتانسیل تبدیل شدن به دندان نهفته در فک را دارند.»

ریاضیات فقط مجموعه‌ای از فرمول‌ها و روش‌های محاسبه نیست؛ بلکه زبانی دقیق برای تعریف مفاهیم، بیان گزاره‌ها، استدلال درباره آن‌ها و اثبات نتایج است. هرچه از محاسبات مقدماتی به شاخه‌های پیشرفته‌تر ریاضیات حرکت کنیم، اهمیت این جنبه از ریاضیات بیشتر می‌شود.

پیش از مطالعه موضوعاتی مانند جبر، آنالیز، احتمال، هندسه یا نظریه اعداد، لازم است با برخی مفاهیم بنیادی آشنا باشیم: مجموعه‌ها، گزاره‌ها، منطق، کمیت‌نماها، روش‌های اثبات، دستگاه‌های عددی و زبان نمادین ریاضیات.

این مباحث در واقع به یکدیگر وابسته‌اند. مجموعه‌ها چارچوبی برای تعریف بسیاری از اشیای ریاضی فراهم می‌کنند؛ منطق، ساختار گزاره‌ها و قواعد استدلال را مشخص می‌کند؛ روش‌های اثبات نشان می‌دهند چگونه یک نتیجه را به‌طور معتبر از فرض‌ها به دست آوریم؛ دستگاه‌های عددی انواع مختلف اعداد و روابط میان آن‌ها را سازمان می‌دهند؛ و نمادگذاری ریاضی امکان بیان دقیق و فشرده همه این مفاهیم را فراهم می‌کند.

به همین دلیل، آشنایی با مبانی ریاضیات را باید بخشی از مسیر شکل‌گیری تفکر ریاضی دانست، نه صرفاً مجموعه‌ای از تعاریف مقدماتی. دوره دانشگاهی «Mathematics for Computer Science» در مؤسسه فناوری ماساچوست (MIT) نیز مجموعه‌ها، نمادگذاری منطقی، روابط، استقرا و روش‌های اثبات را در میان ابزارهای پایه ریاضیات قرار می‌دهد. منبع دانشگاهی MIT

در ادامه یک اثبات قرار داده می شود