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 ...
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Text in German. Trade paperback (US). Glued binding. 228 p. Contains: Illustrations, black & white, Tables, black & white. Mathematik Für Informatiker.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 228 p. Contains: Illustrations, black & white, Tables, black & white. Mathematik Für Informatiker.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 228 p. Contains: Illustrations, black & white, Tables, black & white. Mathematik Für Informatiker. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
