Compare commits
40 Commits
23819f4d1b
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
ac0d7ee068 | ||
|
|
16e1078562 | ||
|
|
4cb2c7897e | ||
|
|
a4a23f2ed3 | ||
|
|
7432f09be9 | ||
|
|
d91ccb84b9 | ||
|
|
676f7689e0 | ||
|
|
e94aff9ca5 | ||
|
|
fd7ddd83ec | ||
|
|
e1051991a2 | ||
|
|
a9dc077e73 | ||
|
|
35d545c527 | ||
|
|
4bee68e6c4 | ||
|
|
02fb38fdda | ||
|
|
88a52d6bfc | ||
|
|
0e99eb925b | ||
|
|
9e152bc038 | ||
|
|
83c21f6f49 | ||
|
|
651843dbef | ||
|
|
9f253ce482 | ||
|
|
8be8525c02 | ||
|
|
707ab68523 | ||
|
|
8609ff2517 | ||
|
|
89253c8488 | ||
|
|
fc216494d4 | ||
|
|
ba1fe02294 | ||
|
|
207e858bce | ||
|
|
00a1be0c96 | ||
|
|
537d5a1b52 | ||
|
|
ef3f56ecf6 | ||
|
|
d393a1d8f3 | ||
|
|
be522c693a | ||
|
|
e9ce177940 | ||
|
|
1646724403 | ||
|
|
3421d8160d | ||
|
|
c1b7ba4561 | ||
|
|
436b9099a6 | ||
|
|
f7bb320dd2 | ||
|
|
1a29c78461 | ||
|
|
ffddcecf64 |
3
.gitmodules
vendored
Normal file
3
.gitmodules
vendored
Normal file
@@ -0,0 +1,3 @@
|
||||
[submodule "40 Extras/OOP/die_einen_da"]
|
||||
path = 40 Extras/OOP/die_einen_da
|
||||
url = git@collaborating.tuhh.de:e-24/courses/oop/exo/2026/g08/die_einen_da.git
|
||||
2
.obsidian/app.json
vendored
2
.obsidian/app.json
vendored
@@ -9,7 +9,5 @@
|
||||
"downscalePercent": 100
|
||||
},
|
||||
"promptDelete": false,
|
||||
"newFileLocation": "folder",
|
||||
"newFileFolderPath": "00 Inbox",
|
||||
"showUnsupportedFiles": true
|
||||
}
|
||||
2
.obsidian/plugins/typst-mate/data.json
vendored
2
.obsidian/plugins/typst-mate/data.json
vendored
@@ -4,7 +4,7 @@
|
||||
"mathSymbolRevealDelay": 1000,
|
||||
"complementSymbolWithUnicode": false,
|
||||
"disableBracketHighlight": false,
|
||||
"useObsidianTheme": false,
|
||||
"useObsidianTheme": true,
|
||||
"enableInlinePreview": true,
|
||||
"revertTabToDefault": false,
|
||||
"jumpOutsideBracket": true,
|
||||
|
||||
27
00 Inbox/29612838 - Lecture - 21_04.md
Normal file
27
00 Inbox/29612838 - Lecture - 21_04.md
Normal file
@@ -0,0 +1,27 @@
|
||||
---
|
||||
created: 2026-04-21 13:18
|
||||
course: "[[29592673 - Elektrotechnik II]]"
|
||||
topic:
|
||||
related:
|
||||
type: lecture
|
||||
status: 🔴
|
||||
tags:
|
||||
- university
|
||||
---
|
||||
## 📌 Summary
|
||||
|
||||
> [!abstract]
|
||||
>
|
||||
|
||||
---
|
||||
|
||||
## 📝 Content
|
||||
|
||||
## Komplexer Momentanwert
|
||||
|
||||
$i(t) = hat(i) e^(j(omega t + phi)) = hat(i) cos(omega t + phi) + j hat(i) sin(omega t + phi)$
|
||||
=> $i(t) = "Im"{i(t)}$
|
||||
|
||||
## Komplexe Kontenregel
|
||||
$sum_"Knoten" "Im"{underline(i)(t)} = 0$
|
||||
=> $"Im" { sum_"Knoten" underline(i)(t) } = 0$
|
||||
45
00 Inbox/29622985 - 2026-04-28.md
Normal file
45
00 Inbox/29622985 - 2026-04-28.md
Normal file
@@ -0,0 +1,45 @@
|
||||
---
|
||||
created: 2026-04-28 14:25
|
||||
course:
|
||||
topic:
|
||||
related:
|
||||
type: lecture
|
||||
status: 🔴
|
||||
tags:
|
||||
- university
|
||||
---
|
||||
## 📌 Summary
|
||||
|
||||
> [!abstract]
|
||||
>
|
||||
|
||||
---
|
||||
|
||||
## 📝 Content
|
||||
|
||||
A containment hierarchy of classes of formal grammars. Grammars are classified into four types with different limitations.
|
||||
|
||||
### Type 0
|
||||
no restrictions
|
||||
|
||||
### Type 1
|
||||
Each rule $sans(w)_1 -> sans(w_2)$ satisfies $sans(abs(w_1) <= abs(w_2))$ with the exception that $sans(S) -> epsilon$ is allowed if $sans(S)$ does not occur on any right hand side of rules.
|
||||
$sans(abs(w_1) <= abs(w_2))$ implies that no shortening rules are allowed.
|
||||
|
||||
### Type 2 (context free)
|
||||
Same restriction as [[#Type 1|type 1]] and additionally for each rule $sans(w_1 -> w_2)$ the string $sans(w_1)$ contains only a single variable (i.e. $sans(w_1 in V)$)
|
||||
|
||||
### Type 3 (regular)
|
||||
Same restriction as [[#Type 2|type 2]] and additionally $sans(w_2 in Sigma union Sigma V)$), i.e. the right hand side is either a single terminal symbol or a terminal symbol followed by a variable.
|
||||
|
||||
> [!REMARK]
|
||||
> The order of the variable and the terminal symbol is chosen arbitrarily.
|
||||
> Important is just that within a regular grammar only a single order occurs. If for all rules $sans(w_2 in Sigma union V Sigma)$ it would also be a regular grammar.
|
||||
|
||||
## Definition
|
||||
A language $sans(L subset Sigma^*)$ is said to be of type 0 (1,2,3) if there exist a type 0 (1,2,3) grammar $sans(G)$ for which $sans(L(G) = L)$.
|
||||
|
||||
> [!REMARK]
|
||||
> In order to show that a language is op type 0 (1,2,3) one thus just has to find a corresponding grammar.
|
||||
> In order to show that a grammar is not of type 0 (1,2,3) one has to prove that no type 0 (1,2,3) grammar can exist generating the corresponding language.
|
||||
|
||||
3
00 Inbox/Untitled 1.base
Normal file
3
00 Inbox/Untitled 1.base
Normal file
@@ -0,0 +1,3 @@
|
||||
views:
|
||||
- type: table
|
||||
name: Table
|
||||
3
00 Inbox/Untitled.base
Normal file
3
00 Inbox/Untitled.base
Normal file
@@ -0,0 +1,3 @@
|
||||
views:
|
||||
- type: table
|
||||
name: Table
|
||||
18
10 Courses/01 - WiSe 2025_26/DAS/29622722 - DAS.md
Normal file
18
10 Courses/01 - WiSe 2025_26/DAS/29622722 - DAS.md
Normal file
@@ -0,0 +1,18 @@
|
||||
---
|
||||
created: 2026-04-28 10:02
|
||||
course:
|
||||
topic:
|
||||
related:
|
||||
type: lecture
|
||||
status: 🔴
|
||||
tags:
|
||||
- university
|
||||
---
|
||||
## 📌 Summary
|
||||
|
||||
> [!abstract]
|
||||
>
|
||||
|
||||
---
|
||||
|
||||
## 📝 Content
|
||||
@@ -0,0 +1,18 @@
|
||||
---
|
||||
created: 2026-04-28 10:02
|
||||
course:
|
||||
topic:
|
||||
related:
|
||||
type: lecture
|
||||
status: 🔴
|
||||
tags:
|
||||
- university
|
||||
---
|
||||
## 📌 Summary
|
||||
|
||||
> [!abstract]
|
||||
>
|
||||
|
||||
---
|
||||
|
||||
## 📝 Content
|
||||
@@ -1,6 +1,6 @@
|
||||
## Asymptotic Equivalence Classes (Big-O)
|
||||
|
||||
The equivalence relation definition given in the task is asking you to find functions that grow at the exact same rate (also known as Big-Theta $\Theta$):
|
||||
The equivalence relation definition given in the task is asking you to find functions that grow at the exact same rate (also known as Big-Theta $Theta$):
|
||||
|
||||
$f asymp g <==> f in O(g) and g in O(f)$
|
||||
|
||||
@@ -29,8 +29,7 @@ Result is the last $"Remainder"$ that is not $0$.
|
||||
**Goal:** find a $x$ and $y$ so that $"Divident" * x + "Divisor" * y = gcd("Dividend", "Divisor")$
|
||||
|
||||
1. **Rewrite Euclid (above) equations** to solve for remainder ($"Remainder" = "Old Remainder" - "Dividend" * "Divisor"$)
|
||||
2. **Substitute remainders** -> $$
|
||||
|
||||
2. **Substitute remainders** ->
|
||||
## Inclusion-Exclusion Principle
|
||||
Principle that dictates that when combining / overlapping sets, you have to make sure to not include elements that occur in multiple sets multiple times.
|
||||
|
||||
@@ -54,6 +53,7 @@ $$
|
||||
& 4^10 = 1,048,576 \
|
||||
& => 3 "numbers that are both" x^2 "and" x^5 "exist"
|
||||
$$
|
||||
|
||||
#### Final calculation:
|
||||
Formula: $"Elements that are" x^2 + "Elements that are" x^5 - "Elements that are both"$
|
||||
$==> 1,000 + 15 - 3 = 1,012$
|
||||
|
||||
@@ -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.
|
||||
|
||||
> [!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
|
||||
The _length_ $abs(x)$ of a string $x = a_1 ... a_n$ is its number $abs(x) = n$ of characters.
|
||||
|
||||
@@ -0,0 +1,45 @@
|
||||
---
|
||||
created: 2026-04-28 14:25
|
||||
course:
|
||||
topic:
|
||||
related:
|
||||
type: lecture
|
||||
status: 🔴
|
||||
tags:
|
||||
- university
|
||||
---
|
||||
## 📌 Summary
|
||||
|
||||
> [!abstract]
|
||||
>
|
||||
|
||||
---
|
||||
|
||||
## 📝 Content
|
||||
|
||||
A containment hierarchy of classes of formal grammars. Grammars are classified into four types with different limitations.
|
||||
|
||||
### Type 0
|
||||
no restrictions
|
||||
|
||||
### Type 1
|
||||
Each rule $sans(w)_1 -> sans(w_2)$ satisfies $sans(abs(w_1) <= abs(w_2))$ with the exception that $sans(S) -> epsilon$ is allowed if $sans(S)$ does not occur on any right hand side of rules.
|
||||
$sans(abs(w_1) <= abs(w_2))$ implies that no shortening rules are allowed.
|
||||
|
||||
### Type 2 (context free)
|
||||
Same restriction as [[#Type 1|type 1]] and additionally for each rule $sans(w_1 -> w_2)$ the string $sans(w_1)$ contains only a single variable (i.e. $sans(w_1 in V)$)
|
||||
|
||||
### Type 3 (regular)
|
||||
Same restriction as [[#Type 2|type 2]] and additionally $sans(w_2 in Sigma union Sigma V)$), i.e. the right hand side is either a single terminal symbol or a terminal symbol followed by a variable.
|
||||
|
||||
> [!REMARK]
|
||||
> The order of the variable and the terminal symbol is chosen arbitrarily.
|
||||
> Important is just that within a regular grammar only a single order occurs. If for all rules $sans(w_2 in Sigma union V Sigma)$ it would also be a regular grammar.
|
||||
|
||||
## Definition
|
||||
A language $sans(L subset Sigma^*)$ is said to be of type 0 (1,2,3) if there exist a type 0 (1,2,3) grammar $sans(G)$ for which $sans(L(G) = L)$.
|
||||
|
||||
> [!REMARK]
|
||||
> In order to show that a language is op type 0 (1,2,3) one thus just has to find a corresponding grammar.
|
||||
> In order to show that a grammar is not of type 0 (1,2,3) one has to prove that no type 0 (1,2,3) grammar can exist generating the corresponding language.
|
||||
|
||||
@@ -0,0 +1,40 @@
|
||||
---
|
||||
created: 2026-04-09 11:34
|
||||
course: "[[29595454 - Mathematik II]]"
|
||||
topic: komplexe Zahlen, Eigenwert
|
||||
related:
|
||||
type: lecture
|
||||
status: 🔴
|
||||
tags:
|
||||
- university
|
||||
---
|
||||
## 📌 Summary
|
||||
|
||||
> [!abstract]
|
||||
>
|
||||
|
||||
---
|
||||
|
||||
## 📝 Content
|
||||
|
||||
## Imaginäre Einheit
|
||||
Die imaginäre Einheit $i$ ist definiert über $i^2 = -1$.
|
||||
|
||||
## Menge der komplexen Zahlen
|
||||
Die Elemente der menge $CC := {x + i y : x, y in RR}$ nennt man _komplexe Zahlen_.
|
||||
|
||||
## Komplexe Zahlen
|
||||
Zu einer komplexen Zahl $z = x + i y in CC$ mit $x, y in RR$ heißt
|
||||
- $"Re" z := x$ _Realteil_ von $z$
|
||||
- $"Im" z := y$ _Imaginärteil_ von $z$
|
||||
- $overline(z) := x - i y$ die _konjugiert komplexe Zahl_ zu $z$
|
||||
- $abs(z) := sqrt(x^2 + y^2)$ der _Betrag_ von $z$
|
||||
- $phi in [0, 2pi]$ _Argument_ oder _Phase_ von $z$
|
||||
|
||||
### Operationen
|
||||
|
||||
#### Addition
|
||||
Die Addition wird (komponentenweise) wie für Vektoren definiert:
|
||||
$a = vec(x, y), b = vec(x_2, y_2)$
|
||||
|
||||
#### Multiplikation
|
||||
BIN
11 Homework/Mathe II/Homework 1.pdf
Normal file
BIN
11 Homework/Mathe II/Homework 1.pdf
Normal file
Binary file not shown.
@@ -1,2 +1,33 @@
|
||||
#import "_Math Homework Template.typ": assignment_header
|
||||
#show: assignment_header("Mathe II", 1)
|
||||
#set page(
|
||||
header: align(right, [
|
||||
#set text(size: 9pt)
|
||||
#set par(leading: .3em)
|
||||
#pad(y: -.5cm, [
|
||||
Mathe II \
|
||||
Hausaufgabe 01 \
|
||||
Jan Meyer \
|
||||
664237
|
||||
])
|
||||
])
|
||||
)
|
||||
|
||||
|
||||
== Problem 1 _Stammfunktionen_
|
||||
a) $ &integral x^2 exp(x^3) d x = 1/3 exp(x^3) + C $
|
||||
|
||||
b)
|
||||
$ &integral ln(x^2)/x^2 d x = -(2 ln(x) + 2)/x + C $
|
||||
|
||||
c)
|
||||
$ &integral 1/2 (sin(2x) + 1) d x = 1/4 (-cos(2x) + 2x) + C $
|
||||
|
||||
|
||||
== Problem 2 _Integrale und Stammfuntionen_
|
||||
a)
|
||||
$ &integral (2x^2 - 3x + 4) / x d x = x^2 - 3x + 4 ln abs(x) + C $
|
||||
|
||||
b)
|
||||
$ &integral (2 cos(x)) / (1 + sin(x)) d x = 2 ln abs(1 + sin(x)) + C $
|
||||
|
||||
c)
|
||||
$ &integral exp(2x) sqrt(1 + exp(2x)) d x = 1/3(1 + exp(2x))^(3/2) + C $
|
||||
|
||||
1615
11 Homework/Mathe II/Homework 2.pdf
Normal file
1615
11 Homework/Mathe II/Homework 2.pdf
Normal file
File diff suppressed because it is too large
Load Diff
74
11 Homework/Mathe II/Homework 2.typ
Normal file
74
11 Homework/Mathe II/Homework 2.typ
Normal file
@@ -0,0 +1,74 @@
|
||||
#set page(
|
||||
header: align(right, [
|
||||
#set text(size: 9pt)
|
||||
#set par(leading: .3em)
|
||||
#pad(y: -.5cm, [
|
||||
Mathe II \
|
||||
Hausaufgabe 02 \
|
||||
Jan Meyer \
|
||||
664237
|
||||
])
|
||||
])
|
||||
)
|
||||
|
||||
== Problem 1: Integration rationaler Funktionen
|
||||
|
||||
=== (a) $f(x) = (x + 2) / (x^3 - 3x^2 - x + 3)$
|
||||
|
||||
Faktorisierung des Nenners:
|
||||
$ x^3 - 3x^2 - x + 3 = (x - 1)(x + 1)(x - 3) $
|
||||
|
||||
Partialbruchzerlegung:
|
||||
$ (x + 2) / ((x - 1)(x + 1)(x - 3)) = A / (x - 1) + B / (x + 1) + C / (x - 3) $
|
||||
$ A = -3/4, B = 1/8, C = 5/8 $
|
||||
|
||||
Stammfunktion:
|
||||
$ F(x) = -3/4 ln|x - 1| + 1/8 ln|x + 1| + 5/8 ln|x - 3| + C $
|
||||
|
||||
---
|
||||
|
||||
=== (b) $f(x) = x^6 / (x^4 + 3x^2 + 2)$
|
||||
|
||||
Polynomdivision:
|
||||
$ x^6 / (x^4 + 3x^2 + 2) = x^2 - 3 + (7x^2 + 6) / ((x^2 + 1)(x^2 + 2)) $
|
||||
|
||||
Partialbruchzerlegung des Restes:
|
||||
$ (7x^2 + 6) / ((x^2 + 1)(x^2 + 2)) = 8 / (x^2 + 2) - 1 / (x^2 + 1) $
|
||||
|
||||
Stammfunktion:
|
||||
$ F(x) = 1/3 x^3 - 3x - arctan(x) + 4 sqrt(2) arctan(x / sqrt(2)) + C $
|
||||
|
||||
#pagebreak()
|
||||
== Problem 3: Eigenwerte
|
||||
|
||||
=== (a) Berechnung der Eigenwerte
|
||||
|
||||
#let id = "I"
|
||||
#let det = "det"
|
||||
|
||||
==== (i) $A_1 = mat(3, -1, 0; 3, -1, 0; 4, -1, -2)$
|
||||
Charakteristisches Polynom (Entwicklung nach der 3. Spalte):
|
||||
$ p(lambda) = (-2-lambda) det mat(3-lambda, -1; 3, -1-lambda) $
|
||||
$ p(lambda) = (-2-lambda) (lambda^2 - 2lambda) = -lambda(lambda - 2)(lambda + 2) $
|
||||
*Eigenwerte:* $lambda_1 = 0, lambda_2 = 2, lambda_3 = -2$
|
||||
|
||||
==== (ii) $A_2 = mat(1, 0, -1; 1, 0, 2; 1, 0, 1)$
|
||||
Charakteristisches Polynom (Entwicklung nach der 2. Spalte):
|
||||
$ p(lambda) = (-lambda) det mat(1-lambda, -1; 1, 1-lambda) $
|
||||
$ p(lambda) = -lambda (lambda^2 - 2lambda + 2) $
|
||||
Nullstellen via $p q$-Formel: $lambda = 1 plus.minus sqrt(-1)$
|
||||
*Eigenwerte:* $lambda_1 = 0, lambda_2 = 1 + i, lambda_3 = 1 - i$
|
||||
|
||||
---
|
||||
|
||||
=== (b) Beweis: Eigenwerte von $A B$ und $B A$
|
||||
|
||||
Sei $lambda != 0$ ein Eigenwert von $A B$. Dann existiert ein Eigenvektor $v != 0$, sodass:
|
||||
$ (A B) v = lambda v $
|
||||
|
||||
Multiplikation von links mit $B$:
|
||||
$ B(A B v) = B(lambda v) $
|
||||
$ (B A)(B v) = lambda (B v) $
|
||||
|
||||
Da $lambda != 0$ und $v != 0$, ist $B v != 0$.
|
||||
Somit ist $B v$ ein Eigenvektor von $B A$ zum Eigenwert $lambda$. $square$
|
||||
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/29622724 - Lecture_10_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_10_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_11_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_11_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_1_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_1_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_2_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_2_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_3_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_3_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_4_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_4_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_5_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_5_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_6_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_6_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_7_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_7_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_8_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_8_-_compact.pdf
Normal file
Binary file not shown.
BIN
30 Library/29622724 - Lecture_9_-_compact.pdf
Normal file
BIN
30 Library/29622724 - Lecture_9_-_compact.pdf
Normal file
Binary file not shown.
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
BIN
30 Library/Hausaufgabe01.pdf
Normal file
BIN
30 Library/Hausaufgabe01.pdf
Normal file
Binary file not shown.
BIN
30 Library/Hausaufgabe02.pdf
Normal file
BIN
30 Library/Hausaufgabe02.pdf
Normal file
Binary file not shown.
@@ -1,6 +1,5 @@
|
||||
#!/bin/bash
|
||||
|
||||
# Check if a filename was provided
|
||||
if [ -z "$1" ]; then
|
||||
echo "Usage: $0 <filename>"
|
||||
exit 1
|
||||
@@ -8,29 +7,28 @@ fi
|
||||
|
||||
TARGET="$1"
|
||||
|
||||
# Check if the file actually exists
|
||||
if [ ! -f "$TARGET" ]; then
|
||||
echo "Error: File '$TARGET' not found."
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Get creation time (%W).
|
||||
# Note: Returns 0 or '-' if the filesystem doesn't support birth time.
|
||||
# Extract just the filename (e.g., "Lecture_1.pdf")
|
||||
# and the directory path (e.g., ".")
|
||||
FILENAME=$(basename "$TARGET")
|
||||
DIRNAME=$(dirname "$TARGET")
|
||||
|
||||
BTIME=$(stat -c %W "$TARGET")
|
||||
|
||||
# Fallback to last modification time (%Y) if birth time is unavailable
|
||||
if [ "$BTIME" -eq 0 ] || [ "$BTIME" == "-" ]; then
|
||||
BTIME=$(stat -c %Y "$TARGET")
|
||||
fi
|
||||
|
||||
# Calculate the minute-based timestamp (equivalent to Math.floor(ms / 60000))
|
||||
# Since stat returns seconds, we divide by 60.
|
||||
FORMATTED_DATE=$(( BTIME / 60 ))
|
||||
|
||||
# Define the new name
|
||||
NEW_NAME="${FORMATTED_DATE} - ${TARGET}"
|
||||
# Construct the new name using ONLY the filename,
|
||||
# then prepend the original directory path
|
||||
NEW_NAME="${DIRNAME}/${FORMATTED_DATE} - ${FILENAME}"
|
||||
|
||||
# Perform the rename
|
||||
mv "$TARGET" "$NEW_NAME"
|
||||
|
||||
echo "Renamed: '$TARGET' -> '$NEW_NAME'"
|
||||
|
||||
1
40 Extras/OOP/die_einen_da
Submodule
1
40 Extras/OOP/die_einen_da
Submodule
Submodule 40 Extras/OOP/die_einen_da added at 110c25480f
3
Untitled 1.base
Normal file
3
Untitled 1.base
Normal file
@@ -0,0 +1,3 @@
|
||||
views:
|
||||
- type: table
|
||||
name: Table
|
||||
3
Untitled.base
Normal file
3
Untitled.base
Normal file
@@ -0,0 +1,3 @@
|
||||
views:
|
||||
- type: table
|
||||
name: Table
|
||||
Reference in New Issue
Block a user