Andreas Schaefer

1.18K subscribers

140 videos

View on YouTube

Lecture Videos (Theory of Computing)

Latest Videos

Schleifeninvarianten bei Sprüngen aus Schleifen

Schleifeninvarianten bei Sprüngen aus Schleifen

Andreas Schaefer

130 views·1 year ago

Schleifeninvarianten

Schleifeninvarianten

Andreas Schaefer

441 views·1 year ago

Terminierungsbeweise mit Terminierungsfunktionen in Dafny

Terminierungsbeweise mit Terminierungsfunktionen in Dafny

Andreas Schaefer

83 views·1 year ago

Vorbedingungen und Nachbedingungen in Dafny

Vorbedingungen und Nachbedingungen in Dafny

Andreas Schaefer

84 views·1 year ago

Integration reeller Funktionen Symmetrien nutzen

Integration reeller Funktionen Symmetrien nutzen

Andreas Schaefer

93 views·1 year ago

Periodizität, Monotonie, Beschränktheit und Umkehrbarkeit

Periodizität, Monotonie, Beschränktheit und Umkehrbarkeit

Andreas Schaefer

113 views·2 years ago

The trigonometric functions

The trigonometric functions

Andreas Schaefer

32 views·2 years ago

Die natürliche Logarithmusfunktion

Die natürliche Logarithmusfunktion

Andreas Schaefer

117 views·2 years ago

The natural exponential function

The natural exponential function

Andreas Schaefer

411 views·2 years ago

Eigenschaften der Determinante

Eigenschaften der Determinante

Andreas Schaefer

154 views·2 years ago

Determinante - Entwicklung nach Laplace

Determinante - Entwicklung nach Laplace

Andreas Schaefer

68 views·2 years ago

Berechnung der Determinanten für 2x2 und 3x3 Matrizen

Berechnung der Determinanten für 2x2 und 3x3 Matrizen

Andreas Schaefer

122 views·2 years ago

Determinants -- Idea

Determinants -- Idea

Andreas Schaefer

97 views·2 years ago

The rotation in R^2 as a linear transformation

The rotation in R^2 as a linear transformation

Andreas Schaefer

171 views·2 years ago

Lineare Abbildungen

Lineare Abbildungen

Andreas Schaefer

125 views·2 years ago

Rang einer Matrix

Rang einer Matrix

Andreas Schaefer

230 views·2 years ago

Basis eines Vektorraums

Basis eines Vektorraums

Andreas Schaefer

78 views·2 years ago

Lineare Abhängigkeit und Unabhängigkeit von Vektoren

Lineare Abhängigkeit und Unabhängigkeit von Vektoren

Andreas Schaefer

97 views·2 years ago

Gauß-Verfahren zur Lösung linearer Gleichungssysteme - Beispiel für unendlich viele Lösungen

Gauß-Verfahren zur Lösung linearer Gleichungssysteme - Beispiel für unendlich viele Lösungen

Andreas Schaefer

101 views·2 years ago

Gauß-Verfahren zur Lösung linearer Gleichungssysteme - Beispiel für keine Lösungen

Gauß-Verfahren zur Lösung linearer Gleichungssysteme - Beispiel für keine Lösungen

Andreas Schaefer

56 views·2 years ago

Matrixmultiplikation

Matrixmultiplikation

Andreas Schaefer

59 views·2 years ago

Matrix Transponieren, Addieren und Multiplizieren mit Skalar

Matrix Transponieren, Addieren und Multiplizieren mit Skalar

Andreas Schaefer

56 views·2 years ago

Matrix Matrizen

Matrix Matrizen

Andreas Schaefer

49 views·2 years ago

Vektoren (Geraden und Ebenen)

Vektoren (Geraden und Ebenen)

Andreas Schaefer

132 views·2 years ago

Vektoren (Vektorprodukt)

Vektoren (Vektorprodukt)

Andreas Schaefer

27 views·2 years ago

Vektoren (Skalarprodukt)

Vektoren (Skalarprodukt)

Andreas Schaefer

59 views·2 years ago

Vektoren (Länge Betrag)

Vektoren (Länge Betrag)

Andreas Schaefer

42 views·2 years ago

Vektoren (Multiplikation eines Skalars mit einem Vektor)

Vektoren (Multiplikation eines Skalars mit einem Vektor)

Andreas Schaefer

89 views·2 years ago

Vektoren (Gleichheit von Vektoren)

Vektoren (Gleichheit von Vektoren)

Andreas Schaefer

297 views·2 years ago

Vektoren (Addition von Vektoren)

Vektoren (Addition von Vektoren)

Andreas Schaefer

92 views·2 years ago

Load More Videos

Andreas Schaefer - NatokHD | NatokHD