Advertisement

© 1977

Mathematische Logik mit Informatik-Anwendungen

Textbook

Part of the Heidelberger Taschenbücher book series (HTB, volume 187)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Eberhard Bergmann, Helga Noll
    Pages 1-3
  3. Eberhard Bergmann, Helga Noll
    Pages 4-25
  4. Eberhard Bergmann, Helga Noll
    Pages 26-39
  5. Eberhard Bergmann, Helga Noll
    Pages 40-154
  6. Eberhard Bergmann, Helga Noll
    Pages 155-237
  7. Eberhard Bergmann, Helga Noll
    Pages 238-258
  8. Eberhard Bergmann, Helga Noll
    Pages 259-278
  9. Back Matter
    Pages 279-324

About this book

Keywords

Ableitung Algorithmen Beweis Herbrand-Struktur Informatik Konjunktive Normalform Konstante Logik Programmiersprache Prädikatenlogik Satz von Herbrand Variable Vollständigkeit Wortfunktion mathematische Logik

Authors and affiliations

  1. 1.Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte InformationssystemeTechnische Universität BerlinGermany

Bibliographic information