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

منطق زمان و محاسبات

Logics of Time and Computation

دانلود کتاب Logics of Time and Computation (به فارسی: منطق زمان و محاسبات) نوشته شده توسط «Robert Goldblatt»

اطلاعات کتاب منطق زمان و محاسبات

موضوع اصلی: ریاضیات محاسباتی

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

ناشر: CSLI Publications

نویسنده: Robert Goldblatt

زبان: English

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

سال انتشار: 1992

تعداد صفحه: 200

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

کد کتاب: 9780937073940 , 0937073946

نوبت چاپ: 2nd

توضیحات کتاب منطق زمان و محاسبات

نظریه اساسی منطق های گزاره ای معمولی و زمانی را بیان می کند. این نظریه را برای منطق‌های زمان گسسته (عدد صحیح)، متراکم (عقلانی) و پیوسته (واقعی)، به منطق زمانی از این پس، بعدی و تا، و برای منطق پویای گزاره‌ای برنامه‌های منظم اعمال می‌کند.

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

دانلود کتاب «منطق زمان و محاسبات»

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

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

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