Più di un milione di libri, a un clic di distanza!
Bookbot

Logik für Informatiker

Valutazione del libro

5,0(1)Aggiungi una valutazione

Parametri

  • 240pagine
  • 9 ore di lettura

Maggiori informazioni sul libro

Inhaltsverzeichnis1 Einführung und mathematische Grundlagen.1.1 Einführung in die Fragestellung.1.2 Allgemeine mathematische Grundbegriffe.1.3 Berechenbarkeit.1.4 Erzeugungssysteme, Termmengen.2 Aussagenlogik.2.1 Aussagenlogische Formeln, die Syntax.2.2 Interpretationen und Belegungen.2.3 Tautologien und logische Äquivalenz.2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.3 Prädikatenlogik.3.1 Einleitung.3.2 Syntax der Prädikatenlogik.3.3 Semantik und logische Grundbegriffe.3.4 Formalisierung des logischen Schließens.3.5 Normalformen prädikatenlogischer Formeln.3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.3.7 Die Unentscheidbarkeit der Prädikatenlogik.3.8 Prädikatenlogik mit Gleichheit.3.9 Theorien.3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.4 Grundlagen der Logischen Programmierung.4.1 Logik-Programme.4.2 Unifikation.4.3 Berechnungen von Logik-Programmen.4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.5 Modale Aussagenlogik.5.1 Einführung in die Modallogik.5.2 Entscheidbarkeit.5.3 Von der Modallogik zur Temporären Logik.Übungsaufgaben.Das Griechische Alphabet.Verzeichnis der verwendeten Symbole.Stichwort- und Namensverzeichnis.

Pubblicazione

Acquisto del libro

Logik für Informatiker, Bernhard Heinemann

Lingua
Pubblicato
1992
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

5,0
Eccellente
1 Valutazioni

Qui potrebbe esserci la tua recensione.