- Out-of-Stock
![Mathematical logic in computer science Mathematical logic in computer science](https://kamami.pl/1434-large_default/mathematical-logic-in-computer-science.jpg)
free shipping in Poland for all orders over 500 PLN
If your payment will be credited to our account by 11:00
Each consumer can return the purchased goods within 14 days
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
N18G is a medium-sized, robust tool box, designed for storing and transporting small tools, closed with 2 latches
No product available!
7\'\' Powertip LCD-TFT 800x480 px display with touch-panel, LED backlight, DC/DC converters, compatible with SoMLabs VisionSTK-xx and VisionCB base boards. SL-TFT7-TP-800-480
No product available!
No product available!
Single-board computer with Samsung S3C2440 processor (ARM9) with 7 inch LCD and touchpanel
No product available!
No product available!
No product available!
No product available!
No product available!
No product available!
3-color (red, black, white) e-Paper display with a diagonal of 1.54" and a resolution of 200x200 px with passive power supply via NFC. Waveshare 1.54inch NFC-Powered e-Paper (BB)
No product available!
No product available!
No product available!
MiniZed™ is a Zynq 7Z007S single-core development board. With the advent of the latest cost-optimized portfolio from Xilinx, this board targets entry-level Zynq developers with a low-cost prototyping platform.
No product available!
The SparkFun Qwiic Shield for Thing Plus provides an easy-to-assemble way to add the SparkFun Qwiic ecosystem to any development board with the Thing Plus Footprint. It connects the I2C bus (GND, 3.3V, SDA, and SCL) on your Thing Plus to four SparkFun Qwiic connectors. Sparkfun DEV-16138
No product available!
No product available!
No product available!