سخنرانی های علمی
رویدادها و همایش ها
  • 21 آذر ماه 1396 اطلاعیۀ پنجمین سمینار سالانه انجمن منطق ایران

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

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

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

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

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

آخرین مطالب

© Company 2013