1992

Berechenbarkeit Komplexität Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Authors:

ISBN: 978-3-528-28928-7 (Print) 978-3-322-83227-6 (Online)

Table of contents (6 chapters)

  1. Front Matter

    Pages I-XX

  2. Elementare Berechnungstheorie

    1. Front Matter

      Pages 1-2

    2. No Access

      Book Chapter

      Pages 2-52

      Mathematischer Algorithmusbegriff

    3. No Access

      Book Chapter

      Pages 53-136

      Komplexität Algorithmischer Unlösbarkeit

    4. No Access

      Book Chapter

      Pages 137-264

      Rekursivität und Komplexität

  3. Elementare Prädikatenlogik

    1. Front Matter

      Pages 265-267

    2. No Access

      Book Chapter

      Pages 267-315

      Logische Analyse des Wahrheitsbegriffs

    3. No Access

      Book Chapter

      Pages 316-351

      Logische Analyse des Beweisbegriffs

    4. No Access

      Book Chapter

      Pages 352-422

      Komplexität Logischer Entscheidungsprobleme

  4. Back Matter

    Pages 423-500