کتاب Realizability اثر Jaap van Oosten انتشارات تازه ها
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
کتاب Realizability: An Introduction to its Categorical Side (واقعگرایی: معرفی جنبههای طبقهبندی شده آن) نوشته یاپ فن اوستن، کتابی است که در سال 2008 منتشر شده و به معرفی مفهوم واقعگرایی و کاربردهای آن در نظریههای محاسباتی و منطق ریاضی میپردازد. این کتاب با رویکردی طبقهبندیشده، مباحثی چون مدلهای واقعگرایی، واقعگرایی برای زبانهای برنامهنویسی، نظریههای نوعدار و واقعگرایی طبقهبندیشده را پوشش میدهد. یاپ فن اوستن استاد دانشگاه آمستردام و از محققان برجسته در حوزه منطق ریاضی و نظریههای محاسباتی است. این کتاب به عنوان منبع درسی مناسبی برای دانشجویان تحصیلات تکمیلی محسوب میشود.
نویسنده
Jaap van Oosten
ناشر
تازه ها
شابک
9780444550200
موضوع
واقعگرایی، منطق ریاضی، نظریههای محاسباتی
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
332
گروه سنی
بزرگسال
وزن
332 گرم
