000 -LEADER |
fixed length control field |
03606nam a22004815i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-540-36023-0 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20161121231034.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100301s2006 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783540360230 |
-- |
978-3-540-36023-0 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/3-540-36023-9 |
Source of number or code |
doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA150-272 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PBF |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
MAT002000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
512 |
Edition number |
23 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Lau, Dietlinde. |
Relator term |
author. |
245 10 - TITLE STATEMENT |
Title |
Function Algebras on Finite Sets |
Medium |
[electronic resource] : |
Remainder of title |
A Basic Course on Many-Valued Logic and Clone Theory / |
Statement of responsibility, etc. |
by Dietlinde Lau. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Berlin, Heidelberg : |
Name of producer, publisher, distributor, manufacturer |
Springer Berlin Heidelberg, |
Date of production, publication, distribution, manufacture, or copyright notice |
2006. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XIV, 670 p. |
Other physical details |
online resource. |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 1# - SERIES STATEMENT |
Series statement |
Springer Monographs in Mathematics, |
International Standard Serial Number |
1439-7382 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematics. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Arithmetic and logic units, Computer. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Algebra. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematical logic. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematics. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Algebra. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematical Logic and Foundations. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Arithmetic and Logic Structures. |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Printed edition: |
International Standard Book Number |
9783540360223 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Springer Monographs in Mathematics, |
International Standard Serial Number |
1439-7382 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-36023-9 |
912 ## - |
-- |
ZDB-2-SMA |