- Obecnie brak na stanie
 
        
           
         
          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
Terenowe podwozie Dagu Wild Thumper 4WD w kolorze srebrnym, w komplecie koła o średnicy 120 mm oraz silniki z przekładnią 34:1. Podwozie jest wykonane z blachy aluminiowej, otwory o średnicy 4 mm rozmieszczone co 10 mm umożliwiają montaż kontrolera oraz akcesoriów. Pololu 1564
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
Powerbank o pojemności 20000 mAh do ładowania przenośnych urządzeń elektronicznych, zasilanych napięciem 5V. PB15 20000 mAh White
 Brak towaru
Wysokiej jakości filament XF-ABS do drukarki 3D o średnicy 1,75 mm. Na szpuli nawinięty jest 1 kg filamentu.
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
 Brak towaru
