انجمن منطق ایران
  • English
تغییر وضعیت ناوبری
  • خانه
  • سازمان
    • اعضای هیئت‌مدیره
    • نمودار سازمانی
    • صورت‌جلسات
  • رویدادها
    • همایش‌ سالانه
    • روز جهانی منطق
    • سخنرانی‌های ماهانه
  • آموزش
  • اخبار
    • خبرنامه
    • اخبار انجمن
    • اخبار منطق
  • ‌فراخوان‌ها
  • عضویت
    • فرم عضويت
    • فهرست اعضا 1402
    • فهرست اعضا 1403
    • فهرست اعضا 1404

آخرین مطالب

  • همايش دوروزه منطق رياضی و کاربردهای آن
  • فراخوان جایزه سال منطق 1404
  • چهارمین هیئت مدیره‌ی انجمن منطق ایران
  • ششمين هيات مديره انجمن منطق ايران
  • کمیته‌های اجرایی هیئت‌مدیره‌

همايش‌ها

  • قواعد ارسال مقاله به همايش‌های ساليانه انجمن منطق ایران
  • گالری تصاویر یازدهمین همایش سالیانه‌ی انجمن منطق ایران
  • یازدهمین همايش سالانه انجمن منطق
  • کتابچه مقالات دهمين همایش ساليانه (1401)

سخنرانی‌ها

  • سخنرانی ماهيانه: 29 اردیبهشت 1404

      گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)   مجتبی...

  • سخنرانی ماهيانه: 25 فروردین 1404

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

  • سخنرانی ماهيانه: 20 اسفند 1403

    A computable version of Fraïssé limit for metric...

  • سخنرانی ماهيانه: 29 بهمن 1403

    منطق و احتمال مسعود پورمهدیان عضو هیأت علمی دانشکده ریاضی و...

  • سخنرانی ماهيانه: 30 مهر 1403

      منطق ابتنای صوری  داود حسینی (دانشگاه تربیت مدرس)   دوشنبه 30...


کانال تلگرام:      ایمیل: mailroom@ialogic.ir    اساس‌نامه انجمن:  

بالا

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