|
سخنرانی ماهيانه: 28 آذر 1401
|
11 / 10 / 01 |
|
سخنرانی ماهيانه: 26 دی 1401
|
12 / 10 / 01 |
|
سخنرانی ماهيانه: 25 مهر 1401
|
11 / 10 / 01 |
|
سخنرانی ماهيانه: 28 شهريور 1401
|
11 / 10 / 01 |
|
سخنرانی ماهيانه: 31 مرداد 1401
|
11 / 10 / 01 |
|
تأثیر و تأثر منطق و پارادوکس‌ها بر نظریه محاسبات عام (*TC ، زمان فازی)
|
25 / 03 / 01 |
|
بازتفسیر و ارزیابی منطق حملی ارسطویی بر مبنای منطق‌های غیرکلاسیک
|
20 / 02 / 01 |
|
برخی پیامدهای واقع گرایی در معرفت شناسی منطق دانان مسلمان
|
21 / 12 / 00 |
|
نقد و بررسی کتاب «فلسفه ریاضی برای ریاضی‍دانان»
|
22 / 10 / 00 |
|
مباحثی در آنالیز ساختی
|
30 / 08 / 00 |
|
ساختار جمعی اعداد طبیعی به همراه یک دنباله‌ی بیتی
|
23 / 06 / 00 |
|
غفلت از هندسه در فلسفه‌ی معاصر ریاضیات
|
28 / 07 / 00 |
|
در باب رده‌بندی تئوری‌های مرتبه اول
|
03 / 06 / 00 |
|
رویکردها و نتایجی در نظریه مدل نوین
|
26 / 04 / 00 |
|
برنامه‌ی سخنرانی‌های ماهانه: سال ۱۴۰۰
|
20 / 11 / 00 |
