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

اسلاید

عنوان تاریخ ویرایش
در باب رده‌بندی تئوری‌های مرتبه اول 03 شهریور 1400
رویکردها و نتایجی در نظریه مدل نوین 26 تیر 1400
استنتاج بهترین تبیین در سنت عقلیِ جهان اسلام 26 تیر 1400
محاسبه‌پذیری روی اعداد حقیقی 02 خرداد 1400
خواص ساختاری چه هستند؟ 23 فروردين 1400
تاثیر مبانی معرفت‌شناختی و هستی‌شناختی سهروردی در نقد نظریه تعریف مشائیان 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    اساس‌نامه‌ی انجمن:  

بالا

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