Logik für Informatiker
Autor Jürgen Dassowde Limba Germană Paperback – 29 apr 2005
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.
Preț: 170.23 lei
Preț vechi: 212.78 lei
-20%
Puncte Express: 255
Preț estimativ în valută:
32.61€ • 35.33$ • 27.97£
32.61€ • 35.33$ • 27.97£
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
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 undergraduateCuprins
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!