Pulse en una miniatura para ir a Google Books.
Cargando... Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition)por E. Bergmann
Sin etiquetas Ninguno Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. Ninguna reseña sin reseñas | añadir una reseña
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. No se han encontrado descripciones de biblioteca. |
Debates activosNinguno
Google Books — Cargando... GénerosSistema Decimal Melvil (DDC)210Religions Natural Theology and Secularism Natural TheologyClasificación de la Biblioteca del CongresoValoraciónPromedio: No hay valoraciones.¿Eres tú?Conviértete en un Autor de LibraryThing. |