Roland Eberhard Bergmann (2 results)

Softcover. Condition: 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.…

Pictorial wrappers. Very fine. Stuttgart, Württembergische Landesbibliothek, 1988. 4to. 28 x 21 cms. 168 pp. Illustrated. Text in German. Exhibition catalogue in German: "Emanuel Swedenborg 1688-1772. Naturalist and expert on the supernatural. On the work of the learned naturalist / On the work and influence of the visionary and theologian / On the impact of a natural philosopher". - - - ("Zum Werk des gelehrten Naturforschers / Zu Werk und Einfluss des Visionärs und Theologen / Zur Wirkungsgeschichte eines Naturphilosophen".) - - - (Swedenborg in der Württembergischen Landesbibliothek, 1.).…