Overview

Full Product Details

Author:   Uwe Schöning ,  Uwe Schaning ,  Uwe Schoning ,  Uwe Sch Ning
Publisher:   Spektrum Akademischer Verlag
Imprint:   Spektrum Akademischer Verlag
Edition:   5. Aufl. 2008
Dimensions:   Width: 14.80cm , Height: 1.10cm , Length: 21.00cm
Weight:   0.454kg
ISBN:  

9783827418241

ISBN 10:   3827418240
Pages:   190
Publication Date:   11 March 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

Einleitung.- 1 Automatentheorie und Formale Sprachen.- 1.1 Allgemeines. 1.2 Reguläre Sprachen. 1.3 Kontextfreie Sprachen. 1.4 Kontextsensitive und Typ 0-Sprachen. 1.5 Tabellarischer Überblick.- 2 Berechenbarkeitstheorie.- 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These. 2.2 Turing-Berechenbarkeit. 2.3 LOOP-, WHILE- und GOTO-Berechenbarkeit. 2.4 Primitiv rekursive und mü-rekursive Funktionen. 2.5 Die Ackermannfunktion. 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit. 2.7 Das Postsche Korrespondenzprinzip. 2.8 Unentscheidbare Grammatik-Probleme. 2.9 Der Gödelsche Satz.- 3 Komplexitätstheorie.- 3.1 Komplexitätsklassen und P-NP-Problem. 3.2 NP-Vollständigkeit. 3.3 Weitere NP-vollständige Probleme.- Anhang: Mathematische Grundlagen.- Literaturverzeichnis.- Index.

Reviews

Author Information

Prof. Dr. Uwe Schöning ist Leiter des Instituts für Theoretische Informatik der Universität Ulm. Von Prof. Schöning sind ebenfalls bei Spektrum Akademischer Verlag erschienen: „Logik für Informatiker"" und „Algorithmik""

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions