دانلود کتاب Lectures in Logic and Set Theory. Volume 1: Mathematical Logic (به فارسی: سخنرانی در منطق و نظریه مجموعه ها. جلد 1: منطق ریاضی) نوشته شده توسط «George Tourlakis»
اطلاعات کتاب سخنرانی در منطق و نظریه مجموعه ها. جلد 1: منطق ریاضی
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: George Tourlakis
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 328
حجم کتاب: 3 مگابایت
کد کتاب: 0-511-06027-0
توضیحات کتاب سخنرانی در منطق و نظریه مجموعه ها. جلد 1: منطق ریاضی
این اثر دو جلدی، شکاف بین توضیحات مقدماتی منطق (یا نظریه مجموعه ها) و ادبیات تحقیق را پر می کند. این می تواند به عنوان یک متن در یک دوره کارشناسی پیشرفته یا دوره کارشناسی ارشد در ریاضیات، علوم کامپیوتر یا فلسفه استفاده شود. مجلدها به سبک سخنرانی کاربر پسند نوشته شده اند که آنها را برای مطالعه شخصی یا کلاس به همان اندازه مؤثر می کند. جلد اول شامل تکنیک‌های اثبات رسمی، کاربردهای فشردگی (شامل تحلیل غیراستاندارد)، محاسبه‌پذیری و ارتباط آن با پدیده کامل بودن، و اولین ارائه اثبات کامل ناقص بودن دوم گودل از زمان هیلبرت و گروندلاگن برنای است.
دانلود کتاب «سخنرانی در منطق و نظریه مجموعه ها. جلد 1: منطق ریاضی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.