<電子ブック>
Function Algebras on Finite Sets : Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau
(Springer Monographs in Mathematics. ISSN:21969922)
版 | 1st ed. 2006. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 2006 |
本文言語 | 英語 |
大きさ | XIV, 670 p : online resource |
著者標目 | *Lau, Dietlinde author SpringerLink (Online service) |
件 名 | LCSH:Algebra LCSH:Mathematical logic LCSH:Computer arithmetic and logic units FREE:Algebra FREE:Mathematical Logic and Foundations FREE:Arithmetic and Logic Structures |
一般注記 | Preliminaries -- Preliminaries -- Universal Algebra -- Basic Concepts of Universal Algebra -- Lattices -- Hull Systems and Closure Operators -- Homomorphisms, Congruences, and Galois Connections -- Direct and Subdirect Products -- Varieties, Equational Classes, and Free Algebras -- Function Algebras -- Basic Concepts, Notations, and First Properties -- The Galois-Connection Between Function- and Relation-Algebras -- The Subclasses of P2 -- The Subclasses of Pk Which Contain Pk1 -- The Maximal Classes of Pk -- Rosenberg’s Completeness Criterion for Pk -- Further Completeness Criteria -- Some Properties of the Lattice -- Congruences and Automorphisms on Function Algebras -- The Relation Degree and the Dimension of Subclasses of Pk -- On Generating Systems and Orders of the Subclasses of Pk -- Subclasses of Pk,2 -- Classes of Linear Functions -- Submaximal Classes of P3 -- Finite and Countably Infinite Sublattices of Depth 1 or 2 of -- The Maximal Classes of ?a?Q Polka for Q Ek -- Maximal Classes of PolkEl for 2 ? l < k -- Further Submaximal Classes of Pk -- Minimal Classes and Minimal Clones of Pk -- Partial Function Algebras 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 HTTP:URL=https://doi.org/10.1007/3-540-36023-9 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540360230 |
|
電子リソース |
|
EB00233710 |
類似資料
この資料の利用統計
このページへのアクセス回数:9回
※2017年9月4日以降