دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Many-sorted Logic and its Applications
دانلود کتاب منطق بسیار مرتب شده و کاربردهای آن
مشخصات کتاب
Many-sorted Logic and its Applications
ویرایش: 1 نویسندگان: K. Meinke, J. V. Tucker سری: Wiley professional computing ISBN (شابک) : 0471934852, 9780471934851 ناشر: Wiley سال نشر: 1993 تعداد صفحات: 208 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 27 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب منطق بسیار مرتب شده و کاربردهای آن: طراحی رایانه، ریزپردازنده‌ها و طراحی سیستم، سخت‌افزار و DIY، رایانه‌ها و فناوری، برنامه‌نویسی، APIها و محیط‌های عملیاتی، الگوریتم‌ها، برنامه‌نویسی اپل، توسعه بین پلتفرم‌ها، عملکردی، برنامه‌نویسی بازی، گرافیک و چند رسانه‌ای، مقدماتی و مقدماتی، زبان‌ها و زبان‌ها برنامه نویسی مایکروسافت، برنامه های موبایل، برنامه نویسی موازی، طراحی نرم افزار، تست و مهندسی، برنامه نویسی وب، کامپیوتر و فناوری، زبان های برنامه نویسی، Ada، Ajax، برنامه نویسی زبان اسمبلی، بورلند دلفی، C & C++، C#، CSS
در صورت تبدیل فایل کتاب Many-sorted Logic and its Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق بسیار مرتب شده و کاربردهای آن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق بسیار مرتب شده و کاربردهای آن
متخصصان برجسته مقالاتی را ارائه می کنند که در آن به بررسی مشکلات مربوط به این موضوع می پردازند. پوشش شامل مطالعات موردی در ترجمه منطق برای منطق دینامیک مرتبه دوم و گزاره ای است. جبرهای مرتب شده و منطق معادلات. مبانی منطقی هوش مصنوعی به همراه انواع روش هایی که برای رمزگذاری اطلاعات وجود دارد. تکنیک های تأیید برنامه مانند 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.
