ورود به حساب کاربری

خرید کتاب Mathematical Logic for Computer Science

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Mathematical Logic for Computer Science
از خودتان درباره کتاب توضیح کوتاهی بنویسید
"Mathematical Logic for Computer Science" is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.

The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.

The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

نویسنده

Mordechai Ben-Ari

شابک

9780135641392
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Topologia de Espacios Metricos.

Topologia de Espacios Metricos.

Ignacio L I...
20
هزار تومان
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mordechai B...
20
هزار تومان
Topologia de Espacios Metricos.

Topologia de Espacios Metricos.

Ignacio L I...
20
هزار تومان
9780763717612

9780763717612

بدون نویسنده
20
هزار تومان
Windows Server 2008 : guía del administrador.

Windows Server 2008 : guía del administrador.

Marty Matthews
20
هزار تومان
Algebra, Logic and Combinatorics

Algebra, Logic and Combinatorics

Frank Smith
20
هزار تومان
Logic for Computer Scientists

Logic for Computer Scientists

Uwe Schöning
20
هزار تومان
Introduction to Logic

Introduction to Logic

Alfred Tarski
20
هزار تومان
Frege

Frege

Matthias Sc...
20
هزار تومان
Ensayos sobre la dialéctica, estructura y unidad de las matematicas modernas

Ensayos sobre la dialéctica, estructura y unidad de las matematicas modernas

Albert Laut...
20
هزار تومان
Fuzzy Logic and Soft Computing

Fuzzy Logic and Soft Computing

Bernadette ...
20
هزار تومان
Selected Works

Selected Works

Ludwik Bork...
20
هزار تومان
Time for Verification

Time for Verification

Doron A. Peled
20
هزار تومان
Dynamic Logic

Dynamic Logic

David Harel
20
هزار تومان
An outline of set theory

An outline of set theory

James M Henle
20
هزار تومان
A Structuralist Theory of Logic

A Structuralist Theory of Logic

Arnold Koslow
20
هزار تومان
Logicism, Intuitionism, and Formalism : What has Become of Them?

Logicism, Intuitionism, and Formalism : What has Become of Them?

Sten Lindst...
20
هزار تومان
El juego de la lógica y otros escritos

El juego de la lógica y otros escritos

Alfredo Deaño
20
هزار تومان
Fundamentos de lógica matemática y computación

Fundamentos de lógica matemática y computación

Joaquín A...
20
هزار تومان
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Richard Chi...
20
هزار تومان
Fuzzy Logic in Geology

Fuzzy Logic in Geology

Robert V. D...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن