دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Combinatory Logic: Pure, Applied and Typed
دانلود کتاب منطق ترکیبی: خالص، کاربردی و تایپ شده
مشخصات کتاب
Combinatory Logic: Pure, Applied and Typed
ویرایش: 1
نویسندگان: Katalin Bimbo (Author)
سری:
ISBN (شابک) : 9781439800003, 9780429075285
ناشر: Chapman and Hall/CRC
سال نشر: 2011
تعداد صفحات: 348
زبان:
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب منطق ترکیبی: خالص، کاربردی و تایپ شده: علوم کامپیوتر، الگوریتم ها و پیچیدگی، ریاضیات و آمار، ریاضیات پیشرفته، ریاضیات گسسته، نظریه مجموعه ها
در صورت تبدیل فایل کتاب Combinatory Logic: Pure, Applied and Typed به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ترکیبی: خالص، کاربردی و تایپ شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ترکیبی: خالص، کاربردی و تایپ شده
منطق ترکیبی یکی از متنوع ترین حوزه های منطق است که به بخش هایی از منطق فلسفی، ریاضی و محاسباتی گره خورده است. این کتاب که به عنوان منبعی جامع برای تحولات کنونی منطق ترکیبی عمل می کند، تنها کتابی در نوع خود است که نتایج چهار دهه اخیر را پوشش می دهد. با استفاده از یک سبک خواننده پسند، auth
توضیحاتی درمورد کتاب به خارجی
Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the auth
فهرست مطالب
Elementary Combinatory Logic. Main Theorems. Systems of Arithmetic. Connection to -Calculi. (In)Equational Combinatory Logic. Models. Dual and Symmetric Combinatory Logic. Combinators in Applications. Typed Combinatory Logic. Appendix.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب HCI in Business, Government and Organizations: 7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings
دانلود کتاب Careers in architecture
دانلود کتاب Handbook of cluster analysis
دانلود کتاب How to Draw Famous Flowers Part – 2: Step by Step
