دانلود کتاب Executing Temporal Logic Programs
49,000 تومان
اجرای برنامه های منطقی زمانی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 125 |
| حجم فایل | 491 کیلوبایت |
| کد کتاب | 9780521310994,0521310997 |
| نویسنده | Ben C. Moszkowski |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1986 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
اجرای برنامه های منطقی زمانی
منطق زمانی به عنوان یک فرمالیسم جذاب و همه کاره برای تعیین دقیق و استدلال در مورد برنامه های کامپیوتری، مدارهای دیجیتال و سیستم های ارسال پیام به رسمیت شناخته می شود. این کتاب به معرفی Tempura، یک زبان برنامه نویسی مبتنی بر منطق زمانی می پردازد. Tempura راهی برای اجرای مستقیم مشخصات منطق زمانی مناسب مدارهای دیجیتال، برنامه های موازی و سایر سیستم های پویا ارائه می دهد. از آنجایی که هر عبارت تمپورا یک فرمول زمانی است، کل فرمالیسم منطق زمانی را می توان به عنوان زبان ادعا و معناشناسی استفاده کرد. یک نتیجه این است که Tempura دارای دو ویژگی ظاهرا متناقض یک زبان برنامه نویسی منطقی بودن و داشتن ساختارهای ضروری مانند عبارات انتساب است. این ارائه به بررسی منطق زمانی فاصله ای می پردازد، یک فرمالیسم با عملگرهای زمانی معمولی مانند (بعدی) و 2 (همیشه) و همچنین موارد کمتر شناخته شده مانند chop. این زمینه را برای Tempura فراهم می کند. طراحی یک مفسر برای Tempura همچنین شامل انواع نمونههای برنامه Tempura است که نحوه مدلسازی سختافزار و نرمافزار را نشان میدهد.
Executing Temporal Logic Programs
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.