Musterlösungen Mathematik für Informatiker


 

1. Mathematische Logik und Mengenlehre

1.1 Aussagen und Aussageformen

1.2 Verknüpfen von Aussagen

1.3 Aussagenlogische Beweisprinzipien

1.4 Aussagenlogik in MathSage

1.5 Quantoren

1.6 Charakterisierung von Mengen

1.7 Mengenrelationen und Mengenoperationen

1.8 Rechenregeln für Mengen

1.9 Rechnen mit Mengen in SageMath

1.10 Abbildungen zwischen Mengen

1.11 Surjektiv, injektiv und bijektiv

2. Zahlen und ihre Eigenschaften

2.1 Die natürlichen Zahlen

2.2 Das Prinzip der schwachen Induktion

2.3 Endliche Summen in SageMath

2.4 Das Prinzip der starken Induktion

2.5 Binärdarstellung natürlicher Zahlen

2.6 Zahlenumwandlung in SageMath

2.7 Die ganzen Zahlen

2.8 Die rationalen Zahlen

2.9 Q als angeordneter Körper

2.10 Abzählbarkeit der rationalen Zahlen

2.11 Weiteres zur Abzählbarkeit