انجمن منطق ایران
تغییر وضعیت ناوبری
  • خانه
  • سخنرانی‌های ماهانه
  • خبرنامه
  • همایش‌ سالانه
  • روز جهانی منطق
  • تشکیلات
  • اخبار بیرون
  • ‌فراخوان‌ها

اسلاید

عنوان تاریخ ویرایش
تاثیر مبانی معرفت‌شناختی و هستی‌شناختی سهروردی در نقد نظریه تعریف مشائیان 20 آذر 1399
بنیان‌های زیستی منطق 03 آذر 1399
نظایر شهودی قضیه لوش-تارسکی 27 مرداد 1399
چیست آنچه ما آن را «اثبات ریاضیاتی» می‌نامیم؟ 04 مرداد 1399
درستی جملات گودلی و راسری 02 تیر 1399
در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی 23 بهمن 1398
درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱) 02 آذر 1398
Friedman's Theorem: from standard systems to fixed points 09 شهریور 1398
منطق (وجهی) احتمال 01 شهریور 1398
Linear Algebraic Semantics for Natural Language 29 مرداد 1398
معرفی منطق جبری جامع 29 مرداد 1398
Continuous logic and its fragments 29 مرداد 1398

آخرین مطالب

  • دومین بزرگ‌داشت روز جهانیِ منطق
  • سومین بزرگ‌داشت روز جهانیِ منطق
  • در باره‌ی طراح لوگوی انجمن منطق ایران
  • اعضای انجمن منطق ایران (۹۹-۹۸)
  • برنامه‌ی زمانیِ هشتمین همایش سالانه انجمن منطق

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

بالا

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