انجمن منطق ایران
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 30 بهمن 1402، ساعت 16 الی 18
عنوان:
Reason, Belief and Inference
سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.
آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، تالارهای مرکزی دانشگاه، تالار بهمن
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
تاریخ: دوشنبه 30 بهمن 1402، ساعت 16 الی 18
عنوان:
Reason, Belief and Inference
سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.
آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، تالارهای مرکزی دانشگاه، تالار بهمن
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
#یادآوری سخنرانی امروز
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 30 بهمن 1402، ساعت 16 الی 18
عنوان:
Reason, Belief and Inference
سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.
آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، تالارهای مرکزی دانشگاه، تالار بهمن
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 30 بهمن 1402، ساعت 16 الی 18
عنوان:
Reason, Belief and Inference
سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM))
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.
آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، تالارهای مرکزی دانشگاه، تالار بهمن
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
www.skyroom.online
Conferencing App
WebRTC Powered Conferencing App
انجمن منطق ایران
#یادآوری سخنرانی امروز سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: دوشنبه 30 بهمن 1402، ساعت 16 الی 18 عنوان: Reason, Belief and Inference سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM)) سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ…
برگزار شد.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
www.skyroom.online
Conferencing App
WebRTC Powered Conferencing App
انجمن منطق ایران از سری دوره‌های آموزش بنیادی منطق با همکاری حلقه منطق برگزار می‌کند:
کارگاه خوانش کتاب
مقدمه‌ای بر منطق اثر ایروینگ کپی
https://mohit.online/event/f76bcv
این دوره فقط به صورت حضوری برگزار می‌شود. فایل صوتی هر جلسه پس از برگزاری در صفحه رویداد در سامانه محیط اسکای روم در دسترس خواهد بود.
کارگاه خوانش کتاب
مقدمه‌ای بر منطق اثر ایروینگ کپی
https://mohit.online/event/f76bcv
این دوره فقط به صورت حضوری برگزار می‌شود. فایل صوتی هر جلسه پس از برگزاری در صفحه رویداد در سامانه محیط اسکای روم در دسترس خواهد بود.
mohit.online
رویداد حضوری کارگاه مقدمه‌ای بر منطق ایروینگ کپی | محیط-Mohit
برای ثبت نام و شرکت در رویداد حضوری کارگاه مقدمه‌ای بر منطق ایروینگ کپی انجمن منطق ايران کلیک کنید. | محیط پلتفرم برگزاری رویداد و دوره‌های آمورشی
انجمن منطق ایران
سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: دوشنبه 30 بهمن 1402، ساعت 16 الی 18 عنوان: Reason, Belief and Inference سخنران: حمید وحید (پژوهشگاه دانش‌های بنیادی (IPM)) سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر…
گزارش تصویری سخنرانی دکتر حمید وحید - 30 بهمن 1402 - دانشگاه صنعتی امیرکبیر
👍6
انجمن منطق ایران
📌 لیست سخنرانی‌های ماهیانه انجمن منطق ایران در سال 1402 ——————————————————— ساعت و محل برگزاری در آگهی اختصاصی هر سخنرانی اعلام خواهد شد.
🛑 📎 سخنرانی سرکار خانم «دکتر فاطمه شیرمحمدزاده ملکی» تحت عنوان «منطق‌های زیرشهودی و همتاهای وجهی آن‌ها» که مطابق جدول اعلامی بنا بود دوشنبه 21 اسفندماه ماه 1402 برگزار شود، به درخواست ایشان لغو گردید.
برای عضویت ساليانه در انجمن منطق ایران از طريق اين فرم اقدام نماييد.
به اطلاع کلیه اعضای جامعه منطق ایران می‌رسانیم که طبق آیین‌نامه انتخابات انجمن منطق ایران (مصوب هیات مدیره دوره چهارم و اصلاح‌شده در هيات مديره دوره پنجم) عضویت دو سال متوالی منتهی به زمان انتخابات، شرط شرکت در انتخابات هیات مدیره انجمن است. همچنين افرادی می‌توانند نامزد عضویت در هیات‌مدیره شوند که عضو پیوسته انجمن باشند. لذا از کلیه منطق‌دوستان تقاضا می‌شود با تکمیل فرم عضویت، شرایط را برای حضور موثر خود در جامعه منطق ایران مهیا نمایند.
از مهم‌ترين وظایف اعضای پیوسته انجمن موارد زير قابل ذکر است:
- نظارت بر عملکرد هیات مدیره؛
- تایید صورت‌جلسات هیات مدیره؛
- تصویب برنامه اجرایی سالانه پیشنهادی هیات مدیره؛
- تصویب برنامه راهبردی ۵ساله انجمن؛ و
- تصویب بودجه و تراز مالی سالیانه انجمن
همه این وظایف فقط با حضور در مجمع عمومی انجمن منطق ایران قابل انجام است. با توجه به مشکلات اجرایی تشکیل مجمع به شکل حضوری، در کنار مجمع سالانه، مجمع عمومی دایمی به صورت مجازی فعال شده و اعضای این گروه مجازی فقط اعضای پیوسته و افتخاری انجمن در سال مورد نظر خواهند بود. از دیگر مزایای عضویت پیوسته در انجمن منطق ايران موارد زير قابل ذکر است:
- بهره‌مندی از اولویت و امتیازات ویژه برای شرکت در برنامه‌های آموزشی و پژوهشی؛
- امکان دسترسی به آرشيو رخدادهای انجمن؛
- امکان گذراندن بخش يا تمام دوره خدمت سربازی با ارايه طرح پژوهشی (در حال کسب مجوز)؛
- امکان اخذ گواهی طی دوره ارتباط با جامعه و صنعت برای اعضای هيات علمی؛
- همچنین، به زودی و با تصویب آیین‌نامه نظام صنفی جامعه منطق ایران، تمام فعالیت‌های مرتبط با منطق در کشور مستلزم عضویت پیوسته و دایم در انجمن منطق ایران خواهد بود.
بنا بر تصميم هيات مديره، منطق‌دوستان عزیز می‌توانند تا قبل از تصویب حق عضویت سال ۱۴۰۳، با واریز دو برابر حق عضویت سال ۱۴۰۲، همزمان برای عضویت پیوسته سال ۱۴۰۳ نیز اقدام نمایند. عزیزانی که اقدام به عضویت دوسالانه می‌کنند، حتما در فیش واریزی خود این موضوع را ذکر کنند (لطفا درج شود حق عضویت مربوط به سال‌های ۱۴۰۲ و ۱۴۰۳).
ضمناً، شرایط برای عضويت حقوقی انجمن‌های دانشجويی در انجمن منطق ايران فراهم شده است و با اين عضويت، اعضای مرتبط اين انجمن‌ها می توانند از تخفيف ۵۰درصدی برای عضويت ساليانه در انجمن منطق ايران بهره‌مند شوند.
حق عضویت پيوسته سال ۱۴۰۲ برای اعضای هیأت‌علمی: ۲۵۰.۰۰۰تومان
حق عضویت پيوسته سال ۱۴۰۲ برای غير اعضای هيات علمی: ۱۵۰.۰۰۰تومان
حق عضویت وابسته سال ۱۴۰۲: حداقل ۵۰۰.۰۰۰تومان
هزینه صدور و ارسال کارت عضویت: براساس قيمت روز
به اطلاع کلیه اعضای جامعه منطق ایران می‌رسانیم که طبق آیین‌نامه انتخابات انجمن منطق ایران (مصوب هیات مدیره دوره چهارم و اصلاح‌شده در هيات مديره دوره پنجم) عضویت دو سال متوالی منتهی به زمان انتخابات، شرط شرکت در انتخابات هیات مدیره انجمن است. همچنين افرادی می‌توانند نامزد عضویت در هیات‌مدیره شوند که عضو پیوسته انجمن باشند. لذا از کلیه منطق‌دوستان تقاضا می‌شود با تکمیل فرم عضویت، شرایط را برای حضور موثر خود در جامعه منطق ایران مهیا نمایند.
از مهم‌ترين وظایف اعضای پیوسته انجمن موارد زير قابل ذکر است:
- نظارت بر عملکرد هیات مدیره؛
- تایید صورت‌جلسات هیات مدیره؛
- تصویب برنامه اجرایی سالانه پیشنهادی هیات مدیره؛
- تصویب برنامه راهبردی ۵ساله انجمن؛ و
- تصویب بودجه و تراز مالی سالیانه انجمن
همه این وظایف فقط با حضور در مجمع عمومی انجمن منطق ایران قابل انجام است. با توجه به مشکلات اجرایی تشکیل مجمع به شکل حضوری، در کنار مجمع سالانه، مجمع عمومی دایمی به صورت مجازی فعال شده و اعضای این گروه مجازی فقط اعضای پیوسته و افتخاری انجمن در سال مورد نظر خواهند بود. از دیگر مزایای عضویت پیوسته در انجمن منطق ايران موارد زير قابل ذکر است:
- بهره‌مندی از اولویت و امتیازات ویژه برای شرکت در برنامه‌های آموزشی و پژوهشی؛
- امکان دسترسی به آرشيو رخدادهای انجمن؛
- امکان گذراندن بخش يا تمام دوره خدمت سربازی با ارايه طرح پژوهشی (در حال کسب مجوز)؛
- امکان اخذ گواهی طی دوره ارتباط با جامعه و صنعت برای اعضای هيات علمی؛
- همچنین، به زودی و با تصویب آیین‌نامه نظام صنفی جامعه منطق ایران، تمام فعالیت‌های مرتبط با منطق در کشور مستلزم عضویت پیوسته و دایم در انجمن منطق ایران خواهد بود.
بنا بر تصميم هيات مديره، منطق‌دوستان عزیز می‌توانند تا قبل از تصویب حق عضویت سال ۱۴۰۳، با واریز دو برابر حق عضویت سال ۱۴۰۲، همزمان برای عضویت پیوسته سال ۱۴۰۳ نیز اقدام نمایند. عزیزانی که اقدام به عضویت دوسالانه می‌کنند، حتما در فیش واریزی خود این موضوع را ذکر کنند (لطفا درج شود حق عضویت مربوط به سال‌های ۱۴۰۲ و ۱۴۰۳).
ضمناً، شرایط برای عضويت حقوقی انجمن‌های دانشجويی در انجمن منطق ايران فراهم شده است و با اين عضويت، اعضای مرتبط اين انجمن‌ها می توانند از تخفيف ۵۰درصدی برای عضويت ساليانه در انجمن منطق ايران بهره‌مند شوند.
حق عضویت پيوسته سال ۱۴۰۲ برای اعضای هیأت‌علمی: ۲۵۰.۰۰۰تومان
حق عضویت پيوسته سال ۱۴۰۲ برای غير اعضای هيات علمی: ۱۵۰.۰۰۰تومان
حق عضویت وابسته سال ۱۴۰۲: حداقل ۵۰۰.۰۰۰تومان
هزینه صدور و ارسال کارت عضویت: براساس قيمت روز
👎4👍1👌1
فرا رسیدن #نوروز باستانی و آغاز سال 1403 را به شما همراهان عزیز و علاقمندان منطق تبریک و تهنیت می‌گوییم.
با آرزوی سالی سرشار از سلامتی و کامیابی؛
انجمن منطق ایران
با آرزوی سالی سرشار از سلامتی و کامیابی؛
انجمن منطق ایران
🙏13
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه 27 فروردین 1403، ساعت 16 الی 18
عنوان: رویکرد اصل موضوعی به مسأله‌ی تقسیم شانس
سخنران: رسول رمضانیان (Senior SNFS Researcher - University of Lausanne)
سخنرانی به صورت مجازی و به میزبانی گروه ریاضی دانشگاه قم برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
————————————————
@IranLogic
تاریخ: دوشنبه 27 فروردین 1403، ساعت 16 الی 18
عنوان: رویکرد اصل موضوعی به مسأله‌ی تقسیم شانس
سخنران: رسول رمضانیان (Senior SNFS Researcher - University of Lausanne)
سخنرانی به صورت مجازی و به میزبانی گروه ریاضی دانشگاه قم برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
چکیده‌ی سخنرانی: (کلیک کنید.)
————————————————
@IranLogic
👍4
انجمن منطق ایران
سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: دوشنبه 27 فروردین 1403، ساعت 16 الی 18 عنوان: رویکرد اصل موضوعی به مسأله‌ی تقسیم شانس سخنران: رسول رمضانیان (Senior SNFS Researcher - University of Lausanne) سخنرانی به صورت مجازی و به میزبانی گروه ریاضی دانشگاه…
یادآوری برگزاری سخنرانی امروز (تا دقایقی دیگر) ...
عنوان: رویکرد اصل موضوعی به مسأله‌ی تقسیم شانس
سخنران: رسول رمضانیان (Senior SNFS Researcher - University of Lausanne)
عنوان: رویکرد اصل موضوعی به مسأله‌ی تقسیم شانس
سخنران: رسول رمضانیان (Senior SNFS Researcher - University of Lausanne)
سمینار دو روزه
منطق رياضي و كاربردهاي آن
2 و 3 خرداد ماه 1403
پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی
-----------------
گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش دو روزه‌اي در اين زمينه برگزار نمايد.
پوستر، لیست سخنرانان مدعو و برنامه‌ی سخنرانی‌ها متعاقباً از طریق سایت انجمن منطق ایران و پژوهشگاه دانش‌های بنیادی منتشر خواهد شد.
👇👇👇
منطق رياضي و كاربردهاي آن
2 و 3 خرداد ماه 1403
پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی
-----------------
گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش دو روزه‌اي در اين زمينه برگزار نمايد.
پوستر، لیست سخنرانان مدعو و برنامه‌ی سخنرانی‌ها متعاقباً از طریق سایت انجمن منطق ایران و پژوهشگاه دانش‌های بنیادی منتشر خواهد شد.
👇👇👇
https://math.ipm.ac.ir
👏5👍2
📌
📣📣📣
✳️ #دوره‌ی_آموزشی مشترک گروه منطق IPM (شعبه‌ی اصفهان) و انجمن منطق ایران:
🎓 عنوان کلی دوره: آشنایی با منطق ریاضی، فلسفی و محاسباتی
عنوان جزئی دوره: دوره ششم / فلسفه ریاضیات
🔶 مدرّس: محمد معارفی (فارع‌التحصیل IUSS پاویا / ایتالیا)
📎 تعداد جلسات: 3 جلسه (6، 13 و 20 اردیبهشت 1403 - ساعت 14 الی 16)
✳️ نحوه‌ی برگزاری: حضوری - مجازی
🔗 لینک مجازی: https://www.tgoop.com/ialogicdiscussions/177
✉️ ایمیل ثبت‌نام: [email protected]
مکان: دانشگاه اصفهان، طبقه اول مهمانسرا، سالن سخنرانی پژوهشکده‌ی ریاضیات
📣📣📣
✳️ #دوره‌ی_آموزشی مشترک گروه منطق IPM (شعبه‌ی اصفهان) و انجمن منطق ایران:
🎓 عنوان کلی دوره: آشنایی با منطق ریاضی، فلسفی و محاسباتی
عنوان جزئی دوره: دوره ششم / فلسفه ریاضیات
🔶 مدرّس: محمد معارفی (فارع‌التحصیل IUSS پاویا / ایتالیا)
📎 تعداد جلسات: 3 جلسه (6، 13 و 20 اردیبهشت 1403 - ساعت 14 الی 16)
✳️ نحوه‌ی برگزاری: حضوری - مجازی
🔗 لینک مجازی: https://www.tgoop.com/ialogicdiscussions/177
✉️ ایمیل ثبت‌نام: [email protected]
مکان: دانشگاه اصفهان، طبقه اول مهمانسرا، سالن سخنرانی پژوهشکده‌ی ریاضیات
👍3👌1
انجمن علمی ریاضی دانشگاه قم
با همکاری انجمن علمی هوش مصنوعی دانشگاه قم و انجمن منطق ایران برگزار می‌کند:
" نقش و جایگاه منطق در هوش مصنوعی "
مدرس :
👨🏫 سید احمد میرصانعی
دانشجوی دکترای تخصصی منطق
دانشگاه تربیت مدرس تهران
زمان :
📆 چهارشنبه ۵ اردیبهشت ماه ۱۴۰۳
🕖 ساعت ۱۱ الی ۱۳
🏢مکان : سالن یاس
‼️ویژه خواهران
📣 توجه :
< شرکت برای عموم رایگان می‌باشد >
🔗لینک ثبت نام
@iranlogic
ℵ @math_qom
با همکاری انجمن علمی هوش مصنوعی دانشگاه قم و انجمن منطق ایران برگزار می‌کند:
" نقش و جایگاه منطق در هوش مصنوعی "
مدرس :
👨🏫 سید احمد میرصانعی
دانشجوی دکترای تخصصی منطق
دانشگاه تربیت مدرس تهران
زمان :
📆 چهارشنبه ۵ اردیبهشت ماه ۱۴۰۳
🕖 ساعت ۱۱ الی ۱۳
🏢مکان : سالن یاس
‼️ویژه خواهران
📣 توجه :
< شرکت برای عموم رایگان می‌باشد >
🔗لینک ثبت نام
@iranlogic
ℵ @math_qom
👎5👍3👏2👌1
انجمن منطق ایران
سمینار دو روزه منطق رياضي و كاربردهاي آن 2 و 3 خرداد ماه 1403 پژوهشکده ریاضیات، پژوهشگاه دانش‌های بنیادی ----------------- گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي با همکاری انجمن منطق ایران در نظر دارد به منظور آشنايي اعضاي هيأت علمي و…
📎 پوستر سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن
✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، 2 و 3 خرداد 1403 (صبح و عصر) برگزار خواهد شد.
📌فرم ثبت‌نام: کلیک کنید.
🗓 مهلت ثبت نام: 30 اردیبهشت ماه 1403
✉️ [email protected]
🌐
🌐 https://ialogic.ir
✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، 2 و 3 خرداد 1403 (صبح و عصر) برگزار خواهد شد.
📌فرم ثبت‌نام: کلیک کنید.
🗓 مهلت ثبت نام: 30 اردیبهشت ماه 1403
✉️ [email protected]
🌐
https://math.ipm.ac.ir
🌐 https://ialogic.ir
👍8👌3