Skip to main content
SpringerLink
Log in

Berechenbarkeit

Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit Lehrbuch für Unterricht und Selbststudium

  • Textbook
  • © 2011

Overview

Authors:
  1. Juraj Hromkovič
    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Der fundierte Einstieg in die Informatik

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 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.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 (14 chapters)

  1. Front Matter

    Pages I-7
    Download chapter PDF

  2. Geschichte der Informatik und Begriffsbildung

    1. Front Matter

      Pages 9-11
      Download chapter PDF

    2. Was ist Informatik und wie wurden Wissenschaftsdisziplinen aufgebaut?

      • Juraj Hromkovič
      Pages 13-18

    3. Korrekte Argumentation

      • Juraj Hromkovič
      Pages 19-58

    4. Geschichte der Informatik

      • Juraj Hromkovič
      Pages 59-69

    5. Algorithmisches Kuchenbacken

      • Juraj Hromkovič
      Pages 71-77

    6. Programmieren in der Sprache des Rechners

      • Juraj Hromkovič
      Pages 79-109

    7. Indirekte Adressierung

      • Juraj Hromkovič
      Pages 111-123

  3. Das Konzept des Unendlichen

    1. Front Matter

      Pages 125-127
      Download chapter PDF

    2. Wozu brauchen wir die Unendlichkeit?

      • Juraj Hromkovič
      Pages 129-139

    3. Das Konzept von Cantor zum Vergleich unendlicher Größen

      • Juraj Hromkovič
      Pages 141-169

    4. Rationale Zahlen oder Unendlich mal Unendlich

      • Juraj Hromkovič
      Pages 171-186

    5. Diagonalisierung und die Mächtigkeit von ℝ

      • Juraj Hromkovič
      Pages 187-201

  4. Berechenbarkeit und die Grenzen der Automatisierbarkeit

    1. Front Matter

      Pages 203-205
      Download chapter PDF

    2. Über die Anzahl von Programmen

      • Juraj Hromkovič
      Pages 207-216

    3. Diagonalisierung in der Informatik

      • Juraj Hromkovič
      Pages 217-231

    4. Die Methode der Reduktion in der Mathematik

      • Juraj Hromkovič
      Pages 233-244

    5. Reduktion als Beweismethode

      • Juraj Hromkovič
      Pages 245-260

  5. Back Matter

    Pages 261-265
    Download chapter PDF
Back to top

Keywords

About this book

Die Bildung der grundlegenden Begriffe und Konzepte der Informatik und der Mathematik wie Programm, Algorithmus, Beweis und Argumentation, Unendlichkeit und die Grenzen der Automatisierbarkeit werden ohne Vorwissen des Lesers in der Informatik in kleinen Schritten vermittelt.

About the author

Prof. Dr. Juraj Hromkovic, ETH Zürich

Bibliographic Information

  • Book Title: Berechenbarkeit

  • Book Subtitle: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit Lehrbuch für Unterricht und Selbststudium

  • Authors: Juraj Hromkovič

  • DOI: https://doi.org/10.1007/978-3-8348-9937-8

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2011

  • Softcover ISBN: 978-3-8348-1509-5Published: 13 January 2011

  • eBook ISBN: 978-3-8348-9937-8Published: 03 June 2011

  • Edition Number: 1

  • Number of Pages: II, 265

  • Number of Illustrations: 79 b/w illustrations

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation