| Elementare Aussagenlogik Contributor(s): Bauer, Friedrich L. (Author), Wirsing, Martin (Author) |
|
 |
ISBN: 3540529748 ISBN-13: 9783540529743 Publisher: Springer OUR PRICE: $56.99 Product Type: Paperback Language: German Published: March 1991 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Programming - General - Computers | Computer Science |
| Dewey: 005.131 |
| Series: Mathematik Für Informatiker |
| Physical Information: 0.51" H x 6.69" W x 9.61" (0.86 lbs) 228 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |