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. Vetenskap
  5. Hyperproof

Hyperproof

- For Macintosh

av Jon Barwise

del av Center for the Study of Language and Information Publication Lecture Notes-serien

Hyperproof av Jon Barwise
Om Hyperproof

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781881526117
  • Format:
  • Häftad
  • Sidor:
  • 273
  • Utgiven:
  • 30. juni 1994
  • Utgåva:
  • 2
  • Mått:
  • 178x255x20 mm.
  • Vikt:
  • 612 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 8. maj 2025

Om Jon Barwise

Se alla böcker av Jon Barwise

Beskrivning av Hyperproof

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

Användarnas betyg av Hyperproof



Andra köpte även...
Hitta liknande böcker
Boken Hyperproof 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.