کتاب الکترونیکی

سخنرانی در منطق و نظریه مجموعه ها. جلد 1: منطق ریاضی

Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

دانلود کتاب 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: منطق ریاضی

این اثر دو جلدی، شکاف بین توضیحات مقدماتی منطق (یا نظریه مجموعه ها) و ادبیات تحقیق را پر می کند. این می تواند به عنوان یک متن در یک دوره کارشناسی پیشرفته یا دوره کارشناسی ارشد در ریاضیات، علوم کامپیوتر یا فلسفه استفاده شود. مجلدها به سبک سخنرانی کاربر پسند نوشته شده اند که آنها را برای مطالعه شخصی یا کلاس به همان اندازه مؤثر می کند. جلد اول شامل تکنیک‌های اثبات رسمی، کاربردهای فشردگی (شامل تحلیل غیراستاندارد)، محاسبه‌پذیری و ارتباط آن با پدیده کامل بودن، و اولین ارائه اثبات کامل ناقص بودن دوم گودل از زمان هیلبرت و گروندلاگن برنای است.

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel’s 2nd incompleteness since Hilbert and Bernay’s Grundlagen.

دانلود کتاب «سخنرانی در منطق و نظریه مجموعه ها. جلد 1: منطق ریاضی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان