| Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität 2. Aufl. 1986 Edition Contributor(s): Börger, Egon (Author) |
|
 |
ISBN: 3528189282 ISBN-13: 9783528189280 Publisher: Vieweg+teubner Verlag OUR PRICE: $56.99 Product Type: Paperback Language: German Published: January 1986 |
| Additional Information |
| BISAC Categories: - Computers | Programming - Algorithms - Mathematics | Applied - Technology & Engineering | Engineering (general) |
| Dewey: 005.1 |
| Physical Information: 0.99" H x 6.14" W x 9.21" (1.50 lbs) 470 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Thema dieses Buches sind zwei schon Voh Leibniz als zusammengeh rend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be- griff formaler Sprache als Tr ger pr zisen Ausdrucks von Bedeutungen, Sach- verhalten, Problemen und der des Algorithmus oder Kalk ls, d. h. formal ope- rierender Verfahren zur L sung pr zis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche Einf hrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen- barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexit tstheorie entwickelt hat. Neben der Ber cksich- tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getroffen worden, durchg ngig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge- ben, die sich aus Bed rfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexit tstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein. f r Anf ngervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri- cula der Informatik, der Logik und der Mathematik heute auftreten, aber dar berhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterf hrende Ergebnisse neuerer Forschungen (gro enteils erstmalig in lehrbuchartiger Form) vorgef hrt werden und ber- all versucht wird, Analogien und Zusammenh nge zwischen verschiedenen Be- griffen und Konstruktionen explizit herauszuarbeiten. |