Isbn: 9783540082026 - mathematische logik mit informatik-anwendungen (heidelberger taschenbücher) (german edition) (heidelberger taschenbücher, 187, band 187) (11 Ergebnisse)

Softcover. Zustand: Fine. Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveranderung. Dieses Buch entstand aus Skripten der Autoren zu ihrer Vorlesung "Mathematische Logik (fur Informatiker)", die seit 1974 jahrlich an der Technischen Universitat Berlin angeboten wird. Die Lehrveranstaltung richtet sich an Informatik-Studenten ab dem 4. Semester und zielt darauf ab, sie mit logischen Methoden vertraut zu machen sowie zur mathematischen Ausbildung fur Informatiker beizutragen. Es handelt sich um einen einfuhrenden Text fur Anfanger in der Logik, der mit grundlegenden Mathematikkenntnissen verstandlich ist und nur einfache Konzepte von Programmiersprachen voraussetzt. Das Buch richtet sich sowohl an Mathematik- als auch an Informatik-Studenten und bietet eine mathematisch fundierte Darstellung der Pradikatenlogik erster Stufe, wahrend es gleichzeitig Anwendungen dieser Logik in der Informatik integriert. Die Herausforderung, Logik mit Informatik-Anwendungen zu verknupfen, liegt in der subjektiven Auswahl der Verbindungen, weshalb Raum fur alternative Perspektiven und eine vertiefte Behandlung der genannten Anwendungen bleibt. Denkbar sind engere Verbindungen zur theoretischen Informatik oder eine systematische Erorterung der behandelten Anwendungsgebiete. Ziel ist es, Informatik und Logik so zu verknupfen, dass Logik als Hilfsmittel fur die Informatik angesehen wird, als eine Methode, die fruchtbare Ergebnisse in der Informatik hervorbringt.…

Softcover. Zustand: Gut. Bln., Springer 1977. XV, 324 S. OKart. Heidelberger Taschenbücher, 187.- Mit Übungsaufgaben.- Name verso Vorderdeckel, Name und Bleistiftanmerkung auf Titel.

Broschiert. Zustand: Gut. XV, 324 S. : graph. Darst. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 400.

XV, 324 Seiten, 3540082026 Sprache: Deutsch Gewicht in Gramm: 380 8°, Original-Karton (Softcover), Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit Rückenschild, Stempel auf Titel, Ecken leicht bestoßen, insgesamt gutes und innen sauberes Exemplar.

Softcover/Paperback. 324 S. Einband etw. berieben u. bestaubt u. gering fleckig, Kanten gering bestoßen, Buchschnitt etw.bestaubt SL03 9783540082026 *.* Sprache: Deutsch Gewicht in Gramm: 360.

Zustand: New. In English.

Zustand: New.

Paperback. Zustand: Brand New. spiral-bound edition. 341 pages. German language. 8.00x5.24x0.70 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung 'Mathe matische Logik (fUr Informatiker)' entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen' Bei trag zur Mathematik-Ausbildung fUr Informatiker leisten. Dement sprechend handelt es sich urn einen einfUhrenden Text fUr 'krasse' Anfanger in der Logik, der mit elementaren Mathematik -Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Kon zepte von Programmiersprachen benotigt. Anliegen des Buches, das sich gleichermaBen an Mathematik- und Informatik-Studenten wen det, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgrtinde der Pradikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch tiber Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbin dungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daB tiber den hier vorliegenden Text hinaus Raum fUr andere Bertihrungspunkte und fUr eine intensivere Gestaltung der hier im Text angefUhrten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwen dungsgebiete. Dieser Text will dazu anregen, Informatik und Lo gik so aufeinander zu beziehen, daB Logik als Hilfsmittel fUr die Informatik angesehen werden darf, d. h. als eine fruchtbare, Infor matik-Ergebnisse hervorbringende Methode.…

paperback. Zustand: Befriedigend. 348 Seiten; 9783540082026.4 Gewicht in Gramm: 500.

Zustand: gut. 1977. Mathematische Logik mit Informatik- Anwendungen. (= Heidelberger Taschenbücher - Band 187). In deutscher Sprache. pages.