Name the binding strengths of PL tokens in order.
Note 1: ETH::DiskMat
Deck: ETH::DiskMat
Note Type: Basic (with MathJax)
GUID:
modified
Note Type: Basic (with MathJax)
GUID:
wV8Y&j0xY.
Before
Front
Back
Name the binding strengths of PL tokens in order.
- unary operators (NOT)
- quantifiers (for all and exists)
- operators (AND, OR)
- Implication
- quantifiers (for all and exists)
- operators (AND, OR)
- Implication
After
Front
Name the binding strengths of PL tokens in order.
Back
Name the binding strengths of PL tokens in order.
- unary operators (NOT)
- quantifiers (for all and exists)
- operators (AND, OR)
- Implication
- quantifiers (for all and exists)
- operators (AND, OR)
- Implication
Note 2: ETH::DiskMat
Deck: ETH::DiskMat
Note Type: Cloze (with MathJax)
GUID:
modified
Note Type: Cloze (with MathJax)
GUID:
xH`d$W-97_
Before
Front
In a Group:
\(\widehat{(\widehat{a})} =\) \(a\) (inverse of inverse is the original element). This is a property from a Lemma.
Back
In a Group:
\(\widehat{(\widehat{a})} =\) \(a\) (inverse of inverse is the original element). This is a property from a Lemma.
After
Front
In a Group:
\(\widehat{(\widehat{a})} =\) \(a\) (inverse of inverse is the original element). This is a property from Lemma 5.3.
Back
In a Group:
\(\widehat{(\widehat{a})} =\) \(a\) (inverse of inverse is the original element). This is a property from Lemma 5.3.
Field-by-field Comparison
| Field | Before | After |
|---|---|---|
| Text | <p>In a Group:<br>
\(\widehat{(\widehat{a})} =\){{c1:: \(a\) }} {{c1:: (inverse of inverse is the original element)}}. This is a property from |
<p>In a Group:<br> \(\widehat{(\widehat{a})} =\){{c1:: \(a\) }} {{c1:: (inverse of inverse is the original element)}}. This is a property from Lemma 5.3.</p> |
Note 3: ETH::DiskMat
Deck: ETH::DiskMat
Note Type: Cloze (with MathJax)
GUID:
added
Note Type: Cloze (with MathJax)
GUID:
y`5($Q$d37
Previous
Note did not exist
New Note
Front
Eine Gruppe ist eine Menge \(G\) mit Operation \( * \) mit folgenden Eigenschaften:
- {{c2::
- Assoziativität: \((a * b) * c = a * (b*c)\)
- Neutrales Element existiert: \( a * e = e * a = a \)
- Jedes Element \(a\in G\) hat eine Inverse: \( a * a^{-1} = a^{-1} * a = e\) }}
Back
Eine Gruppe ist eine Menge \(G\) mit Operation \( * \) mit folgenden Eigenschaften:
- {{c2::
- Assoziativität: \((a * b) * c = a * (b*c)\)
- Neutrales Element existiert: \( a * e = e * a = a \)
- Jedes Element \(a\in G\) hat eine Inverse: \( a * a^{-1} = a^{-1} * a = e\) }}
Field-by-field Comparison
| Field | Before | After |
|---|---|---|
| Text | {{c1::Eine Gruppe}} ist eine {{c1::Menge \(G\) mit Operation \( * \)}} mit folgenden Eigenschaften:<ul>{{c2::<li> Assoziativität: \((a * b) * c = a * (b*c)\)</li><li>Neutrales Element existiert: \( a * e = e * a = a \)</li><li>Jedes Element \(a\in G\) hat eine Inverse: \( a * a^{-1} = a^{-1} * a = e\)</li>}}<br></ul> |
Note 4: ETH::DiskMat
Deck: ETH::DiskMat
Note Type: Cloze (with MathJax)
GUID:
added
Note Type: Cloze (with MathJax)
GUID:
BG+yKyLb,^
Previous
Note did not exist
New Note
Front
Ein Körper ist eine Menge {{c1::\( \mathbb{K}\) mit Operationen \(+ , *\)}} mit folgenden Eigenschaften:
{{c2::
- \( (\mathbb{K}, +)\) ist eine abelsche Gruppe
- \( (\mathbb{K} \backslash \{0\}, *)\) ist eine abelsche Gruppe
- Distributivität: \( a * (b+c) = a*b + a*c\)
}}Back
Ein Körper ist eine Menge {{c1::\( \mathbb{K}\) mit Operationen \(+ , *\)}} mit folgenden Eigenschaften:
{{c2::
- \( (\mathbb{K}, +)\) ist eine abelsche Gruppe
- \( (\mathbb{K} \backslash \{0\}, *)\) ist eine abelsche Gruppe
- Distributivität: \( a * (b+c) = a*b + a*c\)
}}Beispiel: \( \mathbb{Q}, \mathbb{R}\)
Field-by-field Comparison
| Field | Before | After |
|---|---|---|
| Text | {{c1::Ein Körper}} ist eine Menge {{c1::\( \mathbb{K}\) mit Operationen \(+ , *\)}} mit folgenden Eigenschaften:<div>{{c2::<div>- \( (\mathbb{K}, +)\) ist eine abelsche Gruppe</div><div>- \( (\mathbb{K} \backslash \{0\}, *)\) ist eine abelsche Gruppe</div><div>- Distributivität: \( a * (b+c) = a*b + a*c\)</div>}}<br></div> | |
| Extra | Beispiel: \( \mathbb{Q}, \mathbb{R}\) |