دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Mathematicians
دانلود کتاب منطق ریاضیدانان
مشخصات کتاب
Logic for Mathematicians
دسته بندی: منطق ویرایش: 2 نویسندگان: A. G. Hamilton سری: ISBN (شابک) : 0521368650, 9780521368650 ناشر: Cambridge University Press سال نشر: 1988 تعداد صفحات: 232 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Logic for Mathematicians به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضیدانان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ریاضیدانان
این متن برای منطق دانان و ریاضیدانان در نظر گرفته شده است، این متن بر اساس سخنرانی های دکتر همیلتون به دانشجویان سال سوم و چهارم کارشناسی ریاضیات در دانشگاه استرلینگ است. نویسنده با پیش نیاز ریاضیات سال اول، دانش آموزان و ریاضیدانان حرفه ای را با تکنیک ها و نتایج اصلی منطق ریاضی آشنا می کند. در ارائه موضوع بدون سوگیری نسبت به جنبه ها، کاربردها یا پیشرفت های خاص، در چارچوب ریاضیات قرار می گیرد. برای تأکید بر سطح، متن از بحث غیررسمی به توصیف دقیق و استفاده از سیستم‌های ریاضی و منطقی رسمی پیش می‌رود. بازنگری این کتاب درسی بسیار موفق شامل بخش‌های جدیدی در مورد اسکولمی‌سازی و کاربرد فرمول‌های خوب در برنامه‌نویسی منطقی است. اصلاحات متعددی انجام شده و تمرینات اضافی اضافه شده است.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های مرتبط
دانلود کتاب La Formazione Della Teoria Degli Insiemi
دانلود کتاب Abstract set theory
دانلود کتاب Essential stability theory
دانلود کتاب Deduction: Automated Logic
