ای نسیم سحر آرامگه یار کجاست
منزل آن مه عاشق کش عیار کجاست

شب تار است و ره وادی ایمن در پیش
آتش طور کـجا موعــد دیــدار کــجاست

🍉🍉یلداتون گرم و پر از خنده🍉🍉

#اطلاعیه
#انتخابی_مسابقات_ریاضی

🔔🔔به اطلاع میرساند که آزمون انتخابی تیم دانشگاه برای شرکت در مسابقات ریاضی تیرماه 97، در روز چهارشنبه نهم اسفند ماه برگزار خواهد شد.

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

🔔🔔لازم به ذکر است که پنج نفر نخست آزمون انتخابی در صورت داشتن شرایط کافی،به عنوان تیم دانشگاه شاهد، در مسابقات کشوری ریاضی،که از 19 تا 22 تیر ماه برگزار خواهد شد،به رقابت با سایر تیم ها خواهند پرداخت.

@Shahed_Math

#اطلاعیه
#نفرات_برتر_آزمون_انتخابی

⚡️⚡️اسامی پنج نفر نخست آزمون انتخابی مسابقات 97 :

1.آقای محمد مهدی بیده(علوم کامپیوتر 95)
2.خانم زهرا رسولی (ریاضی 94)
3.خانم محدثه خندانی(علوم کامپیوتر 95)
4.آقای امیرعباس صورآبادی(ریاضی 92)
5.آقای سید عرفان حسینی(ریاضی 96)

✨این افراد، در صورت تمایل، اعضای تیم دانشگاه شاهد در مسابقات ریاضی سال 97 هستند...با آرزوی موفقیت...

💠 Android

🔸برای ثبت نام و کسب اطلاعات بیشتر به آیدی زیر مراجعه فرمایید:

🆔 @Shahed_CE_Class

🔍 #انجمن_علمی_مهندسی_کامپیوتر
🔍 #انجمن_اسلامی

📎 @Shahed_CE
📎 @anjoman_eslami_shahed

✅معرفی کانال تلگرامی انجمن‌های ‌علمی دانشگاه شاهد

♦️انجمن علمی مورد علاقه خود را از میان انجمن‌های علمی دانشگاه شاهد دنبال نمایید.

🤖انجمن‌ علمی رباتیک
🆔 @Omid_Robotics

🏢انجمن‌ علمی‌ مدیریت
🆔 @Management_S_A

💠انجمن‌ علمی علوم پایه
🆔 @AEOP_Shahed

💡انجمن‌ علمی روانشناسی
🆔 @SHUTpsychology

⚖انجمن‌ علمی حقوق
🆔 @LawShahed

🎭انجمن‌ علمی هنر
🆔 @ShahedArt

🔬انجمن‌ علمی زیست شناسی
🆔 @ShahedBiology

🌒انجمن‌ علمی فیزیک
🆔 @anjoman_physics_shahed

💻انجمن‌ علمی مهندسی کامپیوتر
🆔 @Shahed_CE

⚠️انجمن علمی مهندسی برق
🆔 @Shahed_Electrical

⚛انجمن‌ علمی نانو
🆔 @Nano_Shu

🔢انجمن‌ علمی‌ ریاضی
🆔 @Shahed_Math

🕋انجمن‌ علمی‌ علوم قرآن و حدیث
🆔 @shahedianjoman

📚انجمن‌ علمی علم‌ اطلاعات‌ و دانش‌شناسی
🆔 @Shahed_In_Sci

🔍 #معرفی_کانال

📎 @anjoman_eslami_shahed

#در_جستجوی_یک_راه_حل
#حل_مساله

تا به حال درباره مساله ها و اهمیت خلاقیت در فرایند حل آن ها صحبت کردیم...حال میخواهیم به جنبه مهم دیگری که در حل مساله اهمیت دارد بپردازیم...از مهم ترین گام ها در روند حل مساله این است که ارتباط ذهنی و قلبی خوبی با مساله برقرار شود...مساله ای که برای مان گنگ و نامفهوم باشد و یا ارتباط قلبی خوبی با آن نداشته باشیم احتمال حل شدنش خیلی کم است...خب!!پس یک گام مهم ما این است که گنگی و ابهام مساله را کاهش دهیم...
اما چگونه میتوان این کار را کرد؟
شاید عجیب به نظر برسد اما بهترین ابزار برای کاهش ابهام از هر چیز(چه مساله باشد چه هر پدیده دیگری!!) پرسش از آن چیز است...اگر جنبه ای از مساله گنگ است از خود مساله علت گنگ بودن را بپرسید و دوباره به فرضیات نگاه کنید...قطعا جرقه ها و ایده های عمیقی حاصل خواهد شد...طی انجام این کار آن چنان غرق در "گفت گویی درونی باخود" و درگیری ذهنی خواهید شد که گاه حس میکنید در جهانی که آن مساله برایتان رقم زده غرق شده اید...مهم ترین قسمت داستان لحظه ای است که ایده اصلی مساله طی آن "گفتگوی درونی" کشف میشود...


برای واضح تر بودن حرف های گفته شده بهتر است طی یک مثال نمونه ای از یک "گفتگوی درونی" که منجر به کشف ایده اصلی مساله خواهد شد را نشان دهیم👇👇👇

@Shahed_Math

این مساله،سوال 12 مسابقات ریاضی دانشجویی سال 87 است...
@Shahed_Math

"گفتگوی درونی" که منجر به کشف ایده مساله بالا خواهد شد...
@Shahed_Math

#کتاب
#حل_مساله
استراتژی های حل مساله
@Shahed_Math

مرجعی بسیار عالی که در مورد تکنیک های عمومی حل مساله در ریاضیات بحث کرده است..
@Shahed_Math

🔶 هفت سینِ خاص امسال

سور عمومی ، سور وجودی ، سوپریمم ، سیگما ، سینوس ، سکانت و سهمي

@qomat

#کتاب
بازی های منصفانه
@Shahed_Math

کتابی بسیار جالب و سرگرم کننده در زمینه "بازی های ترکیبیاتی"
@Shahed_Math

همان طور که قبلا گفته شد،در حل مساله ها "گفتگوی درونی" تاثیر بسیاری در حل مساله دارد...نمونه ای دیگر از این گفتگوهای درونی را می آوریم...مساله ای که حل میشود سوال ششم از روز اول مسابقات ریاضی 94 است...
@Shahed_Math

قضیه اول ناتمامیت گودل

قضیهٔ اول ناتمامیت گودل، شاید مشهورترین نتیجه در منطق ریاضیات باشد، که بیان می‌کند:
فرض کنید K یک نظریه در حساب باشد که قضایای اصلی حساب در آن اثبات شوند. در این صورت اگر K سازگار باشد، جمله‌ای مانند G وجود خواهد داشت به قسمی که:الف) اگر K نظریه‌ای سازگار باشد G در K اثبات پذیر نیست.ب) اگر K نظریه‌ای ω ـ سازگار باشد نقیض G در K اثبات پذیر نیست.بنابراین اگرK نظریه‌ای ω ـ سازگار باشد G یک جمله تصمیم ناپذیر از K است.
در این‌جا، «نظریه» به معنای تعدادی قواعد استنتاج، تعدادی علائم و مجموعه‌ای نامتناهی از گزاره‌ها است، که تعدادی متناهی از این گزاره‌ها بدون اثبات پذیرفته می‌شوند (که اصول موضوع خوانده می‌شوند)، و برخی دیگر از گزاره‌ها از اصول موضوع به دست می‌آیند؛ به این گزاره‌ها که با کمک قواعد استنتاج از اصول موضوع به دست می‌آیند قضیه می‌گوییم. «اثبات پذیر بودن در نظریه» یعنی «اشتقاق‌پذیر بودن از اصول موضوع نظریه به کمک قواعد استنتاج نظریه». یک نظریه «سازگار» است، در صورتی که هیچ‌گاه یک تناقض را اثبات نکند. بنا بر قضیه ناتمامیت اول گودل، هیچ نظریه اصل موضوعی که حداقل قضایای اساسی حساب را بتواند اثبات کند وجود ندارد که همه قضایا را اثبات یا رد کند. به عبارتی در هر نظام اصل موضوعی ریاضی جملاتی تصمیم ناپذیر وجود دارند. طبق منطق کلاسیک و منطق ارسطویی هر گزاره‌ای یا صادق است یا کاذب. قضیه ناتمامیت اول می‌گوید که نظام‌های اصل موضوعی که قابلیت نشان دادن توابع بازگشتی را داشته باشند نمی‌توانند چنین تصمیمی دربارهٔ گزاره‌های حساب بگیرند. یعنی جملاتی در این نظام‌ها وجود دارند که نه اثبات‌پذیرند و نه انکارپذیر. می‌توان نشان داد که اگر G را به K بیفزاییم و مجموعهٔ جدیدی تولید کنیم، باز هم می‌توانیم یک گزارهٔ جدید گودل برای مجموعهٔ فعلی ارائه کنیم که در نظریه جدید نه اثبات پذیر باشد و نه انکارپذیری و جامع بودن آن را نقض کنیم.
@Shahed_Math

🌑🌑🌑یکی از کتاب هایی که چهارچوب کلی این اثبات را به خوبی توضیح داده کتاب زیر است (ناتمامیت : اثر ربکا گلدستین : به ترجمه رضا امیر رحیمی) 👇👇👇: