Cantitate/Preț
Produs

Logik für Informatiker

Autor Jürgen Dassow
de Limba Germană Paperback – 29 apr 2005
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.
Citește tot Restrânge

Preț: 17023 lei

Preț vechi: 21278 lei
-20%

Puncte Express: 255

Preț estimativ în valută:
3261 3533$ 2797£

Carte tipărită la comandă

Livrare economică 06-13 mai

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

Grundlagen aus Mathematik und Theoretischer Informatik - Aussagenlogik - Prädikatenlogik - Temporale, dynamische und modale Logik - Entscheidbarkeitsfragen in der Logik - Theoretische Grundlagen der logischen Programmierung - Übungsaufgaben und ausgewählte Lösungen

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!