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

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

در این مقاله، ساختار کلی منطق ریاضی و ارتباط میان مفاهیم اصلی آن را بررسی می‌کنیم و سپس هر یک از موضوعات مهم را به‌صورت مقدماتی معرفی می‌کنیم.

هزاران نوع مختلف از پلاستیک ها وجود دارد، از کیسه های خرید گرفته تا اسباب بازی ها، سی دی ها و لوله هایی که در کار لوله کشی مورد استفاده قرار می گیرند. برخی از پلاستیک ها، مانند آدامس یا لاستیک از قسمت هایی از گیاهان درست می شوند، اما بیشتر انواع مختلف پلاستیک ها را خود انسان ها می سازند. ما آنها را «پلاستیک» می نامیم چراکه پلاستیک به این معنی که آسان خم می شود و یا به اشکال مختلف قالب گیری می شود.
همه پلاستیک ها از گروه های مولکول های هیدروکربن اند. هر یک از این مولکول ها بسیار بزرگ اند و ده ها هزار اتم کربن و اتم هیدروژن در داخل آنها هستند. بیشتر مولکول های پلاستیک فقط از اتم های هیدروژن و کربن هستند یا بیشتر از اتم های هیدروژن و کربن با مقداری اکسیژن، گوگرد، نیتروژن و یا اتم های کلر تشکیل شده اند. پلاستیک ها از مزیت اتم های کربن بهره می برند. مزیت اتم های کربن پیوند خوردن الکترون هایشان با هم در زنجیره های انعطاف پذیر طولانی است تا مولکول های انعطاف پذیر طولانی ایجاد کنند.

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