Logik für Informatiker

Name: Logik für Informatiker
Author: Jürgen Dassow

Specificaties

Paperback, 177 blz. | Duits

Vieweg+Teubner Verlag | 2005e druk, 2005

ISBN13: 9783519005186

Rubricering

Juridisch :

Vieweg+Teubner Verlag 2005e druk, 2005 9783519005186

€ 40,24

In winkelwagen

Levertijd ongeveer 9 werkdagen

Gratis verzonden

Samenvatting

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz.
Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik.

Specificaties

ISBN13:9783519005186

Taal:Duits

Bindwijze:paperback

Aantal pagina's:177

Uitgever:Vieweg+Teubner Verlag

Druk:2005

Hoofdrubriek:Automatisering algemeen, Computer en informatica

Inhoudsopgave

1 Aussagenlogik.- 1.1 Aussagenlogische Ausdrücke.- 1.2 Entscheidbarkeitsfragen in der Aussagenlogik.- Übungsaufgaben.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Ausdrücke.- 2.2 Entscheidbarkeitsfragen in der Prädikatenlogik.- 2.3 Bemerkungen zur Logischen Programmierung.- Übungsaufgaben.- 3 Weitere Logiken.- 3.1 Logiken mit anderen Wertigkeiten.- 3.2 Zusätzliche Operatoren.- Übungsaufgaben.- A Grundlagen.- A.1 Mengen, Relationen, Graphen.- A.2 Wörter über einer Menge.- A.3 Mathematische Induktion.- A.4 Bereehenbarkeit und NP-Vollständigkeit.- B Lösungen ausgewählter Übungsaufgaben.- B.1 Zu Aufgaben des Kapitels 1.- B.2 Zu Aufgaben des Kapitels 2.- B.3 Zu Aufgaben des Kapitels 3.

Het is boekenweek! Tot en met 22 maart krijgt u Piaggio cadeau bij uw bestelling. Bij besteding van tenminste €17,50 aan Nederlandstalige boeken

Uw winkelwagen

Logik für Informatiker

Samenvatting

Specificaties

Inhoudsopgave

Net verschenen

Rubrieken

Personen

Trefwoorden