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

منطق ریاضی

عنوان تاریخ ویرایش
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

آخرین مطالب

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

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

بالا

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