By Rolf Socher
Read or Download Mathematik für Informatiker PDF
Best discrete mathematics books
Computational Complexity of Sequential and Parallel Algorithms
This booklet offers a compact but entire survey of significant ends up in the computational complexity of sequential algorithms. this can be by way of a hugely informative creation to the advance of parallel algorithms, with the emphasis on non-numerical algorithms. the cloth is so chosen that the reader in lots of circumstances is ready to stick to an analogous challenge for which either sequential and parallel algorithms are mentioned - the simultaneous presentation of sequential and parallel algorithms for fixing permitting the reader to understand their universal and distinctive gains.
Discontinuum Mechanics : Using Finite and Discrete Elements
Textbook introducing the mathematical and computational suggestions of touch mechanics that are used more and more in business and educational software of the mixed finite/discrete point technique.
Matroids: A Geometric Introduction
Matroid idea is a colourful quarter of analysis that gives a unified technique to comprehend graph conception, linear algebra and combinatorics through finite geometry. This e-book presents the 1st entire advent to the sector with a view to entice undergraduate scholars and to any mathematician drawn to the geometric method of matroids.
Fragile networks: Identifying Vulnerabilities and Synergies in an Uncertain World
A unified therapy of the vulnerabilities that exist in real-world community systems-with instruments to spot synergies for mergers and acquisitions Fragile Networks: settling on Vulnerabilities and Synergies in an doubtful international offers a accomplished examine of community platforms and the jobs those platforms play in our daily lives.
Additional info for Mathematik für Informatiker
Sample text
Beweis durch Fallunterscheidung Bei diesem Beweisprinzip werden zwei oder mehr Fälle separat untersucht und in jedem Fall wird ein Beweis geführt. Wichtig dabei ist, dass die Fallunterscheidung vollständig ist, das heißt, dass kein Fall vergessen wurde. 8 Folgender Satz soll bewiesen werden: Für alle ganzen Zahlen n ist der Ausdruck n 2 + n eine gerade Zahl. Beweis: Wir unterscheiden zwei Fälle: Fall 1: n ist gerade. Dann ist n 2 ebenfalls gerade und n 2 + n ist als Summe zweier gerader Zahlen auch gerade.
Definition Teilmenge Seien A und B Mengen. Wir schreiben A ⊆ B (lies: A ist Teilmenge von B), falls jedes Element von A auch Element von B ist. Für jede Menge M gilt: a) ∅ ⊆ M b) M ⊆ M Die Aussage a) scheint zunächst eine willkürliche Festlegung zu sein. Wenn Sie jedoch die Aussage A ⊆ B so formulieren: „Es gibt kein Element von A, das nicht in B ist“, so erkennen Sie, dass a) eine logische Konsequenz der Definition der Teilmengenbeziehung ist. Eine n-Teilmenge von M ist eine Teilmenge von M, die n Elemente enthält.
Später wurden elektromagnetische Relais verwendet, und heutzutage werden Gatter elektronisch implementiert, können aber auch optisch oder auf Molekularebene realisiert werden. p ≥1 p & p∧q q p 1 ¬p q AND-Gatter p Abb. 1-1 Einige Logikgatter p∨q NOT-Gatter OR-Gatter & ¬(p∧q) q p ≥1 ¬(p ∨ q) q NAND-Gatter NOR-Gatter In Schaltplänen werden Gatter durch ihre Schaltsymbole dargestellt. Die Schaltsymbole einiger gebräuchlicher Gatter sind in Abbildung 1-1 dargestellt. Besonders wichtig ist das NAND-Gatter, denn mit ihm kann jede komplexe Schaltung aufgebaut werden.