Skip to main content
SpringerLink
Log in

Berechenbarkeit, Komplexität, Logik

Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

  • Book
  • © 1986

Overview

Authors:
  1. Egon Börger
    View author publications

    You can also search for this author in PubMed   Google Scholar

Editors:
  1. Dieter Rödding
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Elementare Berechnungstheorie

    1. Mathematischer Algorithmusbegriff

      • Egon Börger
      Pages 2-52

    2. Komplexität Algorithmischer Unlösbarkeit

      • Egon Börger
      Pages 53-136

    3. Rekursivität und Komplexität

      • Egon Börger
      Pages 137-264

  3. Elementare Prädikatenlogik

    1. Logische Analyse des Wahrheitsbegriffs

      • Egon Börger
      Pages 267-315

    2. Logische Analyse Des Beweisbegriffs

      • Egon Börger
      Pages 316-351

    3. Komplexität Logischer Entscheidungsprobleme

      • Egon Börger
      Pages 352-422

  4. Back Matter

    Pages 423-470
    Download chapter PDF
Back to top

Keywords

Bibliographic Information

  • Book Title: Berechenbarkeit, Komplexität, Logik

  • Book Subtitle: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

  • Authors: Egon Börger

  • Editors: Dieter Rödding

  • DOI: https://doi.org/10.1007/978-3-663-14213-3

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1986

  • Softcover ISBN: 978-3-528-18928-0Published: 01 January 1986

  • eBook ISBN: 978-3-663-14213-3Published: 02 July 2013

  • Edition Number: 2

  • Number of Pages: XVII, 470

  • Topics: Algorithm Analysis and Problem Complexity, Mathematics of Algorithmic Complexity, Complexity

Publish with us

Policies and ethics

Back to top

Search

Navigation