دانلود فایل پوستر همایش
—————————————————————————-
برنامۀ
چهارمین همایش انجمن منطق ایران
|
|
ساعت |
سخنران |
عنوان سخنرانی |
||
|
صبح |
۸:۳۰ |
– |
۹ |
ثبت نام |
|
|
|
|||||
|
۹ |
– |
۱۰ |
محمد گلشنی |
افزودن تمایزناپذیرها به کمک فورسینگ |
|
|
۱۰ |
– |
۱۰:۳۰ |
پذیرایی |
||
|
۱۰:۳۰ |
– |
۱۱:۱۵ |
سلمان پناهی |
دو وجهی نگری، ادات منطقی، و نتیجه منطقی |
|
|
۱۱:۱۵ |
– |
۱۲ |
زهرا غفوری |
اصل استقرای باز و دنباله‌های اسپکر |
|
|
|
۱۲ |
– |
۱۴ |
نماز و ناهار |
|
|
عصر |
۱۴ |
– |
۱۵ |
فاطمه سیفان |
منطق وجهی نقطه‌ثابت و خودران‌ها: |
|
۱۵ |
– |
۱۵:۴۵ |
داود حسینی چفلی |
سمنتیکی برای رواداری بر پایه‌ی نظریه‌ی بازی |
|
|
۱۵:۴۵ |
– |
۱۶:۱۵ |
پذیرایی |
||
|
۱۶:۱۵ |
– |
۱۷ |
محمد زرقانی |
جنبه‌های منطق توپوقاب‌ها |
|
|
۱۷ |
– |
۱۷:۴۵ |
پروین صفری |
معناشناسی کریپکی برای منطق‌های فازی |
|
|
|
|||||
|
صبح |
۹ |
– |
۱۰ |
ضیاء موحد |
شعر و ریاضیات |
|
۱۰ |
– |
۱۰:۳۰ |
پذیرایی |
||
|
۱۰:۳۰ |
– |
۱۱:۱۵ |
پیام سراجی |
تعمیم قضیه گودل- راسر |
|
|
۱۱:۱۵ |
– |
۱۲ |
فاطمه نبوی |
رویکرد فعلی در منطق اصول فقه |
|
درباره نویسنده
