Мир сегодня с "Юрий Подоляка"
Мир сегодня с "Юрий Подоляка"
Труха⚡️Україна
Труха⚡️Україна
Николаевский Ванёк
Николаевский Ванёк
Мир сегодня с "Юрий Подоляка"
Мир сегодня с "Юрий Подоляка"
Труха⚡️Україна
Труха⚡️Україна
Николаевский Ванёк
Николаевский Ванёк
انجمن منطق ایران avatar

انجمن منطق ایران

کانال رسمی تلگرام انجمن منطق ایران
وبسایت رسمی انجمن: https://ialogic.ir/
پیوند به این کانال: https://t.me/IranLogic
پیوند به کانال واتساپ انجمن: https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY
Рейтинг TGlist
0
0
ТипПубличный
Верификация
Не верифицированный
Доверенность
Не провернный
Расположение
ЯзыкДругой
Дата создания каналаMar 03, 2019
Добавлено на TGlist
Dec 24, 2024
Прикрепленная группа

Последние публикации в группе "انجمن منطق ایران"

❇️مدرسه بهاره پیرامون صدق
مدرسه بهاره پیرامون صدق، به همت گروه منطق موسسه پژوهشی حکمت و فلسفه ایران و انجمن منطق ایران، در روزهای پنج‌شنبه و جمعه، ۱۱ و ۱۲ اردیبهشت ماه ۱۴۰۴ برگزار می‌شود. این مدرسه به منظور بررسی و تحلیل ابعاد مختلف صدق، در محل موسسه پژوهشی حکمت و فلسفه ایران، میزبان جمعی از سخنرانان معتبر و نام‌آور خواهد بود.

📎اطلاعات بیشتر و ثبت نام:

https://www.irip.ac.ir/u/15H
جلسه سخنرانی در حال برگزاری است ...
با تصمیم اعضای ششمین دوره هیات مدیره انجمن منطق ایران، اعضای زیر برای سمت‌های مختلف هیات مدیره انتخاب شدند:
دکتر حامد باستین؛ رئیس هیات مدیره
دکتر هومن محمدقربانیان؛ نایب‌رئیس هیات مدیره
دکتر نازنین روشندل توانا؛ خزانه‌دار انجمن
سید احمد میرصانعی؛ دبیر انجمن

روسای کمیته‌های اجرایی به شرح زیر منصوب شدند:
کمیته امور بین‌الملل: دکتر هومن محمدقربانیان
کمیته پژوهش: دکتر محمد ایزدی
کمیته آموزش: دکتر نازنین روشندل توانا
کمیته همایش و رویدادها: سیداحمد میرصانعی
کمیته مالی/حقوقی: دکتر حامد باستین
کمیته اداری: دکتر حامد باستین
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "
S_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران
: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic
به اطلاع کلیه پژوهشگران و علاقمندان حوزه منطق می‌رساند که برای استفاده از تخفیف عضویت سال ۱۴۰۴ در انجمن منطق ایران، فقط تا پایان اسفند فرصت باقیست. از ابتدای فروردین ۱۴۰۴، نرخ مصوب عضویت ۱۴۰۴ اعمال خواهد شد.
برای عضویت از این لینک اقدام بفرمایید.
يادآوری ارسال مقاله برای شرکت در جایزه منطق ابن سینا ۱۴۰۴
- برگزيده جایزه ابن سينا ۱۴۰۴ نماينده ايران در جایزه سال منطق (دسامبر ۲۰۲۵ در پرو) خواهد بود.
- مقاله برگزيده ايران در ويژه‌نامه دسامبر ۲۰۲۵ مجله Logica Universalis منتشر می‌شود.

آخرين مهلت ارسال مقاله (کامل انگليسی): ۳۱ فروردين ۱۴۰۴
برنامه سخنرانی‌های دو ماه اول ۱۴۰۴ - انجمن منطق ایران

دوشنبه، ۲۵ فروردين
- جاويد جعفری (دانشگاه تربيت مدرس)
يک منطق فراسازگار در زبان موجهاتی (Smin)

دوشنبه، ۲۹ اردیبهشت
- مجتبی آقايی (دانشگاه صنعتی اصفهان)
عنوان اعلام خواهد شد.
یادآوری سخنرانی امروز:

ساعت 16 الی 18

عنوان:
A computable version of Fraïssé limit for metric structures


سخنران: نازنین روشندل توانا (دانشگاه صنعتی امیرکبیر)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب خیابان حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند.
///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic
نتايج نهايی انتخابات ششمين دوره هيات مديره و بازرسان انجمن منطق ايران به شرح زير اعلام می‌شود:

هیات مدیره:
1- حامد باستین (مستقل) - 55 رای
2- احمد میرصانعی (تربیت مدرس) - 54 رای
3- نازنین روشندل توانا (امیرکبیر) - 49 رای
3- هومن محمد قربانیان (دانشگاه اصفهان) - 49 رای
5- محمد ایزدی (صنعتی شریف) - 46 رای
6- مرتضی منیری (شهید بهشتی) - 35 رای
7- فرزاد دیده‌ور (امیرکبیر) - 24 رای
8- علی ولی‌زاده (دانشگاه اصفهان) - 12 رای
8- افشین زارعی (ipm اصفهان) - 12 رای
10- امیر خمسه (دانشگاه خوارزمی) - 9 رای

بازرس:
1- فرشته رنجبری - 39 رای
2- علی هدایی - 17 رای
3- سحر رنجبر - 3 رای

با توجه به انصراف آقای دکتر مرتضی منيری از عضويت علی‌البدل در هيات مديره و کناره‌گيری آقای دکتر افشين زارعی به نفع آقای دکتر علی ولی‌زاده (با توجه به آرای برابر)، ترکيب اعضای منتخب هيات مديره ششم به شرح زير اعلام می‌شود:

اعضای اصلی هيات مديره
- حامد باستين
- سید احمد میرصانعی
- نازنين روشندل توانا
- هومن محمدقربانيان
- محمد ايزدی
اعضای علی‌البدل هيات مديره
- فرزاد ديده‌ور
- علی ولی‌زاده

بازرس اصلی
- فرشته رنجبری
بازرس علی‌البدل
-علی هدايی
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 20 اسفند 1403، ساعت 16 الی 18

عنوان:
A computable version of Fraïssé limit for metric structures


سخنران
: نازنین روشندل توانا (دانشگاه صنعتی امیرکبیر)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.
————————————————

@IranLogic
پنجمین اطلاعیه انتخابات هیات مدیره انجمن منطق ایران

با پایان مهلت ثبت نام کاندیداهای انتخابات هیات مدیره و بازرسان انجمن منطق ایران، افراد زیر به عنوان کاندیداهای نهایی انتخابات اعلام می‌شوند:
کاندیداهای هیات مدیره:
- نازنین روشندل توانا (امیرکبیر)
- مرتضی منیری (شهید بهشتی)
- علی ولی‌زاده (دانشگاه اصفهان)
- احمد میرصانعی (تربیت مدرس)
- هومن محمد قربانیان (دانشگاه اصفهان)
- حامد باستین (مستقل)
- محمد ایزدی (صنعتی شریف)
- امیر خمسه (دانشگاه خوارزمی)
- افشین زارعی (ipm اصفهان)
- فرزاد دیده‌ور (امیرکبیر)
کاندیداهای بازرس:
- علی هدایی (دانشجوی ارشد فلسفه علم - دانشگاه اصفهان)
- فرشته رنجبری (دانشجوی دکتری منطق فلسفی - تربیت مدرس)
- سحر رنجبر (دانشجوی ارشد فلسفه علم - دانشگاه اصفهان)

انتخابات ششمین دوره انجمن منطق ایران از ساعت ۱۷ روز پنجشنبه ۱۶ اسفند ۱۴۰۳ لغایت ساعت ۱۷ روز شنبه ۱۸ اسفند ۱۴۰۳ به صورت مجازی برگزار می‌شود. لینک برگزاری و نحوه مشارکت در انتخابات از طریق گروه تلگرامی مجمع عمومی به اعضای پیوسته انجمن اطلاع‌رسانی خواهد شد.
جلسه مجمع عمومی برای اعلام نتایج انتخابات از ساعت ۱۸ تا ۱۹ روز شنبه ۱۸ اسفند ۱۴۰۳ با حضور ناظر کمیسیون انجمن‌های علمی به صورت مجازی و حضوری برگزار خواهد شد.

با سپاس
هیات مدیره پنجم انجمن منطق ایران
دوازدهمین همایش سالیانه انجمن منطق ایران از روز شنبه ۴ اسفند، ساعت ۸:۳۰ صبح آغاز می‌شود. اخبار این رویداد را در گروه فعالیت‌های انجمن پیگیری نمایید.
https://t.me/ialogicdiscussions

در همایش امسال بخش جانبی با عنوان پوستر ویدیویی راه‌اندازی شده است و مقالاتی برای ارایه به صورت ضبط‌شده پذیرفته شدند. پوسترهای ویدیویی را از اینجا ببینید.
برای عضويت از اين لينک اقدام کنيد.
چهارمین اطلاعيه انتخابات ششمین دوره هيات مديره انجمن منطق ایران

زمان ثبت نام کاندیداهای انتخابات انجمن تا روز ۷ اسفند ۱۴۰۳ تمدید شد. تاریخ دقیق انتخابات که در اسفند ۱۴۰۳ به صورت مجازی برگزار می‌شود، متعاقبا اعلام خواهد شد.
شرایط لازم برای کاندیداتوری (عضو هیات مدیره و بازرس) با تصویب هیأت مدیره به شرح زیر اصلاح شد:
۱- دارندگان مدرک دکتری (دانشجویان دکتری که آزمون جامع را گذرانده‌اند با تایید هیات مدیره) در یکی از شاخه‌های مرتبط با منطق
۲- عضویت پیوسته در انجمن منطق ایران حداقل طی سال ۱۴۰۳.

۳- کاندیداهای بازرس انجمن صرفا باید عضو پیوسته طی سال‌های ۱۴۰۲ و ۱۴۰۳ باشند.

از متقاضیان دعوت می‌شود که درخواست کاندیداتوری خود را به همراه رزومه تحصیلی و کاری (حداکثر ۳ صفحه) و تصویر مدرک تحصیلی دکتری (صرفا برای متقاضیان غیر هیات علمی) تا تاریخ ۷ اسفند ۱۴۰۳ به ایمیل دبیرخانه انجمن (mailroom@ialogic.ir) ارسال نمایند.

با سپاس
هیات مدیره پنجم انجمن منطق ایران
عضویت پیوسته ۱۴۰۴ انجمن منطق ایران
هزينه عضويت پيوسته انجمن منطق ايران برای سال ۱۴۰۴ اعلام شد. اين هزينه برای افراد هيات علمی مبلغ ۴.۵۰۰.۰۰۰ريال و غير هيات علمی مبلغ ۳.۰۰۰.۰۰۰ريال تعيين شده است.
افرادی که تا پايان اسفند ۱۴۰۳ برای عضويت ۱۴۰۴ اقدام نمایند، می‌توانند همان مبلغ حق عضويت سال ۱۴۰۳ را پرداخت کنند (فرم عضويت).

Рекорды

08.04.202523:59
1.4KПодписчиков
23.12.202423:59
0Индекс цитирования
08.02.202523:59
564Охват одного поста
08.02.202523:59
574Охват рекламного поста
08.02.202523:59
4.61%ER
08.02.202523:59
44.10%ERR

Популярные публикации انجمن منطق ایران

❇️مدرسه بهاره پیرامون صدق
مدرسه بهاره پیرامون صدق، به همت گروه منطق موسسه پژوهشی حکمت و فلسفه ایران و انجمن منطق ایران، در روزهای پنج‌شنبه و جمعه، ۱۱ و ۱۲ اردیبهشت ماه ۱۴۰۴ برگزار می‌شود. این مدرسه به منظور بررسی و تحلیل ابعاد مختلف صدق، در محل موسسه پژوهشی حکمت و فلسفه ایران، میزبان جمعی از سخنرانان معتبر و نام‌آور خواهد بود.

📎اطلاعات بیشتر و ثبت نام:

https://www.irip.ac.ir/u/15H
08.04.202515:56
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "
S_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران
: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic
09.04.202518:08
با تصمیم اعضای ششمین دوره هیات مدیره انجمن منطق ایران، اعضای زیر برای سمت‌های مختلف هیات مدیره انتخاب شدند:
دکتر حامد باستین؛ رئیس هیات مدیره
دکتر هومن محمدقربانیان؛ نایب‌رئیس هیات مدیره
دکتر نازنین روشندل توانا؛ خزانه‌دار انجمن
سید احمد میرصانعی؛ دبیر انجمن

روسای کمیته‌های اجرایی به شرح زیر منصوب شدند:
کمیته امور بین‌الملل: دکتر هومن محمدقربانیان
کمیته پژوهش: دکتر محمد ایزدی
کمیته آموزش: دکتر نازنین روشندل توانا
کمیته همایش و رویدادها: سیداحمد میرصانعی
کمیته مالی/حقوقی: دکتر حامد باستین
کمیته اداری: دکتر حامد باستین
14.04.202512:30
جلسه سخنرانی در حال برگزاری است ...
Войдите, чтобы разблокировать больше функциональности.