انجمن منطق ایران
تغییر وضعیت ناوبری
  • خانه
  • سخنرانی‌های ماهانه
  • خبرنامه
  • همایش‌ سالانه
  • روز جهانی منطق
  • تشکیلات
  • اخبار بیرون
  • ‌فراخوان‌ها
فیلترها
لیست مطالب در مجموعه سخنرانی‌های ماهانه
عنوان تاریخ ویرایش
Friedman's Theorem: from standard systems to fixed points 09‌ /‌ 06‌ /‌ 98
Truth, Proof and Provability 29‌ /‌ 05‌ /‌ 98
ابن سینا علیه افلاطونگرایی در ریاضیات 29‌ /‌ 05‌ /‌ 98
ریاضیات ساختارهای اهلی 29‌ /‌ 05‌ /‌ 98
منطق رواقی: گذشته و حال 29‌ /‌ 05‌ /‌ 98
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل 29‌ /‌ 05‌ /‌ 98
تعارض تکالیف در منطق تکلیف 29‌ /‌ 05‌ /‌ 98
Continuous logic and its fragments 29‌ /‌ 05‌ /‌ 98
معرفی منطق جبری جامع 29‌ /‌ 05‌ /‌ 98
Linear Algebraic Semantics for Natural Language 29‌ /‌ 05‌ /‌ 98

2 / 5

  • 1
  • 2
  • 3
  • 4
  • ...

آخرین مطالب

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

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

بالا

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