• Produktbild: Formalisieren und Beweisen
  • Produktbild: Formalisieren und Beweisen

Formalisieren und Beweisen Logik für Informatiker

Aus der Reihe Lehrbuch Informatik

69,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1992

Abbildungen

8 schwarzweisse Abbildmit 8 Abbildungen 8 Abb.

Verlag

Vieweg & Teubner

Seitenzahl

259

Maße (L/B/H)

24,4/17/1,6 cm

Gewicht

488 g

Auflage

2. Auflage 1992

Sprache

Deutsch

ISBN

978-3-528-14757-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1992

Abbildungen

8 schwarzweisse Abbildmit 8 Abbildungen 8 Abb.

Verlag

Vieweg & Teubner

Seitenzahl

259

Maße (L/B/H)

24,4/17/1,6 cm

Gewicht

488 g

Auflage

2. Auflage 1992

Sprache

Deutsch

ISBN

978-3-528-14757-0

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

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: Formalisieren und Beweisen
  • Produktbild: Formalisieren und Beweisen
  • Einführung.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2B Mit Formeln und Strukturen umgehen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2D Ableiten.- 3A Quantorenformeln.- 3B Finitisieren und mechanisieren.- 3C Geometrie und Zahlen axiomatisieren.- 3D Stärken und Schwächen.- Anhang Unvollständiger Dialog über Vollständigkeit.- Die Lehrveranstaltung Logik für Informatiker.- Verzeichnisse.- Personenverzeichnis.- Begriffsverzeichnis.- Symbolverzeichnis.