Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Lau D. — Function Algebras on Finite Sets
Lau D. — Function Algebras on Finite Sets



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Function Algebras on Finite Sets

Автор: Lau D.

Аннотация:

Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied.

This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory.

This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 688

Добавлена в каталог: 10.05.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Relation, (l; 2)-universal      518
Relation, (l;r)-central      517
Relation, (l;r)-homogeneous      540
Relation, (l;r)-universal      518
Relation, areflexive      614
Relation, central      173
Relation, central element $c\in E_l$      517
Relation, coherent      615
Relation, derivable      127
Relation, diagonal      126
Relation, h-ary      125
Relation, h-ary elementary      174
Relation, h-regular      178
Relation, h-universal      175
Relation, induced relation      269
Relation, invariant of the function f      130
Relation, irredundant      605
Relation, length      126
Relation, M-permissible      363
Relation, primitive      197
Relation, quasidiagonal      615
Relation, row      126
Relation, strong      179
Relation, strongly (l; 2)-homogeneous      517
Relation, strongly (l; r)-homogeneous      540
Relation, strongly homogeneous      204
Relation, totally (l;r)-reflexive      517
Relation, totally (l;r)-symmetric      517
Relation, totally reflexive      174
Relation, totally symmetric      174
Relation, unary transversal to s      556
Relation, weakly (l; r)-central      517
Relation, width      126
Relation-pair algebras      141
Replacement of the i-th variable of f through the function g and the changing of the denotation of variables      95
Replacement rule      82
Representation theorem for functions of $P_A$      98
Residue class ring      58
Right zero      241
Ring      28
Ring with unit element      28
Ring, ideal      58
Ring, unitary      28
Rosenberg’s completeness criterion      191
Selector      93
Semigroup      28
Semigroup, commutative      28
Semilattice      29
Semiprojection      591
Semiring      28
Set of all invariants      131
Set of conjunctions      147
Set of constant functions of $P_2$      147
Set of diagonal relations      126
Set of disjunctions      147
Set of linear functions of $P_2$      147
Set of monotone functions of $P_2$      146
Set of projections of $P_2$      147
Set of self-dual functions of $P_2$      146
Set of the h-ary relations on $E_k$      126
Set, $C_H$-basis      49
Set, $C_H$-independent      49
Set, basis      49
Set, closed      46 97
Set, complete      98
Set, complete in a class      98
Set, finitely generated      48
Set, generated      46
Set, independent      49
Set, infimum of a subset      37
Set, J-closed      274
Set, linearly ordered      36
Set, partially ordered      36
Set, partition      44
Set, supremum of a subset      36
Set, totally ordered      36
Sheffer-function      211
Sheffer-function for $Pol_k\rho$      10 307
Slupecki-function      211
subclass      97
Subclass, congruence on      234
Subclass, depth      433
Subclass, dimension      291
Subclass, maximal      98
Subclass, relation degree      291
Subdirect product      66
Subdirect representation      67
Subdirectly irreducible      67
Substitution rule      82 107
Superposition operations      94
Superposition over F      96
Tautology      106
Term      74
Term algebra      74
Term function      75
Term, induces a term function      75
Theorem of Webb      215
Theorem on the orders of the maximal classes      309
Theorem over the cardinality of $\mathbb{L}_k$      221
Transitive, t-fold      218
Tuple, h-tuple      125
Universe      see “Algebra”
Valuation      106
Variable      74
Variable, bound      112
Variable, essential      93
Variable, fictitious      93
Variable, free      112
Variety      72
Vector space over the field K      29
Zero-congruence      see “Congruence”
Zigzag      325
Zorn’s Lemma      68
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте