Formalisieren und Beweisen

Logik für Informatiker

  • Authors
  • Dirk Siefkes

Part of the Lehrbuch book series (LB)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Einführung

    1. Dirk Siefkes
      Pages 1-6
  3. Aussagenlogik

    1. Front Matter
      Pages 7-9
    2. Dirk Siefkes
      Pages 10-25
    3. Dirk Siefkes
      Pages 39-48
    4. Dirk Siefkes
      Pages 49-75
  4. Offene Prädikatenlogik

    1. Front Matter
      Pages 77-80
    2. Dirk Siefkes
      Pages 99-119
    3. Dirk Siefkes
      Pages 134-147
  5. Prädikatenlogik

    1. Front Matter
      Pages 149-151
    2. Dirk Siefkes
      Pages 152-164
    3. Dirk Siefkes
      Pages 165-180
    4. Dirk Siefkes
      Pages 181-197
    5. Dirk Siefkes
      Pages 198-224
  6. Back Matter
    Pages 225-262

About this book

Keywords

Ableitung Aussagenlogik Disjunktive Normalform Informatik Kompaktheit Logik Mathematik Peano-Axiome Programmieren Resolution Satz von Herbrand Schnittregel Signatur Variable Vollständigkeit

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-85621-0
  • Copyright Information Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1990
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-04757-3
  • Online ISBN 978-3-322-85621-0
  • About this book