Grundlagen der Theoretischen Informatik mit Anwendungen SpringerLink
Grundlagen der Theoretischen Informatik mit Anwendungen SpringerLink Skip to main content Advertisement Search Go to cart Search Textbook © 2000
View author publications You can also search for this author in PubMed Google Scholar Kurt-Ulrich Witt Fachbereich Angewandte Informatik, Fachhochschule Rhein-Sieg, St. Augustin, Deutschland
View author publications You can also search for this author in PubMed Google Scholar Lehrbuch Theoretische Informatik: modern und anwendungsbezogen Part of the book series: Lehrbuch Informatik (LB) 223 Accesses
Theoretischen Informatik, und es vermittelt Kompetenzen zur Lösung von
Problemen mit Hilfe formaler Konzepte. Es richtet sich an Studierende der
Informatik aller Hochschularten, und es ist wegen seiner inhaltlichen und
didaktischen Gestaltung insbesondere geeignet für Studierende in
anwendungsorientierten Informatikstudiengängen.
Denn dieses Buch betrachtet theoretische Konzepte nicht ''um der Theorie
willen'', sondern es stellt grundlegende Konzepte, Methoden und Techniken der
Informatik dar, mit denen praktische Problemstellungen beschrieben und gelöst
werden können und auf deren Basis kommerziell verfügbare Informations- und
Kommunikationssyteme entwickelt worden sind, auch wenn dies zumeist nicht
unmittelbar sichtbar wird.
So ist z. B. das Konzept des ''endlichen Automaten'' nicht nur Bestandteil von
fast allen Software-Engineering-Werkzeugen, sondern es wird unter anderem auch
verwendet bei der Realisierung von Workflowmanagementsystemen, bei der
Gestaltung von Mensch-Maschine-Schnittstellen, bei der Implementierung von
Netzwerkprotokollen, bei der Datenkompression, beim Schaltkreisentwurf, bei
der Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche.
Das Studium des Buches trägt dazu bei, dass Informatikerinnen und Informatiker
die Grundlagen der Theoretischen Informatik kennenlennern und anwenden können,
um effektiv und produktiv an Problemlösungen mit Hilfe von Informations- und
Kommunikationstechnologien mitarbeiten zu können.
Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und
ausprobiert, die Konzepte werden systematisch und schrittweise vom Einfachen
zum Komplexen vorgestellt und ausführlich erläutert.
Back to top
Prof. Dr. Gottfried Vossen lehrt am FB Informatik (Institut für Wirtschaftsinformatik) der Universität Münster. Back to top
Grundlagen der Theoretischen Informatik mit Anwendungen
Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen InformatikAuthors
Gottfried Vossen0, Kurt-Ulrich Witt1 Gottfried Vossen Institut für Wirtschaftsinformatik, Westfälische Wilhelms-Universität Münster, Münster, DeutschlandView author publications You can also search for this author in PubMed Google Scholar Kurt-Ulrich Witt Fachbereich Angewandte Informatik, Fachhochschule Rhein-Sieg, St. Augustin, Deutschland
View author publications You can also search for this author in PubMed Google Scholar Lehrbuch Theoretische Informatik: modern und anwendungsbezogen Part of the book series: Lehrbuch Informatik (LB) 223 Accesses
Sections
Table of contents About this book Keywords Authors and Affiliations About the authors Bibliographic InformationBuying options
eBook USD 54.99 Price excludes VAT (USA) ISBN: 978-3-322-96838-8 Instant PDF download Readable on all devices Own it forever Exclusive offer for individuals only Tax calculation will be finalised during checkout Buy eBook Learn about institutional subscriptions This is a preview of subscription content, access via your institution.Table of contents 11 chapters
SearchFront Matter
Pages i-xi PDFEinführung und Übersicht
Einführung und Übersicht
Gottfried Vossen, Kurt-Ulrich Witt Pages 1-6Endliche Automaten und reguläre Speachen
Front Matter
Pages 7-7 PDFEndliche Automaten
Gottfried Vossen, Kurt-Ulrich Witt Pages 9-61Reguläre Sprachen
Gottfried Vossen, Kurt-Ulrich Witt Pages 63-108Endliche Maschinen und Automatennetze
Gottfried Vossen, Kurt-Ulrich Witt Pages 109-165Kontextfreie Sprachen und Kellerautomaten
Front Matter
Pages 167-167 PDFKontextfreie Sprachen
Gottfried Vossen, Kurt-Ulrich Witt Pages 169-187Kellerautomaten
Gottfried Vossen, Kurt-Ulrich Witt Pages 189-200Anwendungen kontextfreier Sprachen
Gottfried Vossen, Kurt-Ulrich Witt Pages 201-228Berechenbarkeit und Komplexität
Front Matter
Pages 229-229 PDFTyp-1- und Typ-0-Sprachen
Gottfried Vossen, Kurt-Ulrich Witt Pages 231-256Berechenbarkeit
Gottfried Vossen, Kurt-Ulrich Witt Pages 257-294Entscheidbarkeit
Gottfried Vossen, Kurt-Ulrich Witt Pages 295-311Komplexität
Gottfried Vossen, Kurt-Ulrich Witt Pages 313-338Back Matter
Pages 339-352 PDF Back to topAbout this book
Dieses Buch gibt eine anwendungsorientierte Einführung in Grundlagen derTheoretischen Informatik, und es vermittelt Kompetenzen zur Lösung von
Problemen mit Hilfe formaler Konzepte. Es richtet sich an Studierende der
Informatik aller Hochschularten, und es ist wegen seiner inhaltlichen und
didaktischen Gestaltung insbesondere geeignet für Studierende in
anwendungsorientierten Informatikstudiengängen.
Denn dieses Buch betrachtet theoretische Konzepte nicht ''um der Theorie
willen'', sondern es stellt grundlegende Konzepte, Methoden und Techniken der
Informatik dar, mit denen praktische Problemstellungen beschrieben und gelöst
werden können und auf deren Basis kommerziell verfügbare Informations- und
Kommunikationssyteme entwickelt worden sind, auch wenn dies zumeist nicht
unmittelbar sichtbar wird.
So ist z. B. das Konzept des ''endlichen Automaten'' nicht nur Bestandteil von
fast allen Software-Engineering-Werkzeugen, sondern es wird unter anderem auch
verwendet bei der Realisierung von Workflowmanagementsystemen, bei der
Gestaltung von Mensch-Maschine-Schnittstellen, bei der Implementierung von
Netzwerkprotokollen, bei der Datenkompression, beim Schaltkreisentwurf, bei
der Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche.
Das Studium des Buches trägt dazu bei, dass Informatikerinnen und Informatiker
die Grundlagen der Theoretischen Informatik kennenlennern und anwenden können,
um effektiv und produktiv an Problemlösungen mit Hilfe von Informations- und
Kommunikationstechnologien mitarbeiten zu können.
Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und
ausprobiert, die Konzepte werden systematisch und schrittweise vom Einfachen
zum Komplexen vorgestellt und ausführlich erläutert.
Back to top
Keywords
AusbildungAutomatenAutomatentheorieBerechenbarkeitInformatikKellerautomatKomplexitätKomplexität(Math.)Theoretische Informatikelectronic commerceendlicher Automatformale Sprachekontextfreie Sprachereguläre Sprache Back to topAuthors and Affiliations
Institut für Wirtschaftsinformatik Westfälische Wilhelms-Universität Münster Münster Deutschland
Gottfried VossenFachbereich Angewandte Informatik Fachhochschule Rhein-Sieg St Augustin Deutschland
Kurt-Ulrich Witt Back to topAbout the authors
Prof. Dr.. Kurt-Ulrich Witt ist Gründungsdekan der neuen Fachhochschule Rhein-Sieg und lehrt dort am Fachbereich Angewandte Informatik.Prof. Dr. Gottfried Vossen lehrt am FB Informatik (Institut für Wirtschaftsinformatik) der Universität Münster. Back to top