Advertisement

Berechenbarkeit, Komplexität, Logik

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

  • Authors
  • Egon Börger
  • Editors
  • Dieter Rödding

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Elementare Berechnungstheorie

    1. Egon Börger
      Pages 2-52
    2. Egon Börger
      Pages 53-136
    3. Egon Börger
      Pages 137-264
  3. Elementare Prädikatenlogik

    1. Egon Börger
      Pages 267-315
    2. Egon Börger
      Pages 316-351
  4. Back Matter
    Pages 423-470

About this book

Keywords

Algorithmen Berechenbarkeit Berechnung Beweis Entscheidung Entscheidungsproblem Komplexität Prädikate Prädikatenlogik Sprache Symbol

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-663-14213-3
  • Copyright Information Springer Fachmedien Wiesbaden 1986
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-18928-0
  • Online ISBN 978-3-663-14213-3
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering