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

اجرای برنامه های منطقی زمانی

Executing Temporal Logic Programs

دانلود کتاب Executing Temporal Logic Programs (به فارسی: اجرای برنامه های منطقی زمانی) نوشته شده توسط «Ben C. Moszkowski»

اطلاعات کتاب اجرای برنامه های منطقی زمانی

موضوع اصلی: منطق

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

ناشر: Cambridge University Press

نویسنده: Ben C. Moszkowski

زبان: English

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

سال انتشار: 1986

تعداد صفحه: 125

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

کد کتاب: 9780521310994 , 0521310997

توضیحات کتاب اجرای برنامه های منطقی زمانی

منطق زمانی به عنوان یک فرمالیسم جذاب و همه کاره برای تعیین دقیق و استدلال در مورد برنامه های کامپیوتری، مدارهای دیجیتال و سیستم های ارسال پیام به رسمیت شناخته می شود. این کتاب به معرفی Tempura، یک زبان برنامه نویسی مبتنی بر منطق زمانی می پردازد. Tempura راهی برای اجرای مستقیم مشخصات منطق زمانی مناسب مدارهای دیجیتال، برنامه های موازی و سایر سیستم های پویا ارائه می دهد. از آنجایی که هر عبارت تمپورا یک فرمول زمانی است، کل فرمالیسم منطق زمانی را می توان به عنوان زبان ادعا و معناشناسی استفاده کرد. یک نتیجه این است که Tempura دارای دو ویژگی ظاهرا متناقض یک زبان برنامه نویسی منطقی بودن و داشتن ساختارهای ضروری مانند عبارات انتساب است. این ارائه به بررسی منطق زمانی فاصله ای می پردازد، یک فرمالیسم با عملگرهای زمانی معمولی مانند (بعدی) و 2 (همیشه) و همچنین موارد کمتر شناخته شده مانند chop. این زمینه را برای Tempura فراهم می کند. طراحی یک مفسر برای Tempura همچنین شامل انواع نمونه‌های برنامه Tempura است که نحوه مدل‌سازی سخت‌افزار و نرم‌افزار را نشان می‌دهد.

Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and other dynamic systems. Since every Tempura statement is also a temporal formula, the entire temporal logic formalism can be used as the assertion language and semantics. One result is that Tempura has the two seemingly contradictory properties of being a logic programming language and having imperative constructs such as assignment statements.The presentation investigates Interval Temporal Logic, a formalism with conventional temporal operators such as (next) and 2 (always) as well as lesser known ones such as chop. This provides the basis for Tempura. The design of an interpreter for Tempura is also included as are a variety of sample Tempura programs illustrating how to model both hardware and software.

دانلود کتاب «اجرای برنامه های منطقی زمانی»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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