اطلاعیۀ ثبت نام ششمین سمینار سالانه انجمن منطق ایران

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که ششمین همایش سالانۀ انجمن منطق ایران در روزهای 10-11 بهمن ماه در چهار نوبت (صبح و عصر روزهای چهارشنبه و پنج‌شنبه، 10 و 11 بهمن) در دانشگاه شهید بهشتی برگزار می‌شود. ... بیشتر بخوانید ...

سخنرانی های علمی
رویدادها و همایش ها
  • 11 اسفند ماه 1397 Gödel and God

    In 1970, Kurt Gödel wrote in a manuscript a mathematical proof of the existence of God.   بیشتر بخوانید ...

  • 5 دی ماه 1397 درباره اثبات در ریاضیات

    در فاصله سالهای ۱۹۸۰ تا ۱۹۹۰ تعاملات ریاضیات با فیزیک نظری با نتایج مهم و تاثیرگذاری در ریاضیات همراه شد که با شهودی برآمده از فیزیک نظری هدایت می‌شد.   بیشتر بخوانید ...

  • 7 آذر ماه 1397 آنالیز تابعی از دیدگاه منطق

    در این سخنرانی نسخه‌ای از منطق برای ساختارهای متریک ارائه می‌شود که قالب مناسبی است برای فضاهایی در آنالیز تابعی   بیشتر بخوانید ...

© Company 2013