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

منطق برای ریاضیدانان

Logic for Mathematicians

دانلود کتاب Logic for Mathematicians (به فارسی: منطق برای ریاضیدانان) نوشته شده توسط «A. G. Hamilton»


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

موضوع اصلی: منطق

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

ناشر: Cambridge University Press

نویسنده: A. G. Hamilton

زبان: English

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

سال انتشار: 1988

تعداد صفحه: 117

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

کد کتاب: 0521368650 , 9780521368650 , 0521218381 , 0521292913

نوبت چاپ: 2

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

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


Intended for logicians and mathematicians, this text is based on Dr. Hamilton’s lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use of formal mathmematical and logical systems. The revision of this very successful textbook includes new sections on skolemization and the application of well-formed formulae to logic programming; numerous corrections have been made and extra exercises added.

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

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

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