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

منطق ریاضی

عنوان تاریخ ویرایش
Godel and God 20 آبان 1398
Friedman's Theorem: from standard systems to fixed points 09 شهریور 1398
منطق (وجهی) احتمال 01 شهریور 1398
افسانه گرایی و استعاره در فلسفه ریاضی 29 مرداد 1398
آنالیزتابعی ازدیدگاه منطق 29 مرداد 1398
Continuous logic and its fragments 29 مرداد 1398
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل 29 مرداد 1398
ریاضیات ساختارهای اهلی 29 مرداد 1398
Truth, Proof and Provability 29 مرداد 1398
تعبیر اثبات پذیری برای منطق موجهات 19 مرداد 1398
منطق ربط منطق ارتباط میان مقدمات و نتیجه 11 مرداد 1398
مقالات سومین همایش سالانه انجمن منطق ایران 1394 01 مرداد 1398
درباره اثبات در ریاضیات 20 تیر 1398
دانلود سخنرانی مروری بر منطق های چند ارزشی و معرفی منطق پیوسته 17 تیر 1396

آخرین مطالب

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

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

بالا

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