ISBN10: 3540529748, ISBN13: 9783540529743, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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 ...
Show/Hide image

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Elementare Aussagenlogik. ISBN 3540529748 9783540529743 [GB]

ISBN10: 3540529748, ISBN13: 9783540529743, [publisher: Springer] Softcover 238 pages. German language. 9.53x6.69x0.55 inches. In Stock.
[Exeter, United Kingdom] [Publication Year: 1991]

ISBN10: 3540529748, ISBN13: 9783540529743, [publisher: Berlin [u.a.]: Springer] Softcover Mathematik für Informatiker. Zust: Gutes Exemplar. X, 228 S. Deutsch 412g
[Kassel, Germany] [Publication Year: 1991]
Show/Hide image

ISBN10: 3540529748, ISBN13: 9783540529743, [publisher: Springer] Softcover Book is in NEW condition.
[Hawthorne, CA, U.S.A.] [Publication Year: 1991]

ISBN10: 3540529748, ISBN13: 9783540529743, [publisher: Berlin, Springer] Softcover X, 228 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. AB- 8749 9783540529743 Sprache: Deutsch Gewicht in Gramm: 550
[Löbnitz, Germany] [Publication Year: 1991]
Show/Hide image

ISBN10: 3540529748, ISBN13: 9783540529743, [publisher: Springer Verlag;] Softcover X, 228 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 380
[Welling, Germany] [Publication Year: 1991]
Show/Hide image

Berlin, Heidelberg Springer 1991 Trade paperback New. Text in German. Trade paperback (US). Glued binding. 228 p. Contains: Illustrations, black & white, Tables, black & white. Mathematik Für Informatiker.