مقاله: منطق، حساب و نظریه پیچیدگی
شنبه, ۲۳ مرداد ۱۳۹۵، ۱۲:۰۶ ق.ظ
منطق با علوم کامپیوتر و به طور‌خاص نظریه پیچیدگی محاسبه مرتبط است. فایل زیر که متن مقاله‌ای است که چند سال پیش در مجله فرهنگ و اندیشه ریاضی چاپ شده است به نظریه‌های حسابی مرتبه اول و ارتباط آنها با نظریه پیچیدگی محاسبه می‌پردازد.