De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Computational Logic and Set Theory

- Applying Formalized Logic to Analysis

Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780857298072
  • Indbinding:
  • Hardback
  • Sideantal:
  • 416
  • Udgivet:
  • 16. juli 2011
  • Størrelse:
  • 166x243x30 mm.
  • Vægt:
  • 824 g.
  • 8-11 hverdage.
  • 16. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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.

Brugerbedømmelser af Computational Logic and Set Theory



Find lignende bøger
Bogen Computational Logic and Set Theory findes i følgende kategorier: