Theoretische Informatik - kurz gefasst (SAV Informatik)

ISBN: 9783827410993

出版社: Spektrum Akademischer Verlag

出版年: 2001-03-06

页数: 198

定价: USD 29.95

装帧: Paperback

内容简介

Das Buch macht den Leser in kompakter Form mit den wesentlichen GrundzA1/4gen der Theoretischen Informatik vertraut. Der erste und grAAte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. SchAning gelingt durch seinen verstAndlichen Beweisstil und viele Beispiele eine A1/4bersichtliche und im Detail gut nachvollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schlieAt sich die Behandlung der Berechenbarkeitstheorie an. Hier werden beginnend mit dem intuitiven Berechenbarkeitsbegriff und der Churchschen These die wichtigsten Theoreme bis hin zum GAdelschen UnvollstAndigkeitssatz bewiesen. Der dritte Teil fA1/4hrt in die KomplexitAtstheorie ein und legt hierbei den Schwerpunkt auf die Theorie der NP-VollstAndigkeit. Zahlreiche QuerbezA1/4ge und Bemerkungen erleichtern das VerstAndnis und vertiefen das Gelernte.