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

جبرهای فورک در جبر، منطق و علوم کامپیوتر

Fork Algebras in Algebra, Logic and Computer Science

دانلود کتاب Fork Algebras in Algebra, Logic and Computer Science (به فارسی: جبرهای فورک در جبر، منطق و علوم کامپیوتر) نوشته شده توسط «Marcelo Fabian Frias»

اطلاعات کتاب جبرهای فورک در جبر، منطق و علوم کامپیوتر

موضوع اصلی: جبر

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

ناشر: World Scientific

نویسنده: Marcelo Fabian Frias

زبان: English

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

سال انتشار: 2002

تعداد صفحه: 230

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

کد کتاب: 9789810248765 , 9810248768 , 9789812777928

توضیحات کتاب جبرهای فورک در جبر، منطق و علوم کامپیوتر

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

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.

دانلود کتاب «جبرهای فورک در جبر، منطق و علوم کامپیوتر»

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

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

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