Skip to main content
SpringerLink
Log in

Mathematische Logik mit Informatik-Anwendungen

  • Textbook
  • © 1977

Overview

Authors:
  1. Eberhard Bergmann

    1. Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte Informationssysteme, Technische Universität Berlin, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Helga Noll

    1. Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte Informationssysteme, Technische Universität Berlin, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Vorbemerkungen

    • Eberhard Bergmann, Helga Noll
    Pages 1-3

  3. Einführung und Motivation

    • Eberhard Bergmann, Helga Noll
    Pages 4-25

  4. Syntax und Semantik der Prädikatenlogik

    • Eberhard Bergmann, Helga Noll
    Pages 26-39

  5. Eigenschaften der Prädikatenlogik

    • Eberhard Bergmann, Helga Noll
    Pages 40-154

  6. Logische Grundlagen des maschinellen Beweisens (Resolventenprinzip)

    • Eberhard Bergmann, Helga Noll
    Pages 155-237

  7. Die Methode der Formalisierang: zwei Beispiele

    • Eberhard Bergmann, Helga Noll
    Pages 238-258

  8. Probleme mit der Logik

    • Eberhard Bergmann, Helga Noll
    Pages 259-278

  9. Back Matter

    Pages 279-324
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte Informationssysteme, Technische Universität Berlin, Germany

    Eberhard Bergmann, Helga Noll

Bibliographic Information

  • Book Title: Mathematische Logik mit Informatik-Anwendungen

  • Authors: Eberhard Bergmann, Helga Noll

  • Series Title: Heidelberger Taschenbücher

  • DOI: https://doi.org/10.1007/978-3-642-66635-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08202-6Published: 01 July 1977

  • eBook ISBN: 978-3-642-66635-3Published: 12 March 2013

  • Series ISSN: 0073-1684

  • Edition Number: 1

  • Number of Pages: XV, 326

  • Number of Illustrations: 3 b/w illustrations

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation