Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Computational Logic and Set Theory

Computational Logic and Set Theory

- Applying Formalized Logic to Analysis

av Domenico Cantone, Jacob T. Schwartz, Eugenio G. Omodeo
Computational Logic and Set Theory av Domenico Cantone
Om Computational Logic and Set Theory

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780857298072
  • Format:
  • Inbunden
  • Sidor:
  • 416
  • Utgiven:
  • 16. juli 2011
  • Mått:
  • 166x243x30 mm.
  • Vikt:
  • 824 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Om Domenico Cantone

Se alla böcker av Domenico Cantone

Beskrivning av Computational Logic and Set Theory

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.

Användarnas betyg av Computational Logic and Set Theory



Andra köpte även...
Hitta liknande böcker
Boken Computational Logic and Set Theory finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.