دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب What is mathematical logic?
دانلود کتاب منطق ریاضی چیست؟
مشخصات کتاب
What is mathematical logic?
دسته بندی: منطق ویرایش: نویسندگان: C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams سری: ISBN (شابک) : 0486264041, 9780486264042 ناشر: Dover Publications سال نشر: 1990 تعداد صفحات: 90 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 883 کیلوبایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب منطق ریاضی چیست؟: ریاضیات، منطق ریاضی
در صورت تبدیل فایل کتاب What is mathematical logic? به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی چیست؟ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ریاضی چیست؟
این مقدمه پر جنب و جوش برای منطق ریاضی، که به راحتی برای غیر
ریاضیدانان قابل دسترسی است، یک بررسی تاریخی، پوشش محاسبات
محمول، نظریه مدل، قضایای گودل، محاسبه پذیری و توابع بازگشتی،
ثبات و استقلال در نظریه مجموعه های بدیهی، و بسیاری موارد دیگر
را ارائه می دهد. پیشنهاداتی برای مطالعه بیشتر نمودارها.
توضیحاتی درمورد کتاب به خارجی
This lively introduction to mathematical logic, easily
accessible to non-mathematicians, offers an historical survey,
coverage of predicate calculus, model theory, Godel’s theorems,
computability and recursivefunctions, consistency and
independence in axiomatic set theory, and much more.
Suggestions for Further Reading. Diagrams.
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Symbolic Logic: A First Course
دانلود کتاب Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
دانلود کتاب Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis]
دانلود کتاب Proper and improper forcing
دانلود کتاب Systems of Logic
دانلود کتاب Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”
دانلود کتاب Yeats And the Logic of Formalism
دانلود کتاب Set Theory. An Introduction to Independence Proofs
