کتاب Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing اثر Stefania Centrone AND Klaus Mainzer انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
محاسبات منطق زمانی به طور گسترده در علوم کامپیوتر مدرن استفاده می شود. سازماندهی موقت جریان اطلاعات در معماری های مختلف لپ تاپ، اینترنت یا ابررایانه ها بدون محاسبات زمانی مناسب امکان پذیر نخواهد بود. در عصر دیجیتالی شدن و کاربردهای فناوری پیشرفته، مردم اغلب نمی‌دانند که منطق زمانی عمیقاً در فلسفه روش‌ها ریشه دارد. درک عمیق این ریشه‌ها راه‌هایی را به روی محاسبات مدرن منطق زمانی که با گسترش منطق مودال با عملگرهای زمانی پدید آمده‌اند، باز می‌کند.
از نظر محاسباتی، عملگرهای زمانی را می توان در فرمالیسم های مختلف با پیچیدگی فزاینده مانند منطق اساسی مدال (BML)، منطق زمانی خطی (LTL)، منطق درخت محاسباتی (CTL) و منطق درخت محاسبات کامل (CTLx) معرفی کرد. از لحاظ نظری اثباتی، این فرمالیسم‌های منطق زمانی را می‌توان با حساب متوالی جنتزن، حساب مبتنی بر تابلو، حساب مبتنی بر خودکار، حساب مبتنی بر بازی و حساب دیالوگ محور با مزایای متفاوت برای اهداف مختلف، به‌ویژه در رایانه تفسیر کرد. علوم پایه.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Stefania Centrone AND Klaus Mainzer
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
221
