KI-Beratung Beta

  • Produktbild: Logic and Computation
  • Produktbild: Logic and Computation

Logic and Computation Interactive Proof with Cambridge Lcf

84,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2003

Herausgeber

C. J. van Rijsbergen + weitere

Verlag

Cambridge Academic

Seitenzahl

320

Maße (L/B/H)

24,6/18,9/1,7 cm

Gewicht

574 g

Sprache

Englisch

ISBN

978-0-521-39560-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2003

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

320

Maße (L/B/H)

24,6/18,9/1,7 cm

Gewicht

574 g

Sprache

Englisch

ISBN

978-0-521-39560-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logic and Computation
  • Produktbild: Logic and Computation
  • Part I. Preliminaries: 1. Survey and history of LCF; 2. Formal proof in first order logic; 3. A logic of computable functions; 4. Structural induction; Part II. Cambridge LCF: 5. Syntactic operators for PPL; 6. Theory structure; 7. Axioms and interference rules; 8. Tactics and tacticals; 9. Rewriting and simplification; 10. Sample proofs; Bibliography; Index.