دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Klaus Denecke (Author), Shelly L. Wismath (Author) سری: ISBN (شابک) : 9781420057522, 9781351993050 ناشر: Chapman and Hall/CRC سال نشر: 2002 تعداد صفحات: 396 زبان: فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب جبر جهانی و کاربردها در علوم کامپیوتر نظری: علوم کامپیوتر، الگوریتم ها و پیچیدگی، ریاضیات و آمار، ریاضیات پیشرفته، جبر، ریاضیات گسسته، نظریه مجموعه ها
در صورت تبدیل فایل کتاب Universal Algebra and Applications in Theoretical Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر جهانی و کاربردها در علوم کامپیوتر نظری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
BASIC CONCEPTS
Algebras
Examples
Subalgebras
Congruence Relations and Quotients
Exercises
GALOIS CONNECTIONS AND CLOSURES
Closure Operators
Galois Connections
Concept Analysis
Exercises
HOMOMORPHISMS AND ISOMORPHISMS
The Homomorphism Theorem
The Isomorphism Theorems
Exercises
DIRECT AND SUBDIRECT PRODUCTS
Direct Products
Subdirect Products
Exercises
TERMS, TREES, AND POLYNOMIALS
Terms and Trees
Term Operations
Polynomials and Polynomial Operations
Exercises
IDENTITIES AND VARIETIES
The Galois-Connection (Id, Mod)
Fully Invariant Congruence Relations
The Algebraic Consequence Relation
Relatively Free Algebras
Varieties
The Lattice of All Varieties
Finite Axiomatizability
Exercises
TERM REWRITING SYSTEMS
Confluence
Reduction Systems
Term Rewriting
Termination of Term Rewriting Systems
Exercises
ALGEBRAIC MACHINES
Regular Languages
Finite Automata
Algebraic Operations on Finite Automata
Tree-Recognizers
Regular Tree Grammars
Operations on Tree Languages
Minimal Tree-Recognizers
Tree Transducers
Turing Machines
Undecidable Problems
Exercises
MAL`CEV-TYPE CONDITIONS
Congruence Permutability
Congruence Distributivity
Arithmetical Varieties
n-Modularity and n-Permutability
Congruence Regular Varieties
Two-Element Algebras
Exercises
CLONES AND COMPLETENESS
Clones as Algebraic Structures
Operations and Relations
The Lattice of all Boolean Clones
The Functional Completeness Problem
Primal Algebras
Different Generalizations of Primality
Preprimal Algebras
TAME CONGRUENCE THEORY
Minimal Algebras
Tame Congruence Relations
Permutation Algebras
The Types of Minimal Algebras
Mal`cev Conditions and Omitting Types
Residually Small Varieties
TERM CONDITION AND COMMUTATOR
The Term Condition
The Commutator
COMPLETE SUBLATTICES
Conjugate Pairs of Closure Operators
Galois-Closed Subrelations
Closure Operators on Complete Lattices
G-CLONES AND M-SOLID VARIETIES
G-Clones
H-Clones
M-Solid Varieties
Intervals in the Lattice L(t)
HYPERSUBSTITUTIONS AND MACHINES
The Hyperunification Problem
Hyper-Tree-Recognizers
Tree Transformations
BIBLIOGRAPHY
INDEX