|
Login to ask the library to add a book.
|
|
Active Filter Settings
No Active Filters
|
|
|
|
|
first record
| previous record
| next record
| last record
|
full | marc
|
Record 1 of 1
|
|
| |
Total Requests 0 Unsatisfied Requests 0
|
|
You searched IISERK - Subject: Molecules Models.
|
| Request |
|
|
Call Number
|
511.324
|
|
Author
|
Maddux, R. D. (Roger D.), 1948-
|
|
Title
|
Relation algebras [electronic resource] / Roger D. Maddux.
|
|
Publication
|
Amsterdam ; Boston : Elsevier, 2006.
|
|
Material Info.
|
xxvi, 731 p. : ill. ; 24 cm.
|
|
Series
|
Studies in logic and the foundations of mathematics, 0049-237X ; v. 150
|
|
Summary Note
|
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject. Key Features: - Presents historical milestones from a modern perspective - Careful, thorough, detailed guide to understanding relation algebras - Provides a framework and unified perspective of the subject.
|
|
Notes
|
Includes bibliographical references (p. 713-722) and index.
|
|
Notes
|
Preface -- List of Figures -- List of Tables -- Chapter 1. Calculus of relations -- Chapter 2. Set theory -- Chapter 3. General algebra -- Chapter 4. Logic with equality -- Chapter 5. Boolean algebras -- Chapter 6. Relation algebras -- Chapter 7. Algebraic logic -- Chapter 8. 4329 finite integral relation algebras -- Bibliography -- Index.
|
|
Notes
|
Electronic reproduction. Amsterdam : Elsevier Science & Technology, 2007.
|
|
Subject
|
Relation algebras.
|
|
Subject
|
Booleaanse algebra.
|
|
Subject
|
Electronic books.
|
|
Added Entry
|
ScienceDirect (Online service)
|
|
Date
|
Year, Month, Day:01405141
|
|
Link
|
An electronic book accessible through the World Wide Web; click for information ScienceDirect
|
|
|
|
|
