📌
#پوستر_فارسی

رویداد روز جهانی منطق 2024

✳️ سخنرانان:

ماتیاس باز (دانشگاه صنعتی وین)
Andrews Skolemization May Shorten Resolution Proofs Non-Elementarily

لطف‌الله نبوی (دانشگاه تربیت مدرس)
      منطق علم سنجی؛ رهیافتی از گودل و تارسکی

اسدالله فلاحی (مؤسسه‌ی پژوهشی حکمت و فلسفه ایران)
      نسبت قضایای خارجیه و شخصیه: تاریخ یک اشتباه

سعید صالحی (دانشگاه تبریز)
     درباره‌ی احتمال توقف و اصل آزمون ‌و خطایِ شایتین


نحوه‌ی برگزاری: حضوری - مجازی

زمان: یک‌شنبه 24 دی‌ماه 1402 - 11 الی 12 (مجازی) و  14 الی 18 (حضوری-مجازی) (به وقت تهران)

مکان: خیابان نیاوران، میدان نیاوران، ضلع جنوبی میدان، پژوهشگاه دانش‌های بنیادی (IPM)، پژوهشکده‌ی ریاضیات، سالن شماره ۱

🔗 https://www.zoom.us/join
Meeting ID: 833 7335 5900
Passcode: 362880

🌐 https://worldlogicday.com/events/2024/ial

📧 mailroom@ialogic.ir



➡️•@MathShUni•⬅️

برنامه زمان‌بندی سخنرانی‌های رویداد بزرگداشت روز جهانی منطق (2024)
🔗 https://www.zoom.us/join
Meeting ID: 833 7335 5900
Passcode: 362880



➡️•@MathShUni•⬅️

روز جهانی منطق در ۱۴ ژانویه (۲۵ دی) یک، روز بین‌المللی است که یونسکو، با همکاری شورای بین‌المللی فلسفه و علوم انسانی (CIPSH)و با هدف تقویت همکاری‌های بین‌المللی، ترویج توسعه منطق در تحقیق و تدریس، حمایت از فعالیت‌های انجمن‌ها، دانشگاه‌ها و دیگر موسسات مرتبط با منطق و افزایش درک عمومی از منطق برپاکرده است. جشن روز جهانی منطق می‌تواند به ترویج فرهنگ صلح، گفتگو و درک متقابل بر اساس پیشرفت آموزش و علم کمک کند.

#روز_جهانی_منطق



➡️•@MathShUni•⬅️

🔻دترمینان چیست؟

•مفهوم غیرمحاسباتی دترمینان، به طور کلی به این موضوع اشاره دارد که دترمینان یک ماتریس، چه اطلاعاتی در مورد آن ماتریس به ما می دهد؟
به عنوان مثال، دترمینان یک ماتریس معکوس پذیر را تعیین می کند. دترمینان نیز در برخی از معادلات دیفرانسیل و انتگرال ها استفاده می شود.
در یک نگاه کلی، دترمینان یک ماتریس، اندازه و جهت فضایی را که ماتریس آن را توصیف می کند، اندازه گیری می کند. به عنوان مثال، دترمینان یک ماتریس 2x2، حجم یک مستطیل را اندازه گیری می کند. دترمینان یک ماتریس 3x3، حجم یک مکعب را اندازه گیری می کند.
در یک نگاه عمیق تر، دترمینان یک ماتریس، یک عدد چند جمله ای از درایه های ماتریس است که به طور کلی به عنوان یک تابع خطی از درایه ها در نظر گرفته می شود. این تابع خطی، اطلاعات خاصی در مورد ماتریس به ما می دهد، مانند معکوس پذیری، مقادیر ویژه، و حجم فضایی که ماتریس آن را توصیف می کند.
در اینجا چند مثال از مفهوم غیرمحاسباتی دترمینان آورده شده است:
معکوس پذیری: اگر دترمینان یک ماتریس 2x2 صفر باشد، آنگاه آن ماتریس معکوس پذیر نیست. به عبارت دیگر، اگر حجم یک مستطیل صفر باشد، آن مستطیل وجود ندارد.
مقادیر ویژه: مقادیر ویژه یک ماتریس، ریشه های معادله دترمینان آن ماتریس هستند. به عبارت دیگر، مقادیر ویژه یک ماتریس، اندازه و جهت فضایی را که ماتریس آن را توصیف می کند، تعیین می کنند.
حجم فضایی: دترمینان یک ماتریس 3x3، حجم یک مکعب را اندازه گیری می کند. به عبارت دیگر، حجم فضایی که یک ماتریس 3x3 آن را توصیف می کند، برابر با دترمینان آن ماتریس است.
دترمینان یک ابزار مهم در جبر خطی است که در بسیاری از زمینه های ریاضیات و علوم کاربرد دارد. درک مفهوم غیرمحاسباتی دترمینان، به درک عمیق تر این ابزار و کاربردهای آن کمک می کند.


➡️•@MathShUni•⬅️

🔻انیمیشن ریاضی
• Gif

➡️•@MathShUni•⬅️

🔻دترمینان ماتریس مربعی که درایه های قطر اصلی آن برابر A و درایه های قطر فرعی آن برابر با B باشد.


➡️•@MathShUni•⬅️

🔻نوار موبیوس در فضای چند-بعدی

• Mobius in n-dimensional space


➡️•@MathShUni•⬅️

🔻 خانه ریاضیات شیراز با هدف عمومی سازی و ترویج ریاضیات برگزار می‌کند

⭕ هوش مصنوعی در آموزش ریاضی،
تحولی در یادگیری ریاضی

🔻سخنران:
آقای دکتر فرشید عبدالهی      
  استاد ریاضی دانشگاه شیراز

🗓️ یکشنبه 1 بهمن 1402 
⏰ ساعت  18:30
🔗 لینک ورود به جلسه:
https://vroom.shirazu.ac.ir/social6
🔻 وبینار در فضای ادبی کانکت برگزار می‌شود.


➡️•@MathShUni•⬅️

#کمدی_ریاضی

➡️•@MathShUni•⬅️

🔻حلقه های نوتری و آرتینی

• Noetherian and Artinian Rings

• حلقه نوتری حلقه‌ای است که هر ایده‌آل آن یا ایده‌آل صفر است یا ایده‌آلی اول است. به عبارت دیگر، در یک حلقه نوتری، هر ایده‌آلی یا شامل صفر می‌شود یا می‌توان آن را به ایده‌آل‌های اول تفکیک کرد.

• حلقه آرتینی حلقه‌ای است که هر زنجیره نزولی از ایده‌آل‌ها در آن کوتاه است. به عبارت دیگر، در یک حلقه آرتینی، هر زنجیره نزولی از ایده‌آل‌ها نهایتاً به ایده‌آل صفر می‌رسد.

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

در اینجا چند مثال دیگر از حلقه‌های نوتری و آرتینی آورده شده است:

حلقه چندجمله‌ای‌ها روی یک میدان

حلقه ماتریس‌های مربعی با مقادیر در یک میدان

حلقه ایده‌آل‌های یک حلقه

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

➡️•@MathShUni•⬅️

🔻چهار فضای مهم در آنالیز

• فضای ضرب داخلی یک فضای برداری است که در آن یک عمل ضرب داخلی تعریف شده است. ضرب داخلی یک تابع دوتایی است که دو بردار را به یک عدد حقیقی مرتبط می‌کند. ضرب داخلی دارای ویژگی‌های زیر است:

تقارن: برای هر دو بردار x و y، داریم
x⋅y=y⋅x.

جابجایی: برای هر دو بردار x و y و هر اسکالر α، داریم
αx⋅y=x⋅αy.

عدم منفی بودن: برای هر بردار x، داریم
x⋅x≥0.

یکنواختی: برای هر دو بردار x و y، داریم
x⋅x=y⋅y ⇐⇒ x=y.

• فضای برداری نرمدار یک فضای برداری است که در آن یک عمل نرم تعریف شده است. نرم یک تابع یکتایی است که هر بردار را به یک عدد غیر منفی مرتبط می‌کند. نرم دارای ویژگی‌های زیر است:

غیر منفی بودن: برای هر بردار x، داریم
∣∣x∣∣≥0.

یکنواختی: برای هر دو بردار x و y و هر عدد حقیقی غیر صفر α، داریم
∣∣αx∣∣=∣α∣∣∣x∣∣.

نامساوی مثلثی: برای هر سه بردار x، y و z، داریم
∣∣x+y+z∣∣≤∣∣x∣∣+∣∣y∣∣+∣∣z∣∣.

• فضای متریک یک مجموعه است که در آن یک عمل فاصله تعریف شده است. فاصله یک تابع دوتایی است که دو نقطه از مجموعه را به یک عدد غیر منفی مرتبط می‌کند. فاصله دارای ویژگی‌های زیر است:

عدم منفی بودن: برای هر دو نقطه x و y، داریم
d(x,y)≥0

تقارن: برای هر دو نقطه x و y، داریم
d(x,y)=d(y,x)

جابجایی: برای هر دو نقطه x و y و هر عدد حقیقی غیر صفر α، داریم
d(αx,αy)=∣α∣d(x,y)

سه گوشه: برای هر سه نقطه x، y و z داریم
d(x,z)≤d(x,y)+d(y,z)

• فضای توپولوژیک یک مجموعه است که در آن یک ساختار توپولوژی تعریف شده است. ساختار توپولوژی مجموعه‌ای از زیرمجموعه‌های مجموعه است که دارای ویژگی‌های زیر است:

زیر مجموعه‌های خالی و مجموعه کل جزء از ساختار توپولوژی هستند.

اتحاد دو زیرمجموعه از ساختار توپولوژی جزء از ساختار توپولوژی است.

حاصل ضرب نقطه‌ای هر زیرمجموعه از ساختار توپولوژی جزء از ساختار توپولوژی است.

ارتباط بین این چهار فضای ریاضیاتی به شرح زیر است:

فضای ضرب داخلی یک فضای برداری نرمدار است.

هر فضای برداری نرمدار یک فضای متریک است.

هر فضای متریک یک فضای توپولوژیک است.

دلیل این ارتباط‌ها به شرح زیر است:

ضرب داخلی یک نرم است که از ویژگی‌های نامساوی مثلثی و عدم منفی بودن برخوردار است.

هر نرم یک متریک است که از ویژگی‌های نامساوی مثلثی و عدم منفی بودن برخوردار است.

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

مثال‌هایی از این چهار فضای ریاضیاتی به شرح زیر است:

فضای اقلیدسی یک فضای ضرب داخلی است.

فضای تابع‌های پیوسته روی یک بازه یک فضای برداری نرمدار است.

فضای اعداد حقیقی با فاصله معمولی یک فضای متریک است.

فضای مجموعه‌های متناهی با همسایگی‌های باز بسته یک فضای توپولوژیک است.


➡️•@MathShUni•⬅️

https://www.instagram.com/math_sh_uni?igsh=NTc4MTIwNjQ2YQ==


پیج اینستاگرام انجمن علمی ریاضی


➡️•@MathShUni•⬅️

لیست دروس ارائه شده را در گزارش ۲۱۲ پیگیری کنید

دوستان تداخل درس ساختمان داده و آشنایی با نظریه تصمیم در روز یکشنبه رفع شد،برای دانشجویانی که متقاضی این دو درس هستند

🌐 لینک ورود به وبینار؛
http://webconf.pnu.ac.ir/basic_sciences
برای ورود adobe connect را نصب داشته باشید و به عنوان مهمان وارد شوید و موقع ورود open with application را بزنید.

➡️•@MathShUni•⬅️

📣 بخش دانشجویی خانه ریاضیات اصفهان با همکاری گروه مطالعات منطق خانه حکمت برگزار می‌کند:

🔵 #دوره مباحثی در فلسفه ریاضی

🗓 زمان: روزهای چهارشنبه - شروع از ۱۸ بهمن‌ماه ماه ۱۴۰۲

🕔 ساعت ۱۶

👤 مدرس دوره: دکتر پیام سراجی

🔹 سرفصل های دوره:
فلسفه ریاضی در آثار افلاطون
بی نهایت در ریاضیات
مکاتب مختلف فلسفی در اواخر قرن 19 و اوایل قرن 20
قضایای ناتمانیت گودل و جنبه های فلسفی آنها
ریاضیات و فلسفه هنر

📍 دوره به صورت حضوری در خانه حکمت برگزار می‌شود.

▪️شماره تماس جهت شرکت در دوره: 09367942387


➡️•@MathShUni•⬅️

🔴اولین کنفرانس بین المللی هوش مصنوعی و علوم داده


🔹🔹🔹🔹🔹 🔹🔹
شما می توانید از راه‌های زیر در شبکه های اجتماعی و صفحات مجازی با ما همراه باشید.
🌐pgu.ac.ir
📱@pgu_pr



➡️•@MathShUni•⬅️

🌐همکاران گرامی و دانشجویان محترم تحصیلات تکمیلی ⤵️

با سلام و احترام
بدین وسیله به استحضار می‌رساند، که

 📣 ""یازدهمین سمینار آنالیز هارمونیک و کاربردها""

🗓روزهای چهارشنبه و پنجشنبه 12 و 13 اردیبهشت ماه سال 1403 در دانشگاه کردستان برگزار خواهد شد.


طبق روال قبلی، سمینارهای سالیانه آنالیز هارمونیک و کاربردها در بهمن ماه هر سال و در ایام تعطیلات بین دو ترم برگزار میشد، اما با توجه به کوهستانی بودن استان کردستان و سرمای هوا در بهمن ماه قطعا مشکلاتی برای شرکت کننده های این سمینار به وجود می آمد. بنابراین تصمیم بر آن شد که با سه ماه تاخیر در اردیبهشت ماه سال 1403 ( که در این ماه هوای سنندج و اطراف بسیار عالی و مناظر اطراف دیدنیست،) برگزار گردد.
بنابراین از همه شما علاقمندان به شرکت در این سمینار دعوت می شود که در این رویداد علمی شرکت نمایید و از زیبایی های استان کردستان در فصل بهار لذت ببرند. برای کسب اطلاعات بیشتر به آدرس سایت سمینار مراجعه نمایید.
https://shaa11.conf.uok.ac.ir/fa/

منتظر حضور سبزتان در شهر سنندج هستیم.

اقبال قادری
دبیر اجرایی سمینار



➡️•@MathShUni•⬅️

💢 تقویم آزمون‌های سراسری سال ۱۴۰۳

▫️نوبت اول کنکور سراسری ۱۴۰۳
   ┤ ثبت‌نام / ۲۱ آبان تا ۲۷ آبان ۱۴۰۲
   ┘ زمان برگزاری / ۶ و ۷ اردبیبهشت ماه ۱۴۰۳

▫️نوبت دوم کنکور سراسری ۱۴۰۳
   ┤ ثبت‌نام / ۷ فروردین تا ۱۲ فروردین ۱۴۰۳
   ┘ زمان برگزاری / ۷ و ۸ تیر ماه ۱۴۰۳

▫️کنکور کارشناسی ارشد ۱۴۰۳
   ┤ ثبت‌نام / ۲۳ مهر تا ۲۹ مهر ماه ۱۴۰۲
   ┘ زمان برگزاری / ۴ اسفند ماه ۱۴۰۲

▫️کنکور دکتری ۱۴۰۳
   ┤ ثبت‌نام / ۳۰ مهر تا ۶ آبان ۱۴۰۲
   ┘ زمان برگزاری / ۴ اسفند ماه ۱۴۰۲

#یادآوری
#اطلاعیه
#کارشناسی
#کارشناسی_ارشد
#دکتری

➡️•@MathShUni•⬅️