- Obecnie brak na stanie
![Logika matematyczna w informatyce Logika matematyczna w informatyce](https://kamami.pl/1434-large_default/logika-matematyczna-w-informatyce.jpg)
darmowa wysyłka na terenie Polski dla wszystkich zamówień powyżej 500 PLN
Jeśli Twoja wpłata zostanie zaksięgowana na naszym koncie do godz. 11:00
Każdy konsument może zwrócić zakupiony towar w ciągu 14 dni bez zbędnych pytań
Spis treści
1. Wprowadzenie
2. Rachunek zdań: formuły, modele, tabele semantyczne
3. Rachunek zdań: systemy dowodzenia
4. Rachunek zdań: rezolucja i diagramy binarnych decyzji
5. Rachunek predykatów: formuły, modele, tabele semantyczne
6. Rachunek predykatów: systemy dowodzenia
7. Rachunek predykatów: rezolucja
8. Programowanie w logice
9. Programy: semantyka i weryfikacja
10. Programy: formalne specyfikacje w notacji Z
11. Logika temporalna: formuły, modele, tabele semantyczne
12. Logika temporalna: systemy dowodzenia i zastosowania
Filament firmy ROSA3D wykonany z wysokiej jakości granulatu PLA. Na szpuli nawinięty jest 1 kg filamentu o średnicy 1,75 mm. ROSA3D PLA Plus ProSpeed Black
Brak towaru
16x2 Character OLED Display, 85x30, Negative Black Surface, Yellow Dot, 5V, RoHS
Brak towaru
Zestaw wkrętaków i bitów z magnetyzerem 50 szt. z29410
Brak towaru
Moduł przetwornika ADC i DAC oparty na układzie PCF8591 z I2C i możliwością podłączenia kaskadowego innych modułów I2C. Waveshare PCF8591 AD DA Board
Brak towaru
Brak towaru
Moduł serii SpaceSOM z procesorem NXP i.MX8M plus 1,8 GHz (4 rdzenie Cortex-A53 + Cortex-M7), pamięć RAM 2 GB i pamięć eMMC 8 GB. SoMLabs SLS35X8MPQC_1800C_02GR_08GE_0SF_C
Brak towaru
Minikomputer z 6-rdzeniowym procesorem Rockchip RK3399 (Dual-core Cortex-A72 + Quad-core Cortex-A53). Wyposażony w układ GPU Mali-T864 i 4 GB RAM. Zestaw zapewnia WiFi oraz Bluetooth 5.0. Orange Pi 4
Brak towaru
Brak towaru
Zestaw AVT do samodzielnego montażu timera ON/OFF. AVT1821 B
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Zestaw AVT do samodzielnego montażu miniaturowego przypominacza. AVT5638 B
Brak towaru
Brak towaru