Computational Logic and Set Theory
Applying Formalized Logic to Analysis
af Domenico Cantone, m.fl.
Bog, Hardback, Engelsk, 2011
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO419,95 kr.39,95 kr.UkendtKøb for 419,95 kr.Køb
- Bogreolen791,95 kr.0,00 kr.2-4 ugerKøb for 791,95 kr.Køb
- Tales792,95 kr.34,95 kr.2-4 ugerKøb for 792,95 kr.Køb
- Pling BØGER792,95 kr.34,95 kr.2-4 ugerKøb for 792,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780857298072
- Udgivet16/07/2011
- Udgivet afSpringer London Ltd
- Længde416 sider
- ForfattereDomenico Cantone, Jacob T. Schwartz, Eugenio G. Omodeo
- GenreBusiness og læring, Computer og IT