The 11th Annual Conference of the Iranian Association for Logic
|
16 February 2024 |
سخنرانی ماهيانه: 29 آبان 1402
|
02 January 2024 |
سخنرانی ماهيانه: 30 مرداد 1402
|
19 September 2023 |
سخنرانی ماهيانه: 25 تیر 1402
|
08 August 2023 |
سخنرانی ماهيانه: 26 دی 1401
|
02 January 2023 |
سخنرانی ماهيانه: 31 مرداد 1401
|
01 January 2023 |
Godel and God
|
11 November 2019 |
Friedman's Theorem: from standard systems to fixed points
|
31 August 2019 |
منطق (وجهی) احتمال
|
23 August 2019 |
افسانه گرایی و استعاره در فلسفه ریاضی
|
20 August 2019 |
آنالیزتابعی ازدیدگاه منطق
|
20 August 2019 |
Continuous logic and its fragments
|
20 August 2019 |
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل
|
20 August 2019 |
ریاضیات ساختارهای اهلی
|
20 August 2019 |
Truth, Proof and Provability
|
20 August 2019 |
تعبیر اثبات پذیری برای منطق موجهات
|
10 August 2019 |
منطق ربط منطق ارتباط میان مقدمات و نتیجه
|
02 August 2019 |
مقالات سومین همایش سالانه انجمن منطق ایران 1394
|
23 July 2019 |
درباره اثبات در ریاضیات
|
11 July 2019 |
دانلود سخنرانی مروری بر منطق های چند ارزشی و معرفی منطق پیوسته
|
08 July 2017 |