Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
|
Buy Now
Mathematische Logik Mit Informatik-Anwendungen (German, Paperback)
Loot Price: R1,918
Discovery Miles 19 180
|
|
Mathematische Logik Mit Informatik-Anwendungen (German, Paperback)
Series: Heidelberger Taschenbucher, 187
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.