توضیحات
Resolution of Equations in Algebraic Structures: Volume 1, Algebraic Techniques is a collection of papers from the ‘Colloquium on Resolution of Equations in Algebraic Structures’ held in Texas in May 1987. The papers discuss equations and algebraic structures relevant to symbolic computation and to the foundation of programming. One paper discusses the complete lattice of simulation congruences associated with the ground atomic theory of hierarchical specification, retrieving as the lattices maximum element Milners strong bisimulation for CCS. Another paper explains algebraic recognizability of subsets of free T-algebras, or equational theories, and covers discrete structures like those of words, terms, finite trees, and finite graphs. One paper proposes a general theory of unification using a category theoretic framework for various substitution systems including classical unification, E-unification, and order-sorted unification. Another paper shows the universality of algebraic equations in computer science. Fixpoint theorems in ordered algebraic structures can be applied in computer science. These theorems, or their variations, include semantics and proof theory, logic programming, as well as efficient strategies for answering recursive queries in deductive data bases. The collection is suitable for programmers, mathematicians, students, and instructors involved in computer science and computer technology.
————————————————————–
ترجمه ماشینی :
تفکیک معادلات در ساختارهای جبری: جلد 1، تکنیک های جبری مجموعه ای از مقالات از “کلوکیوم در مورد تفکیک معادلات در ساختارهای جبری” است که در تگزاس در می 1987 برگزار شد. پایه برنامه نویسی یک مقاله شبکه کامل همخوانیهای شبیهسازی مرتبط با تئوری اتمی زمین مشخصات سلسله مراتبی را مورد بحث قرار میدهد، و به عنوان عنصر شبکه حداکثر دوشبیهسازی قوی Milners برای CCS بازیابی میشود. مقاله دیگری تشخیص جبری زیرمجموعههای جبرهای T آزاد یا نظریههای معادله را توضیح میدهد و ساختارهای گسسته مانند کلمات، اصطلاحات، درختان محدود و نمودارهای محدود را پوشش میدهد. یک مقاله یک نظریه کلی از یکسان سازی را با استفاده از چارچوب نظری دسته بندی برای سیستم های جایگزینی مختلف از جمله یکسان سازی کلاسیک، یکسان سازی الکترونیکی و یکسان سازی مرتب شده پیشنهاد می کند. مقاله دیگری جهانی بودن معادلات جبری را در علوم کامپیوتر نشان می دهد. قضایای نقطه ثابت در ساختارهای جبری مرتب را می توان در علوم کامپیوتر به کار برد. این قضایا یا تغییرات آنها شامل معناشناسی و نظریه اثبات، برنامه نو
tag : دانلود کتاب حل معادلات در ساختارهای جبری، جلد 1: تکنیک های جبری , Download حل معادلات در ساختارهای جبری، جلد 1: تکنیک های جبری , دانلود حل معادلات در ساختارهای جبری، جلد 1: تکنیک های جبری , Download Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques Book , حل معادلات در ساختارهای جبری، جلد 1: تکنیک های جبری دانلود , buy حل معادلات در ساختارهای جبری، جلد 1: تکنیک های جبری , خرید کتاب حل معادلات در ساختارهای جبری، جلد 1: تکنیک های جبری , دانلود کتاب Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques , کتاب Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques , دانلود Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques , خرید Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques , خرید کتاب Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.