فراخوان مقاله پنجمین سمینار سالانه انجمن منطق ایران

انجمن منطق ایران پنجمین سمینار سالانه خود را با همکاری پژوهشگاه دانش‌های بنیادی و دانشگاه صنعتی امیرکبیر در روزهای سه‌شنبه تا پنج‌شنبه 21 تا 23 آذر ماه 1396 در دانشگاه صنعتی امیرکبیر برگزار می‌کند. ... بیشتر بخوانید ...

سخنرانی های علمی
رویدادها و همایش ها
  • 29 شهریور ماه 1396 مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل

    در این سخنرانی برهان‌هایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده است   بیشتر بخوانید ...

  • 28 تیر ماه 1396 تعارض تکالیف در منطق تکلیف

    «شخصی با دوست خود قرار ملاقات دارد،اما در معرض تصادفی قرار می گیرد، که کمک به قربانیان آن وظیفه مسلم اوست.» او چه باید بکند؟   بیشتر بخوانید ...

  • 27 اردیبهشت ماه 1396 افسانه گرایی و استعاره در فلسفه ریاضی

    دکتر سیاوش شهشهانی دانشگاه صنعتی شریف   بیشتر بخوانید ...

آخرین مطالب

© Company 2013