45,000 تومان
روند خرید و دریافت کتابها بدون هیچ اختلالی انجام میشود.
تمامی فایلها بر روی سرورهای داخلی میزبانی میشوند تا بتوانید به راحتی و در لحظه آنها را دانلود کنید. در صورت بروز هرگونه مشکل یا نیاز به راهنمایی، لطفاً از طریق « صفحه تماس باما» با تیم پشتیبانی در ارتباط باشید.
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Godel’s Read more…
Abstract:
————————————————————–
ترجمه ماشینی :
ویرایش جدید این کتاب درسی کلاسیک، مقدمه ای بر منطق ریاضی، ویرایش ششم، موضوعات اصلی منطق ریاضی را بررسی می کند. منطق گزارهای، منطق مرتبه اول، نظریه اعداد مرتبه اول، نظریه مجموعههای بدیهی و نظریه محاسبات را پوشش میدهد. این متن همچنین نتایج اصلی گودل، چرچ، کلین، راسر و تورینگ را مورد بحث قرار میدهد. ویرایش ششم شامل کار اخیر بر روی قضیه ناقص بودن دوم گودل است. یک ضمیمه در اثبات سازگاری برای محاسبات مرتبه اول. این ضمیمه آخرین بار در چاپ اول ظاهر شد. ارائه شده است. ادامه مطلب…
چکیده:
tag : دانلود کتاب مقدمه ای بر منطق ریاضی , Download مقدمه ای بر منطق ریاضی , دانلود مقدمه ای بر منطق ریاضی , Download Introduction to mathematical logic Book , مقدمه ای بر منطق ریاضی دانلود , buy مقدمه ای بر منطق ریاضی , خرید کتاب مقدمه ای بر منطق ریاضی , دانلود کتاب Introduction to mathematical logic , کتاب Introduction to mathematical logic , دانلود Introduction to mathematical logic , خرید Introduction to mathematical logic , خرید کتاب Introduction to mathematical logic ,
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.