- Out-of-Stock

Table of Contents
1. Introduction
2. The propositional calculus: formulas, models, semantic tables
3. Sentence calculus: command systems
4. The propositional calculus: resolution and diagrams of binary decisions
5. Predicate calculus: formulas, models, semantic tables
6. Predicate calculus: command systems
7. Predicate calculus: resolution
8. Programming in logic
9. Programs: semantics and verification
10. Programs: formal specifications in Z notation
11. Temporal logic: formulas, models, semantic tables
12. Temporal logic: command and application systems
No product available!
No product available!
No product available!
The device allows the presence of devices with BLE in networks with Ethernet protocol, extends the range of sensors iNode Care Sensor
No product available!
No product available!
No product available!
No product available!
No product available!
The model kit comes with a QR-code to the study guide about the mechanisms, the principal of their working, the main characteristics, formulas. It also includes interesting assignments.
Dive into augmented reality and look at how Mechanical Addiator and Mechanical Multiplier work. Interact with the models via a special AR application from Ugears.
UGEARS\' Arithmetic Kit, part of UGEARS\' STEM Lab collection, consists of two ready-to-assemble models: A Mechanical Addiator and a Mechanical Multiplier. UGears 70152
No product available!
No product available!
M12 mount lens included with adapter. Focal length 6 mm and FoV 70°. Designed to work with the Raspberry Pi HQ camera. ArduCAM LN023
No product available!
No product available!
No product available!
Car charger G50D is a practical solution for users looking for an efficient and safe power source while traveling. Thanks to fast charging, a multi-port design, and compatibility with 12 V and 24 V voltage, it works well in both passenger and commercial vehicles. Its aesthetic and compact design makes the charger not only look good but also meet the expectations of even the most demanding users.
No product available!
No product available!
No product available!