Buch, Englisch, 758 Seiten, Format (B × H): 160 mm x 230 mm, Gewicht: 1284 g
Buch, Englisch, 758 Seiten, Format (B × H): 160 mm x 230 mm, Gewicht: 1284 g
ISBN: 978-0-444-52013-5
Verlag: Elsevier BV
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.
Zielgruppe
Mathematicians, logicians, computer scientists, and philosophers
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Chapter 1. Calculus of relationsChapter 2. Set theoryChapter 3. General algebraChapter 4. Logic with equalityChapter 5. Boolean algebrasChapter 6. Relation algebrasChapter 7. Algebraic logicChapter 8. 4329 finite integral relation algebras




