انجمن منطق ایران برگزار می‌کند

در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی

مجید علیزاده
دانشگاه تهران

 

 چکیده:

در این سخنرانی، \(J\) را به عنوان عملگر پَس‌کِشی برای مفهوم زمان معرفی می‌کنیم.
به کمک این عملگر، می‌توانیم توصیف جامعی از شرطی‌های ضعیف منطقی داشته باشیم. خواهیم گفت که چگونه در زبان توسعه‌یافته با این عملگر، می‌توان توسیع محافظه‌کارانه‌ای از منطق‌های زیرشهودی به‌دست داد.
این سخنرانی، حال و هوای منطق جبری خواهد داشت.

 
 

 مکان: تهران، خیابان انقلاب، دانشگاه تهران،

دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی

زمان : دوشنبه، ۲۸ بهمن ۱۳۹۸، ساعت ۴ بعد از ظهر

اسلایدهای سخنرانی:

فایل pdf همین اطّلاعیّه:

بازدید: 103

 
دومین بزرگ‌داشت روز جهانی منطق (سال ۱۳۹۸) سه شنبه ۲۴ دی ۱۳۹۸  ساعت ۱۴-۱۸ در دانشگاه تربیت مدرس، دانشکده علوم انسانی، طبقه چهار، سالن میرحسنی، با سخنرانی‌های زیر برگزار می‌شود:
 
  • لطف الله نبوی (دانشگاه تربیت مدرس)، گودل و قرائت برگی از دفتر وی
  • سید محمد باقری (دانشگاه تربیت مدرس)، Compactness for infinitary propositional logics.
  • محمد گلشنی (پژوهشگاه دانش‌های بنیادی)، Godel's constructible universe and its extensios.
  • امیرحسین اکبرطباطبایی (دانشگاه اوترخت)، Intuitionistic implications: on the logics of spacetime.
ورود برای عموم آزاد است.
 
نخستین بزرگ‌داشتِ روزِ جهانیِ منطق، در دانشکده‌ی ریاضیِ دانشگاه صنعتیِ امیرکبیر برگزار شد: http://logic.aut.ac.ir
 

 
بازدید: 122