- Obecnie brak na stanie
Relation Algebras
ID: 174692
Roger Maddux
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
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
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
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
174692
Produkty z tej samej kategorii (16)
Moduł z 4 przekaźnikami SSR G3MC202P o obciążeniu do 2 A. Płytka została wyposażona w złącze Grove i komunikuje się przez I2C. Seeed Studio 103020135
Wycofany
Brak towaru
Wyświetlacz graficzny 192x64, 100x60mm, FSTN, podświetlaniem LED (White), sterownik zgodny z KS0108A, ext. temp.
Wycofany
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Ręczna kamera termowizyjna z wyświetlaczem LCD o przekątnej 3,2". Wykonuje pomiar temperatury w zakresie od -20 do 300°C z dokładnościa do 2°C. HTI HT-19
Wycofany
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Zestaw rozwojowy oparty na 32-bitowym mikrokontrolerze Arm Cortex-M4 o częstotliwości taktowania 180 MHz . Moduł ma wbudowaną pamięć 2MB Flash, 256 KB SRAM, kontroler SDRAM, HS USB i Ethernet MAC. TWR-K65F180M
Wycofany
Brak towaru
Moduł GPS z układem NEO-7M, wbudowaną anteną oraz złączem zewnętrznej anteny IPX. Współpracuje z systemami zasilanymi napięciami 3.3 oraz 5V. Wlutowane złącze kątowe
Wycofany
Brak towaru
Brak towaru
Minikomputer z czterordzeniowym procesorem Intel Celeron J4115 (2,5 GHz, 64-bitowy) posiada 2 gniazda na moduły pamięci RAM DDR4. Dodatkowo wyposażony jest w m.in.: gigabitowy Ethernet, port HDMI 2.0 i Display Port 1.2 4K/60Hz, cztery gniazda USB, 24 GPIO, slot PCI-e, dwa złącza SATA3. Rev-B+. ODROID H2+
Wycofany
Brak towaru
Brak towaru
Płytka wyświetlacza dla zestawu STM32F407G-DISC1. Wbudowany wyświetlacz o rezystancyjnym panelu dotykowym, ma. W zestawie znajduje się przewód elastyczny, pozwalający na dołączenie do płytki rozszerzającej STM32F4DIS-BB
Wycofany
Brak towaru
Roger Maddux