فرمول های مربوط به انواع سیستم های عددی و مجموعه اعداد در این مطلب قرار دارد.

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

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

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

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

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

عطف و فصل از بنیادی‌ترین عملگرهای منطق گزاره‌ای هستند که برای ساخت گزاره‌های مرکب از گزاره‌های ساده به کار می‌روند. عطف با نماد \(p\land q\) نشان داده می‌شود و تنها زمانی درست است که هر دو گزاره \(p\) و \(q\) درست باشند. فصل با نماد \(p\lor q\) نشان داده می‌شود و در منطق گزاره‌ای کلاسیک زمانی درست است که دست‌کم یکی از دو گزاره درست باشد؛ بنابراین حالت درست بودن هم‌زمان هر دو گزاره نیز در آن قرار می‌گیرد.

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

در روز ۲۰ ماه مه سال ۲۰۱۵، ارتش ایالات متحده، هواپیمای فضایی رباتیک X-37B را برای قرار گرفتن در مدار زمین راه‌اندازی کرد. این هواپیما برای انجام چهارمین ماموریت فوق سری خود در مدار قرار گرفته بود.