انجمن منطق ایران دومین سمینار سالانهی خود را، با همکاری گروه ریاضی پژوهشگاه دانشهای بنیادی، در 25 و 26 آذر 1393 در دانشکده ریاضی، آمار و علوم کامپیوتر دانشگاه تهران برگزار میکند....
برای دریافت فایل خبر نامه از لینک زیر استفاده کنید
انجمن منطق ایران دومین سمینار سالانهی خود را، با همکاری گروه ریاضی پژوهشگاه دانشهای بنیادی، در 25 و 26 آذر 1393 در دانشکده ریاضی، آمار و علوم کامپیوتر دانشگاه تهران برگزار میکند....
برای دریافت فایل خبر نامه از لینک زیر استفاده کنید
Reason, Belief and Inference سخنران: حمید وحید (پژوهشگاه دانشهای بنیادی (IPM))...
تأثیرات پیشرفتهای متأخر در نظریهی مجموعهها بر فلسفهی...
The Craig Interpolation Property in First-order Gödel Logic...
(این سخنرانی به دلیل کسالت لغو گردید و به زمان دیگری موکول شد. زمان...
پارادوکس دروغگو در منطق نمادین سیاوش احمدزاده چکیده: با وجود...