همايش ساليانه
منطق رياضي و كاربردهاي آن

27 و 28 آذر ماه 1392

گروه رياضي، دانشكده علوم رياضي

دانشگاه شهيد بهشتي

مطابق روال سالهاي اخير، گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانشهاي بنيادي در نظر دارد به منظور آشنايي اعضاي هيات علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش دوروزه اي در اين زمينه برگزار نمايد.

گروهی از پژوهشگران به سرپرستی تکنولوژیست اصلی و سابق ناسا امیدوار به پرتاب ماهواره‌ای به فضا هستند که در آن از آب به عنوان منبع سوخت استفاده شده باشد. اعضای این تیم از دانشگاه کورنل هستند و توسط میسون پک (Mason Peck) هدایت می‌شوند، آنها قصد دارند تا دستگاه خود را به عنوان نخستین کیوب‌ست (Cubesat) با اندازه‌ی یک جعبه کفش به مدار کره‌ی ماه ارسال کرده و در ادامه نیز بتوانند پتانسیل موجود در آب را برای استفاده به عنوان منبع سوخت در یک فضاپیما به نمایش بگذارند.
 

اشتراک مجموعه‌ها یکی از بنیادی‌ترین عملیات در نظریه مجموعه‌هاست و مجموعه‌ای را تشکیل می‌دهد که اعضای آن به‌طور هم‌زمان در همه مجموعه‌های موردنظر وجود دارند. اگر دو مجموعه A و B داشته باشیم، اشتراک آن‌ها با نماد \(A \cap B\) نشان داده می‌شود.

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

بینی بزرگ موجب محافظت در برابر بیماری‌های مختلف از جمله سرماخوردگی می‌شود. به اعتقاد اغلب افراد، بینی کوچک یکی از مهم ترین شاخصه‌های زیبایی چهره به شمار می‌رود.