De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Metamathematics, Machines and Godel's Proof

Metamathematics, Machines and Godel's Proof

af N. (SRI International Shankar

indgår i Cambridge Tracts in Theoretical Computer Science serien

Metamathematics, Machines and Godel's Proof af N. (SRI International Shankar
Bag om Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521585330
  • Indbinding:
  • Paperback
  • Sideantal:
  • 220
  • Udgivet:
  • 30. januar 1997
  • Størrelse:
  • 234x192x14 mm.
  • Vægt:
  • 422 g.
  • 8-11 hverdage.
  • 7. december 2024
På lager

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.

Bag om N. (SRI International Shankar

Vis alle bøger af N. (SRI International Shankar

Beskrivelse af Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Brugerbedømmelser af Metamathematics, Machines and Godel's Proof



Andre købte også..
Find lignende bøger
Bogen Metamathematics, Machines and Godel's Proof findes i følgende kategorier: