Skip to main content
SpringerLink
Log in
Book cover

Logikkalküle in der Informatik

Wie wird Logik vom Rechner genutzt?

  • Textbook
  • © 2013

Overview

Authors:
  1. Michael Schenke

    1. Hochschule Merseburg, Merseburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Der fundierte Einstieg in die Welt der Logikkalküle
  • Einführende Übersicht über Logiken
  • Einheitlicher Ansatz für verschiedene Logiken
  • Includes supplementary material: sn.pub/extras

Part of the book series: Studienbücher Informatik (SBI)

  • 45k Accesses

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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.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 (12 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Einführung

    • Michael Schenke
    Pages 1-6

  3. Aussagenlogik

    • Michael Schenke
    Pages 7-29

  4. Prädikatenlogik

    • Michael Schenke
    Pages 31-66

  5. Der SLD-Kalkül (Logik-Programmierung)

    • Michael Schenke
    Pages 67-78

  6. Hoaresche Logik

    • Michael Schenke
    Pages 79-97

  7. Modale Logik

    • Michael Schenke
    Pages 99-127

  8. Temporale Logik

    • Michael Schenke
    Pages 129-154

  9. Epistemische Logik

    • Michael Schenke
    Pages 155-167

  10. Deontische Logik

    • Michael Schenke
    Pages 169-176

  11. Nichtmonotone Logik

    • Michael Schenke
    Pages 177-200

  12. Default-Logiken

    • Michael Schenke
    Pages 201-215

  13. Mathematische Grundlagen

    • Michael Schenke
    Pages 217-225

  14. Back Matter

    Pages 227-232
    Download chapter PDF
Back to top

Keywords

About this book

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.

Authors and Affiliations

  • Hochschule Merseburg, Merseburg, Germany

    Michael Schenke

About the author

Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.

Bibliographic Information

  • Book Title: Logikkalküle in der Informatik

  • Book Subtitle: Wie wird Logik vom Rechner genutzt?

  • Authors: Michael Schenke

  • Series Title: Studienbücher Informatik

  • DOI: https://doi.org/10.1007/978-3-8348-2295-6

  • Publisher: Springer Vieweg Wiesbaden

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

  • Copyright Information: Springer Fachmedien Wiesbaden 2013

  • Softcover ISBN: 978-3-8348-1887-4Published: 10 January 2014

  • eBook ISBN: 978-3-8348-2295-6Published: 19 December 2013

  • Series ISSN: 2522-0640

  • Series E-ISSN: 2522-0659

  • Edition Number: 1

  • Number of Pages: XII, 232

  • Number of Illustrations: 74 b/w illustrations

  • Topics: Arithmetic and Logic Structures, Logic Design, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation