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

منطق ریاضی

عنوان تاریخ ویرایش
سخنرانی ماهيانه: 30 مرداد 1402 28 شهریور 1402
سخنرانی ماهيانه: 25 تیر 1402 17 مرداد 1402
سخنرانی ماهيانه: 26 دی 1401 12 دی 1401
سخنرانی ماهيانه: 31 مرداد 1401 11 دی 1401
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

آخرین مطالب

  • برنامه سخنرانی‌های ماهيانه سال 1402
  • پنجمين هيات مديره انجمن منطق ايران
  • جلسه: دوشنبه 8 شهریور 1400
  • جلسه: دوشنبه 4 مرداد 1400
  • جلسه: دوشنبه ۱۴ تیر ۱۴۰۰

همايش‌ها

  • فراخوان مقاله یازدهمین همايش سالانه انجمن منطق
  • قواعد ارسال مقاله به همايش‌های ساليانه انجمن منطق ایران
  • کتابچه مقالات دهمين همایش ساليانه (1401)

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

بالا

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