Carte Propositional and Predicate Calculus: A Model of Argument Derek Goldrei

Propositional and Predicate Calculus: A Model of Argument

Autor: Derek Goldrei
Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
379.72 lei
Covers the representation of mathematical statements by formulas in a formal language; the interpret...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2005
Pagini
315
EAN
9781852339210
ISBN
9781852339210
Enbook ID
09067587
Greutate
626
Dimensiuni
246 x 191 x 19

Descriere completă

Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some theories using a formal language; and more.

S-ar putea să te intereseze

Calculus

Michael Spivak
350.60 lei

On Diary

Philippe Lejeune
143.80 lei

Christmasaurus

Tom Fletcher
26.99 lei
100.00 lei
201.54 lei
81.30 lei

Complications

Atul Gawande
70.07 lei

Setting of the Rising Sun

Terry C Treadwell
115.38 lei
554.67 lei
204.67 lei

Clienții care au cumpărat această carte au mai cumpărat și

63.20 lei
243.20 lei

Remix I

Bedriye Medina
160.88 lei
78.57 lei
77.96 lei

Le Jour des cendres

Jean-Christophe Grangé
169.28 lei
126.60 lei

Kanuni Sultan Süleyman

M. Tayyib Gökbilgin
86.55 lei

Poesie Del Cuore - Vol. 9

Francesco Galgani
39.63 lei