Advertisement

Logik für Informatiker

Eine Einführung

  • Bernhard Heinemann
  • Klaus Weihrauch

Part of the Leitfäden und Monographien der Informatik book series (LMI)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Bernhard Heinemann, Klaus Weihrauch
    Pages 1-21
  3. Bernhard Heinemann, Klaus Weihrauch
    Pages 22-45
  4. Bernhard Heinemann, Klaus Weihrauch
    Pages 46-157
  5. Bernhard Heinemann, Klaus Weihrauch
    Pages 158-189
  6. Bernhard Heinemann, Klaus Weihrauch
    Pages 190-219
  7. Back Matter
    Pages 220-240

About this book

Keywords

Alphabet Aussagen Erzeugungssystem Herbrand-Struktur Informatiker Kompaktheit Konjunktion Logik Prädikate Resolution Vollständigkeit

Authors and affiliations

  • Bernhard Heinemann
    • 1
  • Klaus Weihrauch
    • 1
  1. 1.Fern Universität HagenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-80138-8
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1991
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-12248-7
  • Online ISBN 978-3-322-80138-8
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace