Mathematik für Informatiker

Elementare Aussagenlogik

Authors: Bauer, Friedrich L., Wirsing, Martin

Free Preview

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-642-84263-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
  • Institutional customers should get in touch with their account manager
Softcover $64.99
price for USA in USD
About this Textbook

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.

Table of contents (7 chapters)

Table of contents (7 chapters)

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-642-84263-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
  • Institutional customers should get in touch with their account manager
Softcover $64.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Elementare Aussagenlogik
Authors
Series Title
Mathematik für Informatiker
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-84263-4
DOI
10.1007/978-3-642-84263-4
Softcover ISBN
978-3-540-52974-3
Series ISSN
1431-603X
Edition Number
1
Number of Pages
X, 228
Number of Illustrations
4 b/w illustrations
Topics