Rychlé dodání
Po celé ČR
EAN: 9780521771733
The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. Starting from the familiar propositional calculus, the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of G del's T, a system that codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. An appendix contains complete solutions of these
Vítejte v podkategorii Knihy, která spadá do naší širší kategorie Knihy. Zde naleznete široký výběr knih různých žánrů, autorů a témat. Užijte si fascinující svět literatury a objevte nová dobrodružství prostřednictvím našich knižních titulů. Od nejnovějších bestsellerů až po klasická díla, zde najdete knihy pro každého milovníka čtení. Učebnice, beletrie, detektivky, sci-fi, fantasy, romantika a mnoho dalšího – vše je přehledně a snadno dostupné v této důkladně vybrané kolekci. Berte si čas a procházejte naše recenze, aby vám pomohly najít ty nejlepší knihy. S naší širokou nabídkou a rychlým doručením se nemusíte obávat, že byste někoho našli zklamaného. Začněte listováním těchto stránek a dovolte knihám, aby vás vtáhly do svých příběhů a poskytly vám únik do jiných světů. Nechte se inspirovat a objevte nové literární poklady díky našemu rozmanitému výběru.
ZASILKOVNA | 39 Kč |
---|---|
GEIS | 69 Kč |
CESKA_POSTA | 85 Kč |
Po celé ČR
100% zabezpečení platby
Snadná reklamace zboží
Podpora na telefonu a emailu