نرم افزار: سیستم ها: محاسبات علمی

منطق ریاضی برای علوم کامپیوتر

Mathematical Logic for Computer Science

دانلود کتاب Mathematical Logic for Computer Science (به فارسی: منطق ریاضی برای علوم کامپیوتر) نوشته شده توسط «Mordechai Ben-Ari»

اطلاعات کتاب منطق ریاضی برای علوم کامپیوتر

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Mordechai Ben-Ari

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2003

تعداد صفحه: 160

حجم کتاب: 22 مگابایت

کد کتاب: 1852333197 , 9781852333195

نوبت چاپ: 2nd,Revised

توضیحات کتاب منطق ریاضی برای علوم کامپیوتر

این کتاب که برای ارائه پایه ای محکم در منطق ریاضی طراحی شده است، یک کتاب درسی ابتدایی و در عین حال دقیق را هم برای تحصیلات تکمیلی و هم برای کاربردهای منطق، مانند برنامه نویسی منطقی و مشخصات و تأیید رسمی ارائه می دهد. این متن ریاضیاتی را ارائه می‌کند که اغلب در کتاب‌های مقدماتی علوم کامپیوتر به‌طور کلی به آن پرداخته می‌شود، در حالی که از ساده‌ترین تکنیک‌ها به جای کلی‌ترین تکنیک‌های مورد استفاده در کتاب‌های ریاضی استفاده می‌شود.

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.

دانلود کتاب «منطق ریاضی برای علوم کامپیوتر»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان