دانلود کتاب Computation Theory and Logic (به فارسی: تئوری محاسبات و منطق) نوشته شده توسط «Klaus Ambos-Spies (auth.) – Egon Börger (eds.)»
اطلاعات کتاب تئوری محاسبات و منطق
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Klaus Ambos-Spies (auth.) – Egon Börger (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1987
تعداد صفحه: 442
حجم کتاب: 5 مگابایت
کد کتاب: 3540181709 , 9783540181705
نوبت چاپ: 1
توضیحات کتاب تئوری محاسبات و منطق
این جلد شامل 37 مقاله پژوهشی دعوت شده است که به یاد دیتر رودینگ جمع آوری شده است، که به دلیل کارش در طبقه بندی توابع بازگشتی، در مورد کلاس های کاهش، در مورد مسئله طیف و پیچیدگی کمیت کننده های اصلی در منطق محمول و در سلسله مراتب حسابی او یکی از اولین کسانی بود که تعامل منطق و علوم کامپیوتر را دنبال کرد. حجم منعکس کننده طیف گسترده ای از علایق علمی دیتر رودینگ است.
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding’s scientific interests.
دانلود کتاب «تئوری محاسبات و منطق»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.