Kniha Formal Logic Luis M. Augusto

Formal Logic

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: College Publications
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
20.54
Logic is--arguably--all about proving, but proofs can be "costly," often impossibly so, and today mo...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2019
Stránok
426
EAN
9781848903173
ISBN
1848903170
Enbook ID
24692635
Hmotnosť
642
Rozmery
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 zaujímať

Brave Enough

Todd Smith
26.93

Sadness & Beauty

Kelly de Guia
24.07

Braiding Sweetgrass

Robin Wall Kimmerer
13.95

Creative

Shalini Vallepur
14.54
8.74
9.53

Philosophical Logic

John P Burgess
25.75
11.20
13.65

Lysistrata

Aristophanes
14.64
14.34

An Introduction to Logic

H W. B. 1867-1943 Joseph
28.40
24.86

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

6.18
14.54

Python od podstaw

Marcin Moskała
8.05

Polish school of poster

Schubert Zdzisław
30.96
5.50

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

Антон Чехов
13.65

Cuerpo humano

STEVE PARKER
10.12
5.69
22.60
7.36
15.62
9.23

Prendere nota

Kim-Rajab Oriana Kim-Rajab
42.56

EKG pocketcard

Börm Bruckmeier Verlag GmbH
5.50