دانلود کتاب Fork Algebras in Algebra, Logic and Computer Science
49,000 تومان
جبرهای فورک در جبر، منطق و علوم کامپیوتر
| موضوع اصلی | جبر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | World Scientific |
| تعداد صفحه | 230 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 9789810248765,9810248768,9789812777928 |
| نویسنده | Marcelo Fabian Frias |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
جبرهای فورک در جبر، منطق و علوم کامپیوتر
جبرهای فورک یک فرمالیسم مبتنی بر حساب رابطه ای است که دارای ویژگی های جبری و متالوژیکی جالبی است. قابلیت نمایش آنها به ویژه در علوم کامپیوتر جذاب است، زیرا اجازه می دهد تا ارتباط نزدیک تری بین زبان و مدل های آنها برقرار شود. این کار گزارش دقیقی از نتایج ارائه می دهد و برخی از کاربردهای جبر فورک را در علوم کامپیوتر، به ویژه در مشخصات سیستم و ساخت برنامه ارائه می دهد. کاربردهای زیادی از جبر فورک در روشهای رسمی پیشبینی شده است و این کار تمام موارد ضروری را در بر میگیرد تا درک بهتری برای خواننده فراهم کند.
Fork Algebras in Algebra, Logic and Computer Science
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.