دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic
دانلود کتاب منطق
مشخصات کتاب
Logic
ویرایش: نویسندگان: T. E. Forster, ed. Dexter Chua سری: Cambridge Mathematical Tripos Part III Lecture Notes ناشر: University of Cambridge سال نشر: 2017 تعداد صفحات: [62] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 508 Kb
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Proof theory and constructive logic Natural deduction Curry–Howard correspondence Possible world semantics Negative interpretation Constructive mathematics Model theory Universal theories Products Ehrenfeucht–Mostowski theorem The omitting type theorem Computability theory Computability Decidable and semi-decidable sets Computability elsewhere Logic Computability by lambda-calculus Reducibility Well-quasi-orderings Index
