Compare commits
8 Commits
fd7ddd83ec
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
ac0d7ee068 | ||
|
|
16e1078562 | ||
|
|
4cb2c7897e | ||
|
|
a4a23f2ed3 | ||
|
|
7432f09be9 | ||
|
|
d91ccb84b9 | ||
|
|
676f7689e0 | ||
|
|
e94aff9ca5 |
@@ -23,7 +23,7 @@ A word (or _string_) is a finite sequence $w = a_1 a_2 ... a_n$ if characters fr
|
|||||||
> We will use small letters to describe strings that are part of a language.
|
> We will use small letters to describe strings that are part of a language.
|
||||||
|
|
||||||
> [!EXAMPLE]
|
> [!EXAMPLE]
|
||||||
> $"aa", "ab", "bba"$ and $"baab"$ are strings over $Sigma = {a, b}.
|
> $"aa", "ab", "bba"$ and $"baab"$ are strings over $Sigma = {a, b}$.
|
||||||
|
|
||||||
#### Length of a string
|
#### Length of a string
|
||||||
The _length_ $abs(x)$ of a string $x = a_1 ... a_n$ is its number $abs(x) = n$ of characters.
|
The _length_ $abs(x)$ of a string $x = a_1 ... a_n$ is its number $abs(x) = n$ of characters.
|
||||||
|
|||||||
1220
11 Homework/Mathe II/Homework 6.pdf
Normal file
1220
11 Homework/Mathe II/Homework 6.pdf
Normal file
File diff suppressed because it is too large
Load Diff
42
11 Homework/Mathe II/Homework 6.typ
Normal file
42
11 Homework/Mathe II/Homework 6.typ
Normal file
@@ -0,0 +1,42 @@
|
|||||||
|
#set page(
|
||||||
|
header: align(right, [
|
||||||
|
#set text(size: 9pt)
|
||||||
|
#set par(leading: .3em)
|
||||||
|
#pad(y: -.5cm, [
|
||||||
|
Mathe II \
|
||||||
|
Hausaufgabe 02 \
|
||||||
|
Jan Meyer \
|
||||||
|
664237
|
||||||
|
])
|
||||||
|
])
|
||||||
|
)
|
||||||
|
|
||||||
|
= Problem 2
|
||||||
|
|
||||||
|
== (a)
|
||||||
|
$f_n (x) = (sin(n x) + n) / (3n + 1) = (sin(n x) / n + 1) / (3 + 1/n)$
|
||||||
|
Da $lim_(n -> oo) sin(n x) / n = 0$, ist der punktweise Grenzwert:
|
||||||
|
$f(x) = lim_(n -> oo) f_n (x) = (0 + 1) / (3 + 0) = 1/3$
|
||||||
|
|
||||||
|
== (b)
|
||||||
|
Zu zeigen: $f_n (x) = (n x) / (n x^2 + 1)$ konvergiert auf $[r, 1)$ mit $r > 0$ gleichmäßig gegen $f(x) = 1/x$.
|
||||||
|
$|f_n (x) - f(x)| = |(n x) / (n x^2 + 1) - 1/x| = |(n x^2 - (n x^2 + 1)) / (x(n x^2 + 1))| = 1 / (n x^3 + x)$
|
||||||
|
Da $x >= r > 0$, gilt $n x^3 + x > n r^3$. Daraus folgt für das Supremum:
|
||||||
|
$sup_(x in [r, 1)) |f_n (x) - f(x)| <= 1 / (n r^3)$
|
||||||
|
Wegen $lim_(n -> oo) 1 / (n r^3) = 0$ konvergiert die Funktionenfolge gleichmäßig.
|
||||||
|
|
||||||
|
= Problem 3
|
||||||
|
|
||||||
|
Sei $cal(E) = (bold(m)_0, bold(m)_1)$ die Standardbasis. Die Basiswechselmatrizen von $cal(B)$ und $cal(C)$ in $cal(E)$ sind:
|
||||||
|
$M_cal(B) = mat(3, 2; 3, 1), quad M_cal(C) = mat(4, 1; 0, 1)$
|
||||||
|
Der Koordinatenvektor von $bold(p) = bold(m)_0 + bold(m)_1$ in $cal(E)$ ist $bold(p)^cal(E) = vec(1, 1)$.
|
||||||
|
|
||||||
|
== (a)
|
||||||
|
$bold(p)^cal(B) = M_cal(B)^(-1) bold(p)^cal(E) = 1/(3-6) mat(1, -2; -3, 3) vec(1, 1) = mat(-1/3, 2/3; 1, -1) vec(1, 1) = vec(1/3, 0)$
|
||||||
|
|
||||||
|
== (b)
|
||||||
|
$T_(cal(C) <- cal(B)) = M_cal(C)^(-1) M_cal(B) = 1/4 mat(1, -1; 0, 4) mat(3, 2; 3, 1) = mat(1/4, -1/4; 0, 1) mat(3, 2; 3, 1) = mat(0, 1/4; 3, 1)$
|
||||||
|
$T_(cal(B) <- cal(C)) = (T_(cal(C) <- cal(B)))^(-1) = 1/(0 - 3/4) mat(1, -1/4; -3, 0) = -4/3 mat(1, -1/4; -3, 0) = mat(-4/3, 1/3; 4, 0)$
|
||||||
|
|
||||||
|
== (c)
|
||||||
|
$bold(p)^cal(C) = T_(cal(C) <- cal(B)) bold(p)^cal(B) = mat(0, 1/4; 3, 1) vec(1/3, 0) = vec(0, 1)$
|
||||||
1575
11 Homework/Mathe II/Homework 7.pdf
Normal file
1575
11 Homework/Mathe II/Homework 7.pdf
Normal file
File diff suppressed because it is too large
Load Diff
52
11 Homework/Mathe II/Homework 7.typ
Normal file
52
11 Homework/Mathe II/Homework 7.typ
Normal file
@@ -0,0 +1,52 @@
|
|||||||
|
#set page(header: align(right, [
|
||||||
|
#set text(size: 9pt)
|
||||||
|
#set par(leading: .3em)
|
||||||
|
#pad(y: -.5cm, [
|
||||||
|
Mathe II \
|
||||||
|
Hausaufgabe 07 \
|
||||||
|
Jan Meyer \
|
||||||
|
664237
|
||||||
|
])
|
||||||
|
]))
|
||||||
|
|
||||||
|
= Problem 1
|
||||||
|
|
||||||
|
== (a)
|
||||||
|
Punktweiser Grenzwert für $x in (0, oo)$:
|
||||||
|
$ f(x) = lim_(n -> oo) n / (1 + n x) = lim_(n -> oo) 1 / (1/n + x) = 1/x $
|
||||||
|
|
||||||
|
== (b)
|
||||||
|
Zu prüfen ist, ob $lim_(n -> oo) sup_(x in RR) |f_n (x) - f(x)| = 0$ gilt.
|
||||||
|
Die Differenz lautet:
|
||||||
|
$ |f_n (x) - f(x)| = |(x^2 + n^2 x)/n^2 - x| = x^2/n^2 $
|
||||||
|
Das Supremum auf ganz $RR$ ist für jedes $n$ unendlich:
|
||||||
|
$ sup_(x in RR) x^2/n^2 = oo $
|
||||||
|
Die Konvergenz ist somit nicht gleichmäßig.
|
||||||
|
|
||||||
|
= Problem 4
|
||||||
|
|
||||||
|
== (a)
|
||||||
|
$A$ ist symmetrisch ($A^T = A$). Für die positive Definitheit prüfen wir die Hauptminoren nach Sylvester:
|
||||||
|
- $D_1 = 1 > 0$
|
||||||
|
- $D_2 = det mat(1, 0; 0, 1) = 1 > 0$
|
||||||
|
- $D_3 = 1 dot (5 - 4) = 1 > 0$
|
||||||
|
- $D_4 = 3 dot D_3 = 3 > 0$
|
||||||
|
Da alle Hauptminoren positiv sind, ist $A$ positiv definit und definiert ein Skalarprodukt.
|
||||||
|
|
||||||
|
== (b)
|
||||||
|
Ansatz für die Projektion $p$: $p = X c$ mit $X = (u_1, u_2)$ und $c = vec(c_1, c_2)$.
|
||||||
|
Normalengleichung: $X^T A X c = X^T A v$.
|
||||||
|
|
||||||
|
Berechnung der Gramschen Matrix $X^T A X$:
|
||||||
|
$ X^T A X = mat(u_1^T A u_1, u_1^T A u_2; u_2^T A u_1, u_2^T A u_2) = mat(4, 1; 1, 2) $
|
||||||
|
|
||||||
|
Berechnung der rechten Seite $X^T A v$:
|
||||||
|
$ A v = mat(1, 0, 0, 0; 0, 1, -2, 0; 0, -2, 5, 0; 0, 0, 0, 3) mat(2; 2; 2; 2) = mat(2; -2; 6; 6) $
|
||||||
|
$ X^T A v = mat(u_1^T A v; u_2^T A v) = mat(8; 0) $
|
||||||
|
|
||||||
|
Lösen des LGS:
|
||||||
|
$ mat(4, 1; 1, 2) mat(c_1; c_2) = mat(8; 0) $
|
||||||
|
Aus der 2. Zeile folgt $c_1 = -2 c_2$. Eingesetzt in die 1. Zeile ergibt $4(-2 c_2) + c_2 = 8 <=> -7 c_2 = 8 <=> c_2 = -8/7$. Damit ist $c_1 = 16/7$.
|
||||||
|
|
||||||
|
Einsetzen in $p$:
|
||||||
|
$ p = c_1 u_1 + c_2 u_2 = 16/7 mat(1; 0; 0; 1) - 8/7 mat(1; 1; 0; 0) = mat(8/7; -8/7; 0; 16/7) $
|
||||||
BIN
30 Library/29764041 - atfl-st2026-l03-grammars.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l03-grammars.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l04-chomsky-hierarchy.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l04-chomsky-hierarchy.pdf
Normal file
Binary file not shown.
Binary file not shown.
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l07-epsilon-automata-full.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l07-epsilon-automata-full.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l08-pumping-lemma-full.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l08-pumping-lemma-full.pdf
Normal file
Binary file not shown.
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l10-cfl-closure-properties.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l10-cfl-closure-properties.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l11-cyk-algorithm.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l11-cyk-algorithm.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l12-pumping-lemma-cfl.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l12-pumping-lemma-cfl.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l13-pushdown-automaton.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l13-pushdown-automaton.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l14-deterministic-pda.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l14-deterministic-pda.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l15-parsing.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l15-parsing.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l16-turing-machines.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l16-turing-machines.pdf
Normal file
Binary file not shown.
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l18-halting-problem.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l18-halting-problem.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l19-busy-beaver.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l19-busy-beaver.pdf
Normal file
Binary file not shown.
BIN
30 Library/29764041 - atfl-st2026-l20-myhill-nerode-theorem.pdf
Normal file
BIN
30 Library/29764041 - atfl-st2026-l20-myhill-nerode-theorem.pdf
Normal file
Binary file not shown.
10869
30 Library/29764041 - atfl-st2026-l21-program-verification.pdf
Normal file
10869
30 Library/29764041 - atfl-st2026-l21-program-verification.pdf
Normal file
File diff suppressed because it is too large
Load Diff
Submodule 40 Extras/OOP/die_einen_da updated: 3af3edea6f...110c25480f
Reference in New Issue
Block a user