Can I read Elementare Aussagenlogik (mathematik Für Informatiker) on EtoBox?

Elementare Aussagenlogik (mathematik Für Informatiker) by Friedrich L. Bauer, Martin Wirsing (auth.) is a nonfiction available to read on EtoBox.

What is Elementare Aussagenlogik (mathematik Für Informatiker) about?

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 di

Who reads Elementare Aussagenlogik (mathematik Für Informatiker)?

Author

Friedrich L. Bauer, Martin Wirsing (auth.)

Publisher

Springer-Verlag Berlin Heidelberg

Published

1991

Language

DE

ISBN

9783642836084

Category

nonfiction

Subjects

Computer Science, Mathematics, Reference