کتاب Logic Colloquium 2000 اثر جمعي از نويسندگان انتشارات A K Peters/CRC Press
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
Logic Colloquium 2000 (همایش منطق 2000) نوشته Rene Cori، Alexander Razborov، Stevo Todorcevic (رنه کوری، الکساندر رازبوروف، استوو تودورسویچ) مجموعه مقالاتی است که در سال 2002 میلادی به چاپ رسیده است. این کتاب حاوی مقالات ارائه شده در همایش منطق سال 2000 در زمینههای مختلف منطق ریاضی و منطق محاسباتی است. مقالات این کتاب دربرگیرنده موضوعاتی همچون نظریه مدلها، منطق غیرکلاسیک، نظریه اثبات، نظریه ردهها، منطق توپولوژیکی و کاربرد منطق در علوم کامپیوتر است. این مجموعه به عنوان یکی از منابع معتبر در حوزه منطق ریاضی محسوب میشود و توسط متخصصان و دانشجویان این حوزه مورد استفاده قرار میگیرد.
نویسنده
جمعي از نويسندگان
ناشر
A K Peters/CRC Press
شابک
9781568812526
موضوع
منطق ریاضی، منطق محاسباتی، نظریه مدلها
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
350
گروه سنی
بزرگسال
وزن
350 گرم
