Type to search
Advanced channel search

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

@iranlogic
Channel's geo and language: not specified, not specified
Category: not specified

کانال رسمی تلگرام انجمن منطق ایران
وبسایت رسمی انجمن: https://ialogic.ir/
پیوند به این کانال: https://t.me/IranLogic

Related channels
Channel's geo and language
not specified, not specified
Category
not specified
Statistics
Is this your channel? Confirm Канал в реестре блогеров РКН? Confirm Channel history
Posts filter

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

1 Nov 2020, 23:04

Open in Telegram Share Report
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۶ آبان ۱۳۹۹ ساعت ۱۶
عنوان: بنیان‌های زیستی منطق
سخنران: حامد باستین (دانشگاه تربیت‌مدرس)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/174-bastin
کانال تلگرام انجمن منطق ایران:
@IranLogic
2.5k 0 0
انجمن منطق ایران

10 Aug 2020, 20:35

Open in Telegram Share Report
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۷ مرداد ۱۳۹۹ ساعت ۱۶
عنوان: نظایر شهودی قضیه‌ لوش-تارسکی
سخنران: مصطفیٰ زارع (دانشگاه دامغان)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/173-zare-fa
کانال تلگرام انجمن منطق ایران:
@IranLogic
4.8k 0 0
انجمن منطق ایران

25 Jul 2020, 18:12

Open in Telegram Share Report
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۶ مرداد ۱۳۹۹ ساعت ۱۶
عنوان: چیست آنچه ما آن را «اثبات ریاضیاتی» می‌نامیم؟
سخنران: حسین بیات
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/alireza.darabi/ialogic
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/171-bayat
کانال تلگرام انجمن منطق ایران:
@IranLogic
3.3k 1 0
انجمن منطق ایران

18 Jul 2020, 22:18

Open in Telegram Share Report
انجمن منطق ایران هشتمین همایش سالانه‌ی خود را برگزار می‌کند.
👈 ارسال مقالات تا تاریخ ۱۲ دی ۱۳۹۹ و از طریق ارسال ای‌میل به نشانیِ LC99@ialogic.ir
👈 ثبت‌نام از طریق وب‌سایت همایش از تاریخ ۱ بهمن تا ۱۵ بهمن ۱۳۹۹
@IranLogic
5.6k 1 0
انجمن منطق ایران

14 Jun 2020, 14:19

Open in Telegram Share Report
سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲ تیر ۱۳۹۹ ساعت ۱۶
عنوان: درستی جملات گودلی و راسری
سخنران: سعید صالحی پورمهر (دانشگاه تبریز)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://vclass.ecourse.sharif.edu/ch/mardeshir
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/163-salehi-godelean
کانال تلگرام انجمن منطق ایران:
@IranLogic
4.5k 0 0
انجمن منطق ایران

12 Feb 2020, 19:47

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۸ بهمن ۱۳۹۸ ساعت ۱۶
عنوان: در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی
سخنران: مجید علیزاده (دانشگاه تهران)
محل برگزاری: تهران، خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/162-alizadeh-j-operator
کانال تلگرام انجمن منطق ایران:
@IranLogic
3.9k 0 0
انجمن منطق ایران

11 Jan 2020, 20:57

Open in Telegram Share Report
دومین بزرگ‌داشت روز جهانی منطق (سال ۱۳۹۸) سه شنبه ۲۴ دی ۱۳۹۸ ساعت ۱۴-۱۸ در دانشگاه تربیت مدرس، دانشکده علوم انسانی، طبقه چهار، سالن میرحسنی، با سخنرانی‌های زیر برگزار می‌شود:


لطف الله نبوی (دانشگاه تربیت مدرس)، گودل و قرائت برگی از دفتر وی
سید محمد باقری (دانشگاه تربیت مدرس)، Compactness for infinitary propositional logics.
محمد گلشنی (پژوهشگاه دانش‌های بنیادی)، Godel's constructible universe and its extensios.
امیرحسین اکبرطباطبایی (دانشگاه اوترخت)، Intuitionistic implications: on the logics of spacetime.
ورود برای عموم آزاد است.

نخستین بزرگ‌داشتِ روزِ جهانیِ منطق، در دانشکده‌ی ریاضیِ دانشگاه صنعتیِ امیرکبیر برگزار شد: http://logic.aut.ac.ir

وب‌سایت رسمیِ انجمن منطق ایران:‌ https://ialogic.ir/
کانال تلگرام انجمن منطق ایران: @IranLogic
3k 0 0
انجمن منطق ایران

4 Jan 2020, 15:33

Open in Telegram Share Report
در برنامه‌ی زمان‌بندیِ سمینارهای همایش هفتم، تغییراتی ایجاد شده. نسخه‌ی نهاییِ برنامه‌ها را این‌جا ببینید.
1.5k 0 0
انجمن منطق ایران

1 Jan 2020, 17:30

Open in Telegram Share Report
مهلت ثبت‌نام تا اطّلاع ثانوی تمدید شد.
3.9k 0 0
انجمن منطق ایران

23 Dec 2019, 16:39

Open in Telegram Share Report
هفتمین همایش سالانه‌ی انجمن منطق ایران در روزهای سه‌شنبه و چهارشنبه ۱۷ و ۱۸ دی ماه سال ۱۳۹۸ در دانشگاه خواجه نصیرالدین طوسی برگزار می‌شود. از همه‌ی علاقه­‌مندان دعوت می­‌شود جهت ثبت‌نام در همایش حداکثر تا تاریخ ۱۰ دی‌ماه از طریق وب‌سایتِ هفتمین همایش سالانه‌ی انجمن منطق به آدرسِ https://LC98Reg.ialogic.ir اقدام فرمایند.

وب‌سایت رسمیِ انجمن منطق ایران:‌ https://ialogic.ir/
کانال تلگرام انجمن منطق ایران: @IranLogic
12.1k 2 0
انجمن منطق ایران

23 Nov 2019, 14:57

Open in Telegram Share Report
انجمن منطق ایران هفتمین همایش سالانه‌‌ی خود را با همکاری پژوهشگاه دانش‌های بنیادی در ۱۸-۱۷ دِی‌‌ ۱۳۹۸ در دانشگاه خواجه نصیرالدّین طوسی برگزار می کند.

کمیته‌ علمی:‌ محمّد اردشیر، مقداد قاری، محمّد گلشنی، کاوه لاجوردی، ضیاء موحّد.

حوزه‌های پژوهشی مرتبط عبارت‌اند از:

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.

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

LC98@ialogic.ir

تمدید مهلت ارسال خلاصه مقالات تا ۱۵ام آذر ۱۳۹۸.

هیأت‌‌مدیره‌ی انجمن منطق ایران
https://ialogic.ir

@IranLogic
4.1k 0 0
انجمن منطق ایران

11 Nov 2019, 13:12

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۷ آبان ۱۳۹۸ ساعت ۱۶
عنوان: درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱)
سخنرانان: سعید صالحی پورمهر (دانشگاه تبریز و IPM)، کاوه لاجوردی
محل برگزاری: تهران، خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/135-salehi-lajevardi
کانال تلگرام انجمن منطق ایران:
@IranLogic
3.5k 0 0
انجمن منطق ایران

5 Oct 2019, 11:15

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۹ مهر ۱۳۹۸ ساعت ۱۶
عنوان: وامداری سهروردی به ابن‌سینا در نظریه‌ی قیاس
سخنران: مهدی عظیمی (دانشگاه تهران)
محل برگزاری: تهران، خیابان ولیعصر، خیابان نوفل‌لوشاتو، مؤسّسه‌ی پژوهشی حکمت و فلسفه
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/134-2019-08-27-13-32-18
کانال تلگرام انجمن منطق ایران:
@IranLogic
2k 0 0
انجمن منطق ایران

31 Aug 2019, 13:51

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۵ شهریور ۱۳۹۸ ساعت ۱۶
عنوان: ساده آری، پیچیده خیر
سخنران:احمد شفیعی ده‌آباد (دانشگاه تهران)
محل برگزاری: تهران، خیابان ولیعصر، خیابان نوفل‌لوشاتو، مؤسّسه‌ی پژوهشی حکمت و فلسفه
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/125-2019-08-27-13-32-17
کانال تلگرام انجمن منطق ایران:
@IranLogic
5.8k 0 0
انجمن منطق ایران

24 Aug 2019, 13:19

Open in Telegram Share Report
انجمن منطق ایران هفتمین همایش سالانه‌‌ی خود را با همکاری پژوهشگاه دانش‌های بنیادی در ۱۹-۱۷ دِی‌‌ ۱۳۹۸ در یکی از دانشگاه‌های تهران برگزار می کند.

حوزه‌های پژوهشی مرتبط عبارت‌اند از:

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.

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

LC98@ialogic.ir

پایان مهلت ارسال مقالات ۳۰ام آبان ۱۳۹۸ است.

هیأت‌‌مدیره‌ی انجمن منطق ایران
https://ialogic.ir

@IranLogic
2.4k 0 0
انجمن منطق ایران

20 Aug 2019, 14:36

Open in Telegram Share Report
همایش منطق ریاضی و کاربردهای آن

دانشگاه صنعتی اراک با همکاری پژوهشگاه دانشهای بنیادی (IPM) و انجمن منطق ایران، همایش «منطق ریاضی و کاربردهای آن» را در تاریخ ۱۳ شهریور ۱۳۹۸ در دانشگاه صنعتی اراک برگزار می‌کند.

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

اطّلاعات بیشتر در وب‌سایت همایش:
http://logic.arakut.ac.ir/
@IranLogic
1.4k 0 0
انجمن منطق ایران

4 Aug 2019, 13:03

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۸ مرداد ۱۳۹۸ ساعت ۱۶
عنوان: منطق (وجهی) احتمال
سخنران: ریحانه ذوقی‌فرد (پژوهشگاه دانش‌های بنیادی IPM)
محل برگزاری: تهران، دانشگاه صنعتی امیرکبیر، دانشکده‌ی ریاضی، اتاق ۳۱۱
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/119-probability-logic
کانال تلگرام انجمن منطق ایران:
@IranLogic
4.3k 0 0
انجمن منطق ایران

9 Jul 2019, 07:40

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۴ تیر ۱۳۹۸ ساعت ۱۶
عنوان: Friedman's Theorem: from standard systems to fixed points
سخنران: سعیده بهرامی (پژوهشگاه دانش‌های بنیادی IPM)
محل برگزاری: خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/80-friedman-s-theorem-from-standard-systems-to-fixed-points
کانال تلگرام انجمن منطق ایران:
@IranLogic
3.7k 0 0
انجمن منطق ایران

28 Jun 2019, 21:06

Open in Telegram Share Report
انجمن منطق ایران در نظر دارد لوگوی جدیدی برای خود برگزیند. از تمامی علاقه‌مندان دعوت می‌شود طرح‌هایشان را تا پانزدهم شهریور ۱۳۹۸ به نشانی info@ialogic.ir بفرستند.

انتظار هیأت مدیره‌ی انجمن این است که لوگوی جدید عرفاً ساده تلقی شود، و عنصرهای بسیار شناخته‌شده‌—نظیر بخش‌هایی از نقاشی‌های اشر—در آن نباشد. لازم است که عبارت ’انجمن منطق ایران‘، به اضافه‌ی نامِ کامل یا نامِ کوتاه‌شده‌ی انگلیسی انجمن (یعنی ’Iranian Association for Logic‘ یا ’IAL‘)، در طرح گنجانده شده باشد.

انجمن منطق ایران در وضعیت فعلی توانایی مالی برای اعطای جایزه‌ی مادّی یا خرید طرح را ندارد. طراح لوگوی برگزیده،‌ به مدّت پنج سال عضو افتخاری انجمن خواهد بود و می‌تواند به‌رایگان در همایش‌های سالانه‌ی انجمن شرکت کند. به علاوه، طرح برگزیده در جلسه‌ی افتتاحیه‌ی هفتمین همایش سالانه‌ی انجمن (زمستان ۱۳۹۸) و با توضیحاتِ طراح رونمایی خواهد شد، و نامِ طراح همواره در وبگاه رسمی انجمن منطق ایران خواهد آمد.

وبسایت رسمی انجمن منطق ایران: http://ialogic.ir
کانال تلگرام انجمن منطق ایران: @IranLogic
1.9k 0 0
انجمن منطق ایران

10 Apr 2019, 15:19

Open in Telegram Share Report
سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۶ فروردین ۱۳۹۸ ساعت ۱۶
عنوان: Truth, Proof and Provability
سخنران: محمّد اردشیر (دانشگاه صنعتی شریف)
محل برگزاری: مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/114-truth-proof-and-provability
کانال تلگرام انجمن منطق ایران:
@IranLogic
1.9k 0 0
20 last posts shown.

694

subscribers
Channel statistics