دانلود کتاب Many-sorted Logic and its Applications
کتاب منطق بسیار مرتب شده و کاربردهای آن نسخه زبان اصلی
دانلود کتاب منطق بسیار مرتب شده و کاربردهای آن بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Many-sorted Logic and its Applications
نام کتاب : Many-sorted Logic and its Applications
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق بسیار مرتب شده و کاربردهای آن
سری : Wiley professional computing
نویسندگان : K. Meinke, J. V. Tucker
ناشر : Wiley
سال نشر : 1993
تعداد صفحات : 208
ISBN (شابک) : 0471934852 , 9780471934851
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 27 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
کارشناسان برجسته مقالاتی را ارائه می‌کنند که مشکلاتی را در این زمینه مطرح می‌کنند. پوشش شامل مطالعات موردی در ترجمه منطق برای منطق دینامیک مرتبه دوم و گزاره ای است. جبرهای مرتب شده و منطق معادلات. مبانی منطقی هوش مصنوعی به همراه انواع روش هایی که برای رمزگذاری اطلاعات وجود دارد. تکنیک های تأیید برنامه مانند Floyd-Hoare، ادعای متناوب و منطق زمانی برنامه ها.
توضیحاتی در مورد کتاب به زبان اصلی :
Prominent experts present papers which discuss problems regarding this subject. Coverage includes case studies in the translation of logics for second-order and propositional dynamic logic; many-sorted algebras and equational logic; logical foundations of artificial intelligence along with a variety of methods that exist to encode information; program verification techniques such as Floyd-Hoare, intermittent assertion and temporal logic of programs.
پست ها تصادفی