 |
|
|
Item Details
| Title:
|
ELEMENTARE AUSSAGENLOGIK
|
| By: |
Friedrich L. Bauer, Martin Wirsing |
| Format: |
Paperback |
| List price:
|
£44.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540529748 |
| ISBN 13: |
9783540529743 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
28 March, 1991 |
| Series: |
Mathematik fur Informatiker |
| Pages: |
238 |
| Synopsis: |
Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitat Munchen entstanden. Es basiert auf der Uberzeugung, dass fur Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fur Ingenieure oder Physiker, sondern auch ein anderes Menu, als es sich an unseren Universitaten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeburgert hat. Neben den unentbehrlichen Einfuhrungsvorlesungen in Mathematik sind fur die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fur die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Buchern uber Logik ist dieses fur den Anfanger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt.Dabei sind sonst eher ausserhalb der Aussagenlogik liegende Gegenstande wie die Schaltlogik systematisch einbezogen worden, wo immer es moglich war: von dem fur die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen uber die Resolventenmethode, die den Anschluss an die Pradikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Ubungsaufgaben greifen haufig Gedanken auf, die im Text nur nebenbei erwahnt sind, und stellen Querbezuge her. Die Losungshinweise am Ende des Buches bieten manche Uberraschungen. |
| Illustrations: |
4 black & white illustrations, 6 black & white tables |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|