برنامۀ چهارمین همایش انجمن منطق ایران
برنامۀ
چهارمین همایش انجمن منطق ایران
|
|
ساعت |
سخنران |
عنوان سخنرانی |
||
|
صبح |
8:30 |
– |
9 |
ثبت نام |
|
|
|
|||||
|
9 |
– |
10 |
محمد گلشنی |
افزودن تمایزناپذیرها به کمک فورسینگ |
|
|
10 |
– |
10:30 |
پذیرایی |
||
|
10:30 |
– |
11:15 |
سلمان پناهی |
دو وجهی نگری، ادات منطقی، و نتیجه منطقی |
|
|
11:15 |
– |
12 |
زهرا غفوری |
اصل استقرای باز و دنبالههای اسپکر |
|
|
|
12 |
– |
14 |
نماز و ناهار |
|
|
عصر |
14 |
– |
15 |
فاطمه سیفان |
منطق وجهی نقطهثابت و خودرانها: |
|
15 |
– |
15:45 |
داود حسینی چفلی |
سمنتیکی برای رواداری بر پایهی نظریهی بازی |
|
|
15:45 |
– |
16:15 |
پذیرایی |
||
|
16:15 |
– |
17 |
محمد زرقانی |
جنبههای منطق توپوقابها |
|
|
17 |
– |
17:45 |
پروین صفری |
معناشناسی کریپکی برای منطقهای فازی |
|
|
|
|||||
|
صبح |
9 |
– |
10 |
ضیاء موحد |
شعر و ریاضیات |
|
10 |
– |
10:30 |
پذیرایی |
||
|
10:30 |
– |
11:15 |
پیام سراجی |
تعمیم قضیه گودل- راسر |
|
|
11:15 |
– |
12 |
فاطمه نبوی |
رویکرد فعلی در منطق اصول فقه |
|