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

اسلاید

عنوان تاریخ ویرایش
در باب رده‌بندی تئوری‌های مرتبه اول 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

آخرین مطالب

  • کمیته‌های اجرایی هیئت‌مدیره‌ی پنجم
  • آگهی شماره 3 انتخابات پنجمین دوره‌ی هیئت‌مدیره‌ انجمن منطق ايران
  • راهنمای شرکت در انتخابات پنجمین هیئت‌مدیره‌ی انجمن منطق
  • فهرست کاندیداهای پنجمین انتخابات
  • فهرست اعضای انجمن منطق ایران در سال ۱۴۰۰

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

بالا

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