Skip to main content
SpringerLink
Log in

Elementare Aussagenlogik

  • Textbook
  • © 1991

Overview

Authors:
  1. Friedrich L. Bauer

    1. Institut für Informatik, Technische Universität München, München 2, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Martin Wirsing

    1. Passau, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Mathematik für Informatiker (1211)

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 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
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-X
    Download chapter PDF

  2. Einleitung

    • Friedrich L. Bauer, Martin Wirsing
    Pages 1-1

  3. Natürliches Begriffsfeld

    • Friedrich L. Bauer, Martin Wirsing
    Pages 2-17

  4. Wertverlauf

    • Friedrich L. Bauer, Martin Wirsing
    Pages 18-45

  5. Funktionale und Algebraische Aspekte

    • Friedrich L. Bauer, Martin Wirsing
    Pages 46-87

  6. Formale Reduktionen

    • Friedrich L. Bauer, Martin Wirsing
    Pages 88-141

  7. Formale Ableitungen

    • Friedrich L. Bauer, Martin Wirsing
    Pages 142-165

  8. Modale Aussagenlogiken

    • Friedrich L. Bauer, Martin Wirsing
    Pages 166-196

  9. Back Matter

    Pages 197-229
    Download chapter PDF
Back to top

Keywords

About this book

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen.

Authors and Affiliations

  • Institut für Informatik, Technische Universität München, München 2, Deutschland

    Friedrich L. Bauer

  • Passau, Deutschland

    Martin Wirsing

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation