نرم افزار: سیستم ها: محاسبات علمی

منطق ریاضی

Mathematical Logic

دانلود کتاب Mathematical Logic (به فارسی: منطق ریاضی) نوشته شده توسط «Kleene S. C.»


اطلاعات کتاب منطق ریاضی

موضوع اصلی: ریاضیات

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

نویسنده: Kleene S. C.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2002

تعداد صفحه: 205

حجم کتاب: 21 مگابایت

توضیحات کتاب منطق ریاضی

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


This reprint of Kleene’s 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a variety of methods and techniques including model theory (truth tables), Hilbert-type proof theory, and proof theory through derived rules. Subsequent chapters cover topics formal number theory, Godel’s completeness theorem, Genzen’s theorem, Skolem’s paradox, and nonstandard models of arithmetic.

دانلود کتاب «منطق ریاضی»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.