Anki Deck Changes

Commit: e147c497 - 🧹🧹🧹

Author: lhorva <lhorva@student.ethz.ch>

Date: 2025-12-27T00:53:45+01:00

Changes: 25 note(s) changed (0 added, 25 modified, 0 deleted)

ℹ️ Cosmetic Changes Hidden: 2 note(s) had formatting-only changes and are not shown below

Note 1: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: B9BorfLC*u
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}} \(\leq\) \(O(n^2)\) (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}} \(\leq\) \(O(n^2)\) (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}} \(\leq\) \(O(n^2)\) (Sum) 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}} \(\leq\) \(O(n^2)\) (Sum) 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i\)}}&nbsp;\(\leq\)&nbsp;{{c2::\(O(n^2)\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} i\)}}&nbsp;\(\leq\)&nbsp;{{c2::\(O(n^2)\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 2: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: C}:U@+B*;Q
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(\leq\) \(O(n^4)\) (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(\leq\) \(O(n^4)\) (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(\leq\) \(O(n^4)\)  (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(\leq\) \(O(n^4)\)  (Sum)
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i^3\)}}&nbsp; \(\leq\)&nbsp;{{c2::\(O(n^4)\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} i^3\)}}&nbsp; \(\leq\)&nbsp;{{c2::\(O(n^4)\)&nbsp;&nbsp;(Sum)}}
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 3: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: E>+A_WABT2
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(=\) {{c2::\(\frac{n^2(n + 1)^2}{4}\)}} (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(=\) {{c2::\(\frac{n^2(n + 1)^2}{4}\)}} (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(=\) {{c2::\(\frac{n^2(n + 1)^2}{4}\) (Sum)}} 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^3\)}}  \(=\) {{c2::\(\frac{n^2(n + 1)^2}{4}\) (Sum)}} 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i^3\)}}&nbsp; \(=\)&nbsp;{{c2::\(\frac{n^2(n + 1)^2}{4}\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} i^3\)}}&nbsp; \(=\)&nbsp;{{c2::\(\frac{n^2(n + 1)^2}{4}\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 4: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: Jm.C(wC@Lp
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(=\) {{c2::\(\frac{n(n + 1)(2n + 1)}{6}\)}} (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(=\) {{c2::\(\frac{n(n + 1)(2n + 1)}{6}\)}} (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(=\) {{c2::\(\frac{n(n + 1)(2n + 1)}{6}\) (Sum)}} 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(=\) {{c2::\(\frac{n(n + 1)(2n + 1)}{6}\) (Sum)}} 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i^2\)}}&nbsp; \(=\)&nbsp;{{c2::\(\frac{n(n + 1)(2n + 1)}{6}\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} i^2\)}}&nbsp; \(=\)&nbsp;{{c2::\(\frac{n(n + 1)(2n + 1)}{6}\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 5: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: Jp{gN:I7yh
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \log(i)\)}}  \(=\) \(\log(n!)\) (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \log(i)\)}}  \(=\) \(\log(n!)\) (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \log(i)\)}}  \(=\) \(\log(n!)\) (Sum) 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \log(i)\)}}  \(=\) \(\log(n!)\) (Sum) 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} \log(i)\)}}&nbsp; \(=\)&nbsp;{{c2::\(\log(n!)\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} \log(i)\)}}&nbsp; \(=\)&nbsp;{{c2::\(\log(n!)\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 6: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: NU;6ob<^n3
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \sum_{k = 1}^{\textbf{i} } 1\)}}  \(=\) {{c2::  \(\sum_{i = 1}^n i = \frac{n(n + 1)}{2}\)}} (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \sum_{k = 1}^{\textbf{i} } 1\)}}  \(=\) {{c2::  \(\sum_{i = 1}^n i = \frac{n(n + 1)}{2}\)}} (Sum)

inner loop depends on outer

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \sum_{k = 1}^{\textbf{i} } 1\)}}  \(=\) {{c2::  \(\sum_{i = 1}^n i = \frac{n(n + 1)}{2}\) (Sum)}} 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} \sum_{k = 1}^{\textbf{i} } 1\)}}  \(=\) {{c2::  \(\sum_{i = 1}^n i = \frac{n(n + 1)}{2}\) (Sum)}} 

inner loop depends on outer
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} \sum_{k = 1}^{\textbf{i} } 1\)}}&nbsp; \(=\)&nbsp;{{c2::&nbsp; \(\sum_{i = 1}^n i = \frac{n(n + 1)}{2}\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} \sum_{k = 1}^{\textbf{i} } 1\)}}&nbsp; \(=\)&nbsp;{{c2::&nbsp; \(\sum_{i = 1}^n i = \frac{n(n + 1)}{2}\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 7: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: cF,b)K]Ha!
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(\leq\) \(O(n^3)\) (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(\leq\) \(O(n^3)\) (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(\leq\) \(O(n^3)\) (Sum) 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i^2\)}}  \(\leq\) \(O(n^3)\) (Sum) 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i^2\)}}&nbsp; \(\leq\)&nbsp;{{c2::\(O(n^3)\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} i^2\)}}&nbsp; \(\leq\)&nbsp;{{c2::\(O(n^3)\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 8: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: n!`Y!GEmVs
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}}  \(=\) {{c2::\(\frac{n(n + 1)}{2}\)}} (Sum)

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}}  \(=\) {{c2::\(\frac{n(n + 1)}{2}\)}} (Sum)

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}}  \(=\) {{c2::\(\frac{n(n + 1)}{2}\) (Sum)}} 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\)}}  \(=\) {{c2::\(\frac{n(n + 1)}{2}\) (Sum)}} 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i\)}}&nbsp; \(=\)&nbsp;{{c2::\(\frac{n(n + 1)}{2}\)}} (Sum) {{c1:: \(\sum_{i = 1}^{n} i\)}}&nbsp; \(=\)&nbsp;{{c2::\(\frac{n(n + 1)}{2}\)&nbsp;(Sum)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 9: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: C;65zxNGcG
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::4._The_Inverse_of_a_Relation
The definition of inverse relation is \( a \ \rho \ b \iff{{c1:: b \ \hat{\rho} \ a}}\).

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::4._The_Inverse_of_a_Relation
The definition of inverse relation is \( a \ \rho \ b \iff{{c1:: b \ \hat{\rho} \ a}}\).

Example: Inverse of parent relation is childhood relation. Also written as \( \rho^{-1}\)

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::4._The_Inverse_of_a_Relation
The definition of an inverse relation is \( a \ \rho \ b \iff{{c1:: b \ \hat{\rho} \ a}}\).

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::4._The_Inverse_of_a_Relation
The definition of an inverse relation is \( a \ \rho \ b \iff{{c1:: b \ \hat{\rho} \ a}}\).

Example: Inverse of parent relation is childhood relation. Also written as \( \rho^{-1}\)
Field-by-field Comparison
Field Before After
Text The definition of {{c2::inverse relation}} is&nbsp;\( a \ \rho \ b \iff{{c1:: b \ \hat{\rho} \ a}}\). The definition of {{c2::an inverse relation}} is&nbsp;\( a \ \rho \ b \iff{{c1:: b \ \hat{\rho} \ a}}\).
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::4._The_Inverse_of_a_Relation

Note 10: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: D`/l5%ja#*
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset, \( S \subseteq A\).
\(a \in A\) is a lower (upper) bound of \(S\) if \(b \preceq a\) (\(b \succeq a) \) for all \(b \in S\)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset, \( S \subseteq A\).
\(a \in A\) is a lower (upper) bound of \(S\) if \(b \preceq a\) (\(b \succeq a) \) for all \(b \in S\)

Note that a is not necessarily in the subset S (difference to the least and greatest elements).

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\) and \( S \subseteq A\).

\(a \in A\) is a lower (upper) bound of \(S\) if \(b \preceq a\) (\(b \succeq a) \) for all \(b \in S\)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\) and \( S \subseteq A\).

\(a \in A\) is a lower (upper) bound of \(S\) if \(b \preceq a\) (\(b \succeq a) \) for all \(b \in S\)

Note that a is not necessarily in the subset S (difference to the least and greatest elements).
Field-by-field Comparison
Field Before After
Text Special elements in posets:&nbsp;\((A; \preceq)\) is a poset, \( S \subseteq A\).<div>\(a \in A\) is a {{c1::<b>lower (upper) bound</b>&nbsp;of&nbsp;\(S\)}}&nbsp;if {{c2::\(b \preceq a\) (\(b \succeq a) \) for all&nbsp;\(b \in S\)}}</div> Consider the poset&nbsp;\((A; \preceq)\) and&nbsp;\( S \subseteq A\).<br><br><div>\(a \in A\) is a {{c1::<b>lower (upper) bound</b>&nbsp;of&nbsp;\(S\)}}&nbsp;if {{c2::\(b \preceq a\) (\(b \succeq a) \) for all&nbsp;\(b \in S\)}}</div>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets

Note 11: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: F:9iVjG>$B
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset, \( S \subseteq A\).
\(a \in A\) is a minimal (maximal) element of \(A\) if there exists no \(b \in A\) with \(b \prec a\) (\(b \succ a \) )

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset, \( S \subseteq A\).
\(a \in A\) is a minimal (maximal) element of \(A\) if there exists no \(b \in A\) with \(b \prec a\) (\(b \succ a \) )

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\) and \( S \subseteq A\).

\(a \in A\) is a minimal (maximal) element of \(A\) if there exists no \(b \in A\) with \(b \prec a\) (\(b \succ a \) )

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\) and \( S \subseteq A\).

\(a \in A\) is a minimal (maximal) element of \(A\) if there exists no \(b \in A\) with \(b \prec a\) (\(b \succ a \) )
Field-by-field Comparison
Field Before After
Text Special elements in posets:&nbsp;\((A; \preceq)\) is a poset, \( S \subseteq A\).<div>\(a \in A\) is a {{c1::<b>minimal (maximal) element</b> of&nbsp;\(A\)}}&nbsp;if {{c2::there exists no&nbsp;\(b \in A\) with&nbsp;\(b \prec a\) (\(b \succ a \) )}}<br></div> Consider the poset&nbsp;\((A; \preceq)\)&nbsp;and&nbsp;\( S \subseteq A\).<br><br><div>\(a \in A\) is a {{c1::<b>minimal (maximal) element</b> of&nbsp;\(A\)}}&nbsp;if {{c2::there exists no&nbsp;\(b \in A\) with&nbsp;\(b \prec a\) (\(b \succ a \) )}}<br></div>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets

Note 12: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: iYX;e6S}74
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::2._Hasse_Diagrams
The Hasse diagram of a poset \((A; \preceq)\) is the directed graph whose vertices are the elements of \(A\) and where there is an edge from \(a\) to \(b\) if and only if \(b\) covers \(a\).

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::2._Hasse_Diagrams
The Hasse diagram of a poset \((A; \preceq)\) is the directed graph whose vertices are the elements of \(A\) and where there is an edge from \(a\) to \(b\) if and only if \(b\) covers \(a\).

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::2._Hasse_Diagrams
The Hasse diagram of a poset \((A; \preceq)\) is the directed graph whose vertices are the elements of \(A\) and where there is an edge from \(a\) to \(b\) if and only if \(b\) covers \(a\).

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::2._Hasse_Diagrams
The Hasse diagram of a poset \((A; \preceq)\) is the directed graph whose vertices are the elements of \(A\) and where there is an edge from \(a\) to \(b\) if and only if \(b\) covers \(a\).
Field-by-field Comparison
Field Before After
Text The&nbsp;<i>Hasse diagram</i>&nbsp;of a poset&nbsp;\((A; \preceq)\)&nbsp;is {{c1::the directed graph whose vertices are the elements of&nbsp;\(A\)&nbsp;and where there is an edge from&nbsp;\(a\)&nbsp;to&nbsp;\(b\)&nbsp;if and only if&nbsp;\(b\)&nbsp;covers&nbsp;\(a\).}} The&nbsp;<i>Hasse diagram</i>&nbsp;of a poset&nbsp;\((A; \preceq)\)&nbsp;is {{c1::the directed graph whose vertices are the elements of&nbsp;\(A\)&nbsp;and where there is an edge from&nbsp;\(a\)&nbsp;to&nbsp;\(b\)&nbsp;if and only if&nbsp;\(b\)&nbsp;covers&nbsp;\(a\).::defined as?}}
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::2._Hasse_Diagrams

Note 13: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: l&wZTwi1Sq
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::6._Special_Properties_of_Relations
When is a relation \(\rho\) on set \(A\) irreflexive?

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::6._Special_Properties_of_Relations
When is a relation \(\rho\) on set \(A\) irreflexive?

When \(a \ \not\rho \ a\) is true for all \(a \in A\), i.e., \(\rho \cap \text{id} = \emptyset\)

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::6._Special_Properties_of_Relations
When is a relation \(\rho\) on set \(A\) irreflexive?

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::6._Special_Properties_of_Relations
When is a relation \(\rho\) on set \(A\) irreflexive?

When \(a \ \not\rho \ a\) is true for all \(a \in A\), i.e., \(\rho \cap \text{id} = \emptyset\).

Note that irreflexive is NOT the negation of reflexive!
Field-by-field Comparison
Field Before After
Back When \(a \ \not\rho \ a\) is true for all \(a \in A\), i.e., \(\rho \cap \text{id} = \emptyset\) When \(a \ \not\rho \ a\) is true for all \(a \in A\), i.e., \(\rho \cap \text{id} = \emptyset\).<br><br>Note that irreflexive is NOT the negation of reflexive!
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::6._Special_Properties_of_Relations

Note 14: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: pjd-vCXMX,
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
In the poset \((\{2, 3, 4, 5, 6, 7, 8, 9\}; |)\), identify the minimal and maximal elements.
  • Minimal elements:  \(2, 3, 5, 7\) (primes)
  • Maximal elements:  \(5, 6, 7, 8, 9\)
  • Least or greatest element  There is none (not all elements comparable)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
In the poset \((\{2, 3, 4, 5, 6, 7, 8, 9\}; |)\), identify the minimal and maximal elements.
  • Minimal elements:  \(2, 3, 5, 7\) (primes)
  • Maximal elements:  \(5, 6, 7, 8, 9\)
  • Least or greatest element  There is none (not all elements comparable)

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((\{2, 3, 4, 5, 6, 7, 8, 9\}; |)\).
  • Minimal elements:  \(2, 3, 5, 7\) (primes)
  • Maximal elements:  \(5, 6, 7, 8, 9\)
  • Least or greatest element  There is none (not all elements comparable)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((\{2, 3, 4, 5, 6, 7, 8, 9\}; |)\).
  • Minimal elements:  \(2, 3, 5, 7\) (primes)
  • Maximal elements:  \(5, 6, 7, 8, 9\)
  • Least or greatest element  There is none (not all elements comparable)
Field-by-field Comparison
Field Before After
Text In the poset \((\{2, 3, 4, 5, 6, 7, 8, 9\}; |)\), identify the minimal and maximal elements.<br><ul><li><strong>Minimal elements</strong>: {{c1::&nbsp;\(2, 3, 5, 7\)&nbsp;(primes)}}</li><li><strong>Maximal elements</strong>: {{c2::&nbsp;\(5, 6, 7, 8, 9\)}}</li><li><strong>Least or greatest element</strong>&nbsp;{{c3:: There is none (not all elements comparable)}}</li></ul><div><img src="paste-1d2f8dcd3adedbac7c91aff60842c9ece732a3a8.jpg"></div> Consider the poset \((\{2, 3, 4, 5, 6, 7, 8, 9\}; |)\).<br><ul><li><strong>Minimal elements</strong>: {{c1::&nbsp;\(2, 3, 5, 7\)&nbsp;(primes)}}</li><li><strong>Maximal elements</strong>: {{c2::&nbsp;\(5, 6, 7, 8, 9\)}}</li><li><strong>Least or greatest element</strong>&nbsp;{{c3:: There is none (not all elements comparable)}}</li></ul><div><img src="paste-1d2f8dcd3adedbac7c91aff60842c9ece732a3a8.jpg"></div>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets

Note 15: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: u*{HjaX,5R
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::5._Meet,_Join,_and_Lattices
In the lattice \((\{1,2,3,4,5,6,8,12,24\}; |)\), what are the meet and join for two examples of pairs of numbers?

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::5._Meet,_Join,_and_Lattices
In the lattice \((\{1,2,3,4,5,6,8,12,24\}; |)\), what are the meet and join for two examples of pairs of numbers?

  • Meet: The gcd (greatest common divisor)
  • Join: The lcm (least common multiple)

Example: \(6 \land 8 = 2\), \(6 \lor 8 = 24\)

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::5._Meet,_Join,_and_Lattices
In the lattice \((\{1,2,3,4,5,6,8,12,24\}; |)\), what are the meet and join for 6 and 8?

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::5._Meet,_Join,_and_Lattices
In the lattice \((\{1,2,3,4,5,6,8,12,24\}; |)\), what are the meet and join for 6 and 8?

Meet: \(6 \land 8 = 2\) (gcd)
Join: \(6 \lor 8 = 24\) (lcm)
Field-by-field Comparison
Field Before After
Front In the lattice \((\{1,2,3,4,5,6,8,12,24\}; |)\), what are the meet and join for two examples of pairs of numbers? In the lattice \((\{1,2,3,4,5,6,8,12,24\}; |)\), what are the meet and join for 6 and 8?
Back <ul> <li><strong>Meet</strong>: The gcd (greatest common divisor)</li> <li><strong>Join</strong>: The lcm (least common multiple)</li> </ul> <br> Example: \(6 \land 8 = 2\), \(6 \lor 8 = 24\) <div>Meet:&nbsp;\(6 \land 8 = 2\)&nbsp;(gcd)</div><div>Join:&nbsp;\(6 \lor 8 = 24\)&nbsp;(lcm)</div>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::5._Meet,_Join,_and_Lattices

Note 16: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: y4s0XCy@A
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset.
\(a \in A\) is the least (greatest) element of \(A\) if \(a \preceq b\) (\(a \succeq b) \) for all \(b \in A\)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset.
\(a \in A\) is the least (greatest) element of \(A\) if \(a \preceq b\) (\(a \succeq b) \) for all \(b \in A\)

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\).

\(a \in A\) is the least (greatest) element of \(A\) if \(a \preceq b\) (\(a \succeq b) \) for all \(b \in A\)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\).

\(a \in A\) is the least (greatest) element of \(A\) if \(a \preceq b\) (\(a \succeq b) \) for all \(b \in A\)
Field-by-field Comparison
Field Before After
Text Special elements in posets:&nbsp;\((A; \preceq)\) is a poset.<div>\(a \in A\) is the {{c1::<b>least (greatest)&nbsp;element</b>&nbsp;of&nbsp;\(A\)}}&nbsp;if {{c2::\(a \preceq b\) (\(a \succeq b) \) for all&nbsp;\(b \in A\)}}</div> Consider the poset&nbsp;\((A; \preceq)\).<br><br><div>\(a \in A\) is the {{c1::<b>least (greatest)&nbsp;element</b>&nbsp;of&nbsp;\(A\)}}&nbsp;if {{c2::\(a \preceq b\) (\(a \succeq b) \) for all&nbsp;\(b \in A\)}}</div>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets

Note 17: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: yF7brLJQxE
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset, \( S \subseteq A\).
\(a \in A\) is the greatest lower (least upper) bound of \(S\) if \(a\) is the greatest (least) element of the set of all lower (upper) bounds of \(S\).

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Special elements in posets: \((A; \preceq)\) is a poset, \( S \subseteq A\).
\(a \in A\) is the greatest lower (least upper) bound of \(S\) if \(a\) is the greatest (least) element of the set of all lower (upper) bounds of \(S\).

Note that greatest (least) refers to the operation \(\preceq\) and not to order by \(>\) or \(<\) (smaller, bigger).

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\) and \( S \subseteq A\).

\(a \in A\) is the greatest lower (least upper) bound of \(S\) if \(a\) is the greatest (least) element of the set of all lower (upper) bounds of \(S\).

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets
Consider the poset \((A; \preceq)\) and \( S \subseteq A\).

\(a \in A\) is the greatest lower (least upper) bound of \(S\) if \(a\) is the greatest (least) element of the set of all lower (upper) bounds of \(S\).

Note that greatest (least) refers to the operation \(\preceq\) and not to order by \(>\) or \(<\) (smaller, bigger).
Field-by-field Comparison
Field Before After
Text Special elements in posets:&nbsp;\((A; \preceq)\) is a poset, \( S \subseteq A\).<div>\(a \in A\) is the {{c1::<b>greatest&nbsp;lower (least upper) bound</b>&nbsp;of&nbsp;\(S\)}}&nbsp;if {{c2::\(a\) is the greatest (least) element of the set of all lower (upper) bounds of&nbsp;\(S\). }}</div> Consider the poset&nbsp;\((A; \preceq)\)&nbsp;and&nbsp;\( S \subseteq A\).<br><br><div>\(a \in A\) is the {{c1::<b>greatest&nbsp;lower (least upper) bound</b>&nbsp;of&nbsp;\(S\)}}&nbsp;if {{c2::\(a\) is the greatest (least) element of the set of all lower (upper) bounds of&nbsp;\(S\). }}</div>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::5._Partial_Order_Relations::4._Special_Elements_in_Posets

Note 18: ETH::EProg

Deck: ETH::EProg
Note Type: Horvath Cloze
GUID: p9%v,4EY(!
modified

Before

Front

ETH::1._Semester::EProg::3._Control_Structures::3._Methods
Values given to a method in Java are always copied.

Back

ETH::1._Semester::EProg::3._Control_Structures::3._Methods
Values given to a method in Java are always copied.

After

Front

ETH::1._Semester::EProg::3._Control_Structures::3._Methods
Values given to a method in Java are always copied.

Back

ETH::1._Semester::EProg::3._Control_Structures::3._Methods
Values given to a method in Java are always copied.
Field-by-field Comparison
Field Before After
Text Values given to a method in Java are {{c1:: always copied}}. Values given to a method in Java are always {{c1::copied}}.
Tags: ETH::1._Semester::EProg::3._Control_Structures::3._Methods

Note 19: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: (scS~v1D#
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
\((AB)^{\top}\)?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
\((AB)^{\top}\)?

\(B^\top A^\top\)

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
\((AB)^{\top}=B^\top A^\top\)

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
\((AB)^{\top}=B^\top A^\top\)
Field-by-field Comparison
Field Before After
Text \((AB)^{\top}\)? \((AB)^{\top}={{c1::B^\top A^\top}}\)
Extra \(B^\top A^\top\)
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose

Note 20: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Classic
GUID: Hept`QKpE8
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations
What is the Kronecker delta?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations
What is the Kronecker delta?

The Kronecker delta is a function which is described as follows:

\(\delta_{i, j} = \begin{cases} \text{0} &\quad\text{if }i \neq j \\ \text{1} &\quad\text{if }i = j \end{cases}\)

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations
What is the Kronecker delta?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations
What is the Kronecker delta?

A function which is described as follows:

\(\delta_{i, j} = \begin{cases} \text{0} &\quad\text{if }i \neq j \\ \text{1} &\quad\text{if }i = j \end{cases}\)
Field-by-field Comparison
Field Before After
Back The Kronecker delta is a function which is described as follows:<br><br>\(\delta_{i, j} = \begin{cases} \text{0} &amp;\quad\text{if }i \neq j \\ \text{1} &amp;\quad\text{if }i = j \end{cases}\) A function which is described as follows:<br><br>\(\delta_{i, j} = \begin{cases} \text{0} &amp;\quad\text{if }i \neq j \\ \text{1} &amp;\quad\text{if }i = j \end{cases}\)
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations

Note 21: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Classic
GUID: h8vM!D=]5*
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
What is a full rank matrix \(A \in \mathbb{R}^{m \times n}\)?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
What is a full rank matrix \(A \in \mathbb{R}^{m \times n}\)?

\( r \le m, r \le n\), also ist der full / maximal Rank \( r = \text{min}(m,n)\)

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
Was ist der rank einer full rank matrix \(A \in \mathbb{R}^{m \times n}\)?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
Was ist der rank einer full rank matrix \(A \in \mathbb{R}^{m \times n}\)?

\( r \le m, r \le n\), also ist der full / maximal Rank \( r = \text{min}(m,n)\)
Field-by-field Comparison
Field Before After
Front What is a full rank matrix&nbsp;\(A \in \mathbb{R}^{m \times n}\)? Was ist der rank einer full rank matrix&nbsp;\(A \in \mathbb{R}^{m \times n}\)?
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank

Note 22: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Classic
GUID: p6e6T6[HIy
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
Was ist eine transponierte Matrix?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
Was ist eine transponierte Matrix?

Entlang der Hauptdiagonale gespiegelte Matrix \(\mathbf{A}^\top\), d.h. \( (\mathbf{A}^\top)_{ij} = (\mathbf{A})_{ji} \)

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
Was ist eine transponierte Matrix?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose
Was ist eine transponierte Matrix?

Eine entlang der Hauptdiagonale gespiegelte Matrix \(\mathbf{A}^\top\), d.h. \( (\mathbf{A}^\top)_{ij} = (\mathbf{A})_{ji} \)
Field-by-field Comparison
Field Before After
Back Entlang der Hauptdiagonale gespiegelte Matrix \(\mathbf{A}^\top\), d.h.&nbsp;\( (\mathbf{A}^\top)_{ij} = (\mathbf{A})_{ji} \) Eine entlang der Hauptdiagonale gespiegelte Matrix \(\mathbf{A}^\top\), d.h.&nbsp;\( (\mathbf{A}^\top)_{ij} = (\mathbf{A})_{ji} \)
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::3._Row_space_and_transpose

Note 23: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Classic
GUID: vFzsuS+[?6
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
What is the columnspace of a matrix?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
What is the columnspace of a matrix?

it is the span of all column-vectors

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
What is the columnspace of a matrix?

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
What is the columnspace of a matrix?

The span of all column-vectors.
Field-by-field Comparison
Field Before After
Back it is the span of all column-vectors The span of all column-vectors.
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
↑ Top