Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Logik für Informatiker

29.08 CHF

Versandkostenfreie Lieferung!

Sofort verfügbar

Artikel-Nr.: 10576825

Beschreibung

Einleitung1 Aussagenlogik1.1 Grundbegriffe1.2 Äquivalenz und Normalformen1.3 Hornformeln1.4 Endlichkeitssatz1.5 Resolution2 Prädikatenlogik2.1 Grundbegriffe2.2 Normalformen2.3 Unentscheidbarkeit2.4 Herbrand-Theorie2.5 Resolution2.6 Verfeinerung der Resolution3 Logik-Programmierung3.1 Erzeugen von Antworten3.2 Hornklauselprogramme und deren Semantik3.3 Auswertungsstrategien3.4 PROLOGLösungshinweiseLiteraturverzeichnisSymbolverzeichnisIndex

Eigenschaften

Breite:	146
Gewicht:	288 g
Höhe:	213
Länge:	11
Seiten:	200
Sprachen:	Deutsch
Autor:	Uwe Schöning

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller