دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Popular lectures on mathematical logic
دانلود کتاب سخنرانی های محبوب در مورد منطق ریاضی
مشخصات کتاب
Popular lectures on mathematical logic
ویرایش: Revised
نویسندگان: Wang. Hao
سری: Dover Books on Mathematics
ISBN (شابک) : 0486676323, 9780486676326
ناشر: Dover Publications
سال نشر: 1993
تعداد صفحات: 289
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Popular lectures on mathematical logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخنرانی های محبوب در مورد منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخنرانی های محبوب در مورد منطق ریاضی
یک منطق دان و فیلسوف مشهور به اشکال مختلف منطق ریاضی می پردازد
و هم در زمینه زیربنای نظری و هم کاربردهای عملی بحث می کند.
نویسنده هائو وانگ مفاهیم و نظریه‌های اصلی این رشته را در یک
زمینه تاریخی و توسعه بررسی می‌کند و سپس بر چهار حوزه اصلی منطق
ریاضی معاصر تمرکز می‌کند: نظریه مجموعه‌ها، نظریه مدل، نظریه
بازگشت و سازه‌گرایی، و نظریه اثبات.
موضوعات شامل جایگاه مشکلات در توسعه نظریه های منطق و ارتباط
منطق با علوم کامپیوتر است. توجه ویژه ای به قضایای ناتمامی گودل،
منطق محمول و مسائل تصمیم گیری و کاهش آن، ساخت پذیری و فرضیه
پیوستار کانتور، نظریه اثبات و برنامه هیلبرت، سلسله مراتب و
یکسان سازی، اثبات مسئله چهار رنگ، مسئله دیوفانتین، مسئله
توتولوژی، و بسیاری موضوعات دیگر سه ضمیمه مفید متن را پایان می
دهند
توضیحاتی درمورد کتاب به خارجی
A noted logician and philosopher addresses various forms of
mathematical logic, discussing both theoretical underpinnings
and practical applications. Author Hao Wang surveys the central
concepts and theories of the discipline in a historical and
developmental context, and then focuses on the four principal
domains of contemporary mathematical logic: set theory, model
theory, recursion theory and constructivism, and proof
theory.
Topics include the place of problems in the development of
theories of logic and logic's relation to computer science.
Specific attention is given to Gödel's incompleteness theorems,
predicate logic and its decision and reduction problems,
constructibility and Cantor's continuum hypothesis, proof
theory and Hilbert's program, hierarchies and unification,
proof of the four-color problem, the Diophantine problem, the
tautology problem, and many other subjects. Three helpful
Appendixes conclude the text
