- Out-of-Stock
Relation Algebras
ID: 174692
Roger Maddux
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of algebras, has a mathematical significance, with applications in various fields --and in anthropology, economics, physics, and philosophical logic.
This comprehensive analysis of the subject is a systematic development of the subject.
Key Features:
- Presents historical milestones from a modern perspective
- Careful, thorough, detailed guide to the understanding of 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 analysis of the subject is a systematic development of the subject.
Key Features:
- Presents historical milestones from a modern perspective
- Careful, thorough, detailed guide to the understanding of 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
Other products in the same category (16)
A minisumo robot on a tracked chassis with Pololu 100:1 HP motors. Fully assembled robot, additionally requires four AA batteries. Pololu 3127
Retired
No product available!
A module that allows you to connect ArduCAM cameras with a CSI interface to a PC or minicomputers via the USB3.0 interface. It not only supports high-resolution, high-frame rate image sensors, but also a stereoscopic camera and IRCUT control functions. ArduCAM B0111
Retired
No product available!
A small minicomputer with a RockChip RK3328 quad-core SoC chip (ARM Cortex-A53). The computer is equipped with 2 GB DDR4 RAM, Gigabit Ethernet port and USB 3.0. Each module has its own unique MAC address. NanoPi NEO3 2GB
Retired
No product available!
White case for the NanoPi NEO3 minicomputer. It allows easy access to the Ethernet connector, USB, microSD cards and the power connector. FriendlyELEC Case for NEO3
Retired
No product available!
HDMI to CSI-2 bridge module based on TC358840 chip. It has a 22-pin FPC connector with a pitch of 0.5 mm and an audio connector. The input signal is supplied through the HDMI connector. Auvidea 70511
Retired
No product available!
Image capture module for Raspberry Pi. Captures high definition video from digital (HDMI/DVI), analog (YPbPr component) and computer (RGB) sources in 480p, 720p and 1080p. Picapture HD1
Retired
No product available!
Case dedicated to minicomputers Cubieboard and Cubieboard 2. Cubieboard Deluxe Case
Retired
No product available!
GPS module with u-blox ZED-F9R. Uses Automotive Dead Reckoning (ADR) technology. Provides highly accurate and continuous positioning by combining the 3D IMU sensor, vehicle dynamics model, correction data and GNSS measurements. SparkFun GPS-16475
Retired
No product available!
GPS module with u-blox ZED-F9R. Uses Automotive Dead Reckoning (ADR) technology. Provides highly accurate and continuous positioning by combining the 3D IMU sensor, vehicle dynamics model, correction data and GNSS measurements. SparkFun GPS-16344
Retired
No product available!
Module with 4 relays controlled by the I2C interface. Each relay can switch currents up to 40 A at 28-380 V AC. SparkFun KIT-16833
Retired
No product available!
ActivePresenter is a handy tool for creating interactive e-learning training, quizzes, software simulations or even educational games
Retired
No product available!
A small USB-UART TTL converter module based on the CH340N chip with a microUSB connector. Equipped with a LED indicating power.
Retired
No product available!
16-channel logic analyzer with a maximum sampling frequency of 100 MHz. It can decode data under most popular communication protocols. Works with Windows systems. LA1016
Retired
No product available!
USB camera module with a resolution of 8 MP based on a Sony IMX179 1/3.2" matrix compatible with UVC. It has a variable focal length adjustable in the range from 2.8 to 12 mm. Equipped with a CS mount lens with an integrated UV filter. ArduCAM UB0226
Retired
No product available!
The evaluation kit is equipped with the Lattice iCE40 HX FPGA chip. The kit is supported by iCEcube2 and Verilog and Lucid languages. SparkFun DEV-16526
Retired
No product available!
Handheld thermal imaging camera with a 3.2" LCD display. It measures the temperature in the range from -20 to 300°C with an accuracy of 2°C. HTI HT-19
Retired
No product available!
Roger Maddux