Merkzettel Warenkorb
Logik für Informatiker

Logik für Informatiker

Aus der Reihe

29,99 €

inkl. gesetzl. MwSt.
Versandkostenfrei

Artikel liefern lassen

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

20.01.2000

Verlag

Spektrum der Wissenschaft

Seitenzahl

190

Maße (L/B/H)

21,3/15,1/1,5 cm

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

20.01.2000

Verlag

Spektrum der Wissenschaft

Seitenzahl

190

Maße (L/B/H)

21,3/15,1/1,5 cm

Gewicht

300 g

Auflage

5. A

Sprache

Deutsch

ISBN

978-3-8274-1005-4

Weitere Bände von Spektrum Lehrbuch

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern

Weitere Artikel finden Sie in
  • Logik für Informatiker
  • Einleitung

    1 Aussagenlogik
    1.1 Grundbegriffe
    1.2 Äquivalenz und Normalformen
    1.3 Hornformeln
    1.4 Endlichkeitssatz
    1.5 Resolution

    2 Prädikatenlogik
    2.1 Grundbegriffe
    2.2 Normalformen
    2.3 Unentscheidbarkeit
    2.4 Herbrand-Theorie
    2.5 Resolution
    2.6 Verfeinerung der Resolution

    3 Logik-Programmierung
    3.1 Erzeugen von Antworten
    3.2 Hornklauselprogramme und deren Semantik
    3.3 Auswertungsstrategien
    3.4 PROLOG

    Lösungshinweise

    Literaturverzeichnis

    Symbolverzeichnis

    Index