Advertisement

Logikkalküle in der Informatik

Wie wird Logik vom Rechner genutzt?

  • Michael Schenke

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Michael Schenke
    Pages 1-6
  3. Michael Schenke
    Pages 7-29
  4. Michael Schenke
    Pages 31-66
  5. Michael Schenke
    Pages 67-78
  6. Michael Schenke
    Pages 79-97
  7. Michael Schenke
    Pages 99-127
  8. Michael Schenke
    Pages 129-154
  9. Michael Schenke
    Pages 155-167
  10. Michael Schenke
    Pages 169-176
  11. Michael Schenke
    Pages 177-200
  12. Michael Schenke
    Pages 201-215
  13. Michael Schenke
    Pages 217-225
  14. Back Matter
    Pages 227-232

About this book

Introduction

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.

Inhalt

Aussagenlogik - Prädikatenlogik – SLD-Kalkül – Modale Logik – Temporale Logik – Epistemische Logik – Deontische Logik – Nichtmonotone Logik – Default-Logik

Zielgruppe

Studierende der Informatik

Autor

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

Keywords

Kalküls Prädikatenlogik Semantik Syntax Wahrheitswert epistemische Logik modale Logik nichtmonotone Logik temporale Logik

Authors and affiliations

  • Michael Schenke
    • 1
  1. 1.Hochschule MerseburgMerseburgGermany

Bibliographic information

Industry Sectors
Finance, Business & Banking
Electronics
Aerospace