Theoretische Informatik [electronic resource] : Eine umfassende Einführung /
Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | ger |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
2000
|
Subjects: | Computer science., Computers., Algorithms., Mathematical logic., Computer science, Computer Science., Theory of Computation., Mathematical Logic and Formal Languages., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Mathematics of Computing., Mathematical Logic and Foundations., |
Online Access: | http://dx.doi.org/10.1007/978-3-662-10429-3 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:188791 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1887912018-07-30T23:12:04ZTheoretische Informatik [electronic resource] : Eine umfassende Einführung / Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,2000.gerDiese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.1. Einleitung -- 2. Begriffe und Notationen -- 3. Eine kurze Einführung in die Aussagenlogik -- I. Formale Sprachen -- 4. Grammatiken und formale Sprachen -- 5. Reguläre Sprachen und endliche Automaten -- 6. Kontextfreie Sprachen -- 7. Turing-Maschinen -- 8. Die Sprachklassen ?, ?0 und ?1 -- 9. Abschlußeigenschaften von Sprachklassen -- II. Berechenbarkeit -- 10. Einleitung -- 11. Registermaschinen -- 12. Rekursive Funktionen -- 13. Unentscheidbare Probleme -- 14. Alternative Berechnungsmodelle -- 15. Komplexität -- Bibliographische Hinweise.Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.Computer science.Computers.Algorithms.Mathematical logic.Computer scienceComputer Science.Theory of Computation.Mathematical Logic and Formal Languages.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Mathematics of Computing.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/978-3-662-10429-3URN:ISBN:9783662104293 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
ger |
topic |
Computer science. Computers. Algorithms. Mathematical logic. Computer science Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Mathematical Logic and Foundations. Computer science. Computers. Algorithms. Mathematical logic. Computer science Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Mathematical Logic and Foundations. |
spellingShingle |
Computer science. Computers. Algorithms. Mathematical logic. Computer science Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Mathematical Logic and Foundations. Computer science. Computers. Algorithms. Mathematical logic. Computer science Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Mathematical Logic and Foundations. Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service) Theoretische Informatik [electronic resource] : Eine umfassende Einführung / |
description |
Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. |
format |
Texto |
topic_facet |
Computer science. Computers. Algorithms. Mathematical logic. Computer science Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Mathematical Logic and Foundations. |
author |
Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service) |
author_facet |
Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service) |
author_sort |
Erk, Katrin. author. |
title |
Theoretische Informatik [electronic resource] : Eine umfassende Einführung / |
title_short |
Theoretische Informatik [electronic resource] : Eine umfassende Einführung / |
title_full |
Theoretische Informatik [electronic resource] : Eine umfassende Einführung / |
title_fullStr |
Theoretische Informatik [electronic resource] : Eine umfassende Einführung / |
title_full_unstemmed |
Theoretische Informatik [electronic resource] : Eine umfassende Einführung / |
title_sort |
theoretische informatik [electronic resource] : eine umfassende einführung / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
2000 |
url |
http://dx.doi.org/10.1007/978-3-662-10429-3 |
work_keys_str_mv |
AT erkkatrinauthor theoretischeinformatikelectronicresourceeineumfassendeeinfuhrung AT prieselutzauthor theoretischeinformatikelectronicresourceeineumfassendeeinfuhrung AT springerlinkonlineservice theoretischeinformatikelectronicresourceeineumfassendeeinfuhrung |
_version_ |
1756265831973519360 |