Kniha Formal Logic Luis M. Augusto

Formal Logic

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 9-15 dnů
497
Logic is--arguably--all about proving, but proofs can be "costly," often impossibly so, and today mo...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2019
Stránek
426
EAN
9781848903173
ISBN
1848903170
Enbook ID
24692635
Hmotnost
642
Rozměry
235 x 155 x 32

Kompletní popis

Logic is--arguably--all about proving, but proofs can be "costly," often impossibly so, and today most are delegated to (partly) automatic provers, namely by so-called SAT solvers, software based on the (Boolean) satisfiability problem, or SAT. This is

Mohlo by vás zajímat

Brave Enough

Todd Smith
621

Sadness & Beauty

Kelly de Guia
582

Braiding Sweetgrass

Robin Wall Kimmerer
268

Creative

Shalini Vallepur
328
230
1 075
331

An Introduction to Logic

H W. B. 1867-1943 Joseph
651
600

Zákaznicí kteří koupili tuto knihu koupili také

150

Polish school of poster

Schubert Zdzisław
740

Python od podstaw

Marcin Moskała
194

Дама с собачкой

Антон Чехов
330
138
126

Cuerpo humano

STEVE PARKER
245

Energie pro všechny buňky

Echter Christian Wilhelm
191

EKG pocketcard

Börm Bruckmeier Verlag GmbH
128

Prendere nota

Kim-Rajab Oriana Kim-Rajab
967
223
178
377