دانلود کتاب Complexity, logic, and recursion theory (به فارسی: نظریه پیچیدگی، منطق و بازگشت) نوشته شده توسط «Andrea Sorbi»
اطلاعات کتاب نظریه پیچیدگی، منطق و بازگشت
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: CRC Press
نویسنده: Andrea Sorbi
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 366
حجم کتاب: 3 مگابایت
کد کتاب: 9780824700263 , 0824700260
نوبت چاپ: 1
توضیحات کتاب نظریه پیچیدگی، منطق و بازگشت
این مرجع به موقع با ادغام دو رویکرد کلاسیک برای محاسبه پذیری، پوشش مفصلی از تحقیقات اخیر در رابط منطق، نظریه محاسبات و علوم کامپیوتر نظری ارائه می دهد. نتایج جدید و هرگز منتشر نشده را ارائه می دهد و اطلاعاتی را ارائه می دهد که به راحتی در ادبیات قابل دسترسی نیست.
Integrating two classical approaches to computability, this timely reference offers detailed coverage of recent research at the interface of logic, computability theory, and theoretical computer science. Presents new, never-before-published results and provides information not easily accessible in the literature.
دانلود کتاب «نظریه پیچیدگی، منطق و بازگشت»
