Logik für Informatiker

Autor Jürgen Dassow

de Limba Germană Paperback – 29 apr 2005

Preț: 227^.29 lei

Preț vechi: 284^.12 lei
-20% Nou

Puncte Express: 341

:
43^.50€ • 45^.14$ • 36^.36£

Carte tipărită la comandă

Livrare economică 15-29 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783519005186
ISBN-10: 3519005182
Pagini: 177
Ilustrații: 177 S.
Dimensiuni: 170 x 240 x 12 mm
Greutate: 0.3 kg
Ediția:2005
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

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.

Notă biografică

Prof. Dr. Jürgen Dassow, Universität Magdeburg

Textul de pe ultima copertă

Das Buch behandelt die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert.

Caracteristici

Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!

Papetărie, jocuri, reviste