AC
AnkiCollab
AnkiCollab
Sign in
Explore Decks
Helpful
Join Discord
Download Add-on
Documentation
Support Us
Notes in
ETH CS::Discrete Math
To Subscribe, use this Key
north-jupiter-hawaii-blue-potato-lithium
Status
Last Update
Fields
Published
10/28/2024
Set laws: What does idempotence mean? (def)
Published
10/28/2024
Set laws:How is this law called? \[A \cap A= A\]\[A \cup A = A\]
Published
10/28/2024
Set laws:How is this law called?\[A \cup B = B \cup A\]\[A \cap B = B \cap A\]
Published
10/28/2024
Set laws: What does commutativity mean? (def)
Published
10/28/2024
Set laws: What does associativity mean? (def)
Published
10/28/2024
Set laws: How do we call this rule?\[A \cup (B \cup C) = (A \cup B) \cup C\]\[A \cap (B \cap C) = (A \cap B) \cap C\]
Published
10/28/2024
Set laws: How do we call this rule?\[A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\]\[A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\]
Published
10/28/2024
Set laws: What does disributivity mean? (def)
Published
10/28/2024
Set laws: What does absorption mean? (def)
Published
10/28/2024
Set laws: What rule is this? \[A \cup (A \cap B) = A\]\[A \cap (A \cup B) = A\]
Published
10/28/2024
For an equivalence relation \(\theta\) on a set \(A\) and for \(a \in A\), the set of elements of \(A\) that are {{…
Published
10/28/2024
If {{c1::any two elements of a poset \((A; \preceq)\) are comparable}}, then \(A\) is called {{c2::totally ordered (or {{c3::linea…
Published
10/28/2024
Let \(\rho\) be a relation from \(A\) to \(B\) and let \(\sigma\) be a relation from \(B\) to \…
Published
10/28/2024
How is a semi-infinite set defined?
Published
10/28/2024
Why is Discrete Maths so important in Computer Science?
Published
10/28/2024
The 3 forms of proven statements
Published
10/28/2024
How are unproven statements called? (Truth value unknown)
Published
10/28/2024
What is a mathematical statement and how is it different from a formula?
Published
10/28/2024
The most important symbols for Statements and Logic/Formulas (important card)
Published
10/28/2024
What is logic equivalence?
Published
10/28/2024
What is a logical consequence?
Published
10/28/2024
What does it mean if 2 formulas F and G are both logical consequences of each other?
Published
10/28/2024
What does it mean for a formula to be a tautology? What does it mean for a formula to be satisfiable or unsatisfiable?
Published
10/28/2024
What are logical circuits in propositional logic?
Published
10/28/2024
The most important basic equivalences of propositional logic
Published
10/28/2024
What is predicate logic? How is it different from propositional logic (what does it add)?
Published
10/28/2024
Rephrase the statement "for every natural number there is a larger prime" in predicate logic
Published
10/28/2024
When can we interpret formulas as statements?
Published
10/28/2024
What does the following statement mean: \(\models A \lor B \lor \lnot A\)
Published
10/28/2024
Useful rules for predicate logic
Published
10/28/2024
Proof pattern: Composition of Implications
Published
10/28/2024
Direct proof of an implication
Published
10/28/2024
Indirect proof of an implication
Published
10/28/2024
Modus Ponens (Proof)
Published
10/28/2024
Proof by case distinction
Published
10/28/2024
Proof by contradiction
Published
10/28/2024
Existence proofs
Published
10/28/2024
Russell's Paradox
Published
10/28/2024
Definition of equivalent sets
Published
10/28/2024
Definition of Subsets
Published
10/28/2024
If A is a subset of B and B a subset of C, then?
Published
10/28/2024
Definition of unions and intersections
Published
10/28/2024
Definition of the difference of sets
Published
10/28/2024
Existence proofs by Pigeonhole principle
Published
10/28/2024
What is the cardinality of a set and how is it denoted?
Published
10/28/2024
The symbols for intersection, union, exclusion in set theory
Published
10/28/2024
Definition of set equality
Published
10/28/2024
Formal definition of subsets
Published
10/28/2024
What to know about the empty set
Published
10/28/2024
The power set of a set and its properties
Published
10/28/2024
The cartesian product of sets and its properties
Published
10/28/2024
Relations on two sets (binary relations)
Published
10/28/2024
The important laws of Unions, Intersections and subsets (Hint: Similiar to Lemma 2.1 ;) )
Published
10/28/2024
Representations on relations
Published
10/28/2024
The set operations on relations
Published
10/28/2024
The special properties of relations
Published
10/28/2024
Transitive Closure of relations
Published
10/28/2024
What are equivalence relations and equivalence classse?
Published
10/28/2024
What are partial order relations?
Published
10/28/2024
Are symmetric and anti-symmetric relations opposites of each other?
Published
10/28/2024
What are partitions of equivalence relations?
Published
10/28/2024
Hasse Diagrams (cover, comparable, illustration)
Published
10/28/2024
Lexicographic order of posets
Published
10/28/2024
Special elements in posets (minimal, least, lower bound, greatest lower bound)
Published
10/28/2024
When is a poset well ordered?
Published
10/28/2024
Functions (looking at them from a perspective of relations, properties, partial functions, image, preimage)
Published
10/28/2024
Injections, Surjections, Bijections
Published
10/28/2024
Equinumerous, dominates, countability of sets
Published
10/28/2024
Countably infinite sets and finite sets
Status
Last Update
Fields