Advertisement

Mathematische Logik mit Informatik-Anwendungen

  • Eberhard Bergmann
  • Helga Noll

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

  • Eberhard Bergmann
    • 1
  • Helga Noll
    • 1
  1. 1.Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte InformationssystemeTechnische Universität BerlinGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-66635-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08202-6
  • Online ISBN 978-3-642-66635-3
  • Series Print ISSN 0073-1684
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Telecommunications