Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mordechai Ben-Ari
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Mathematical Logic for Computer Science koupíte na Bookshop.cz
Bookshop.cz
1 615 Kč
Není skladem
Krátký popis
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Zobrazit celý popis
Výběr knih autora Mordechai Ben-Ari
Kniha Principles of the Spin Model Checker

Principles of the Spin Model Checker

  Chci koupit
Zobrazit všechny knihy autora Mordechai Ben-Ari
Výběr knih vydavatele Springer London Ltd
Kniha 3-D Shape Estimation and Image Restoration

3-D Shape Estimation and Image Restoration

  Chci koupit
Kniha Adaptive Control

Adaptive Control

  Chci koupit
Kniha 3D Computer Vision

3D Computer Vision

  Chci koupit
Kniha Advanced Control of Wheeled Inverted Pendulum Systems

Advanced Control of Wheeled Inverted Pendulum Systems

  Chci koupit
Kniha Affine Maps, Euclidean Motions and Quadrics

Affine Maps, Euclidean Motions and Quadrics

  Chci koupit
Kniha Logic and Structure

Logic and Structure

Cena od 1 980 Kč

  Chci koupit
Kniha Algebraic Geometry

Algebraic Geometry

  Chci koupit
Zobrazit všechny knihy vydavatele Springer London Ltd
Naše tipy
Kniha Temné zrcadlo

Temné zrcadlo

Cena od 523 Kč

  Chci koupit
Kniha Poslední epocha

Poslední epocha

Cena od 357 Kč

  Chci koupit
Kniha Údolí Winterset

Údolí Winterset

Cena od 382 Kč

  Chci koupit
Kniha Poslední svatební host

Poslední svatební host

Cena od 351 Kč

  Chci koupit
Přízračný fotoaparát
Přízračný fotoaparát
Darcy Coates
  Chci koupit
Přízračný fotoaparát - Darcy Coates

POŘÁD SE DÍVAJÍ… br br Když Jenine najde opuštěný polaroid, bez přemýšlení hned pořídí jednu fotografii. Jenže na snímku je něco špatně: v pozadí stojí přízračné postavy a pozorují ji. br br Soustředí se na ni. br br A s každou další fotografií se k ní o krok přibližují. br br Jenine se o své tajemství podělí se svou nejlepší kamarádkou Bree. Společně si uvědomí, že fotoaparát pořizuje děsivé snímky zesnulých. Jenže duchové nyní patrně obě kamarádky pronásledují. A s každým dalším snímkem je to strašlivé nebezpečí ještě o něco blíž… br br HRŮZA TEPRVE ZAČÍNÁ.