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. Proof Theory and Automated Deduction

Proof Theory and Automated Deduction

af Jean Goubault-Larrecq
Proof Theory and Automated Deductionaf Jean Goubault-Larrecq
Bag om Proof Theory and Automated Deduction

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792345930
  • Indbinding:
  • Hardback
  • Sideantal:
  • 440
  • Udgivet:
  • 31. maj 1997
  • Ukendt - mangler pt..

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 Jean Goubault-Larrecq

Vis alle bøger af Jean Goubault-Larrecq

Beskrivelse af Proof Theory and Automated Deduction

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions.

Brugerbedømmelser af Proof Theory and Automated Deduction



Andre købte også..