Computational Logic and Set Theory

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
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.
Computational Logic and Set Theory koupíte na Bookshop.cz
Bookshop.cz
1 322 Kč
Není skladem
Krátký popis
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the tnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Zobrazit celý popis
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 Amateur Astronomer

Amateur Astronomer

  Chci koupit
Kniha Affine Maps, Euclidean Motions and Quadrics

Affine Maps, Euclidean Motions and Quadrics

  Chci koupit
Kniha Algebraic Geometry

Algebraic Geometry

  Chci koupit
Zobrazit všechny knihy vydavatele Springer London Ltd
Naše tipy
Kniha Vražda vo Wildshotte

Vražda vo Wildshotte

Cena od 295 Kč

  Chci koupit
Kniha Barvy - První kniha aktivit

Barvy - První kniha aktivit

Cena od 133 Kč

  Chci koupit
Kniha Malý Dobráček

Malý Dobráček

Cena od 398 Kč

  Chci koupit
Kniha Moře nálezů a ztrát 1 - Náhodní lháři

Moře nálezů a ztrát 1 - Náhodní lháři

Cena od 185 Kč

  Chci koupit
Psychologie peněz
Psychologie peněz
Morgan Housel
  Chci koupit
Umět zacházet s penězi není nutně otázka toho, co všechno víte. Důležité je, jak se chováte. Jenže vštípit lidem – dokonce i těm opravdu chytrým – správné vzorce chování není snadné. K penězům, investování, osobním financím a podnikatelskému rozhodování se obvykle přistupuje, jako by to byly exaktní disciplíny, kde nám data a vzorce přesně řeknou, co dělat. Ve skutečném světě se ale lidé nerozhodují nad tabulkou v Excelu, nýbrž u večeře nebo na firemní poradě, kde se jejich dosavadní životní zkušenosti a jedinečný pohled na svět splétají s egem, ješitností, marketingem a pokřivenými podněty. V knize Psychologie peněz nabízí uznávaný autor Morgan Housel dvacet krátkých pojednání o tom, jak lidé uvažují o penězích, a učí nás, jak se v tomto veledůležitém tématu lépe vyznat.