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

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

Mathematical logic for computer science

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

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

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

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

ناشر: Springer

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

زبان: English

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

سال انتشار: 2003

تعداد صفحه: 309

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

کد کتاب: 1852333197 , 9781852333195

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

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

کتاب درسی ریاضیات به طور خاص برای موضوعات مهم در علوم کامپیوتر طراحی شده است که شامل قضایا و برهان ها و همچنین منطق صحیح است. موضوعات پوشش داده شده شامل حساب گزاره ای، حساب محمول، تفکیک، منطق هجو و منطق زمانی است. همچنین دارای یک وب سایت همراه است. پوشش نرم. DLC: منطقی، نمادین و ریاضی.

Mathematics textbook specifically geared towards the topics most important to computer science, featuring theorems and proofs, as well as sound logic. Topics covered include propositional calculus, predicate calculus, resolution, hoare logic, and temporal logic. Also features a companion Website. Softcover. DLC: Logic, Symbolic and mathematical.

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

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

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

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