# Search results

## Page title matches

• [[Category:Notation]] [[Category:Set theory]] ...math>\{red, green, blue, tope, mauve, \dots\}[/itex]. Be careful with this notation, for two reasons:
2 KB (317 words) - 19:31, 17 February 2018
• [[Category:Notation]] [[Category:Functions]]
$1 {{PLURAL:$1|byte|bytes}} (29 words) - 19:05, 17 February 2018
• We often want to prove that [[there exists]] a [[sequence notation|sequence]] of values $a_0, a_1, \dots, a_k$, all in $X</mat ...ether we allow [[finite]] or [[infinite]] sequences. I will only use this notation for [[finite]] sequences. [itex]1 {{PLURAL:$1|byte|bytes}} (173 words) - 15:24, 19 February 2020

## Page text matches

• |1/29 || [[SP18:Lecture 3 Induction | More set notation, induction ]]
5 KB (608 words) - 16:55, 30 May 2018
• === Set notation === {{:set notation}}
1 KB (171 words) - 18:37, 20 January 2018
• [[Category:Notation]] [[Category:Set theory]] ...math>\{red, green, blue, tope, mauve, \dots\}[/itex]. Be careful with this notation, for two reasons:
2 KB (317 words) - 19:31, 17 February 2018
• * new notation: cartesian product ($A \times B$), for all ($∀$), f == Notation ==
6 KB (1,139 words) - 13:24, 18 January 2018
• == Notation == '''Notation:''' if there is a sample space that is clear from context, I will write <ma
8 KB (1,388 words) - 13:25, 18 January 2018
• ...>A|B[/itex] is not defined, only $Pr(A|B)$; this is an abuse of notation, but is standard.
4 KB (682 words) - 13:25, 18 January 2018
• '''Notation:''' In general, the set of functions with domain $A$ and codomai
6 KB (1,154 words) - 13:28, 18 January 2018
• [[Category:Basic tools]] [[Category:Set theory]] [[Category:Notation]]
$1 {{PLURAL:$1|byte|bytes}} (55 words) - 13:07, 24 January 2020
• [[Category:Notation]] [[Category:Functions]]
$1 {{PLURAL:$1|byte|bytes}} (29 words) - 19:05, 17 February 2018
• [[Category:Set theory]] [[Category:Definition]] [[Category:Notation]] The notation [[Set comprehension|$\{x \mid \text{property of } x\}$]] denotes
1 KB (178 words) - 19:28, 17 February 2018
• ...e> <noinclude> [[Category:Set theory]] </noinclude> <noinclude> [[Category:Notation]] </noinclude>
$1 {{PLURAL:$1|byte|bytes}} (35 words) - 12:59, 28 February 2018
• [[Category:Notation]]
$1 {{PLURAL:$1|byte|bytes}} (22 words) - 19:24, 17 February 2018
• ...e> <noinclude> [[Category:Set theory]] </noinclude> <noinclude> [[Category:Notation]] </noinclude>
$1 {{PLURAL:$1|byte|bytes}} (47 words) - 14:16, 24 August 2018
• <noinclude>[[Category:Notation]] </noinclude> <noinclude> [[Category:Basic tools]] </noinclude> <noinclude
$1 {{PLURAL:$1|byte|bytes}} (131 words) - 14:24, 11 October 2018
• ...<noinclude> [[Category:Number theory]] </noinclude> <noinclude>[[Category:Notation]] </noinclude>
$1 {{PLURAL:$1|byte|bytes}} (34 words) - 13:42, 21 February 2020
• ...de> <noinclude> [[Category:Set theory]] </noinclude> <noinclude>[[Category:Notation]]</noinclude>
$1 {{PLURAL:$1|byte|bytes}} (33 words) - 13:00, 28 February 2018
• ...de> <noinclude> [[Category:Set theory]] </noinclude> <noinclude>[[Category:Notation]] </noinclude>
$1 {{PLURAL:$1|byte|bytes}} (33 words) - 12:59, 28 February 2018
• [[Category:Notation]]
$1 {{PLURAL:$1|byte|bytes}} (24 words) - 19:13, 17 February 2018
• <noinclude>[[Category:Notation]]</noinclude> <noinclude> [[Category:Definition]] </noinclude> <noinclude>[
$1 {{PLURAL:$1|byte|bytes}} (33 words) - 11:58, 20 April 2018
• [[Category:Notation]] [[Category:Set theory]] The notation $2^A$ denotes the [[power set]] of A.
$1 {{PLURAL:$1|byte|bytes}} (16 words) - 18:51, 17 February 2018
• [[Category:Proof techniques]] [[Category:Notation]]
$1 {{PLURAL:$1|byte|bytes}} (13 words) - 19:38, 17 February 2018
• <noinclude>[[Category:Functions]] [[Category:Notation]]</noinclude> The notation $f : A → B$ means "$f$ is a [[function]] with [[dom
$1 {{PLURAL:$1|byte|bytes}} (41 words) - 13:14, 20 March 2020
• [[Category:Notation]] [[Category:Logic]]
$1 {{PLURAL:$1|byte|bytes}} (30 words) - 19:40, 17 February 2018
• [[Category:Notation]] [[Category:Logic]]
$1 {{PLURAL:$1|byte|bytes}} (28 words) - 19:40, 17 February 2018
• [[Category:Notation]] [[Category:Logic]]
$1 {{PLURAL:$1|byte|bytes}} (33 words) - 19:39, 17 February 2018
• [[Category:Notation]] [[Category:Logic]]
$1 {{PLURAL:$1|byte|bytes}} (24 words) - 15:23, 27 January 2020
• [[Category:Definition]] [[Category:Notation]] [[Category:Functions]]
$1 {{PLURAL:$1|byte|bytes}} (40 words) - 14:20, 15 September 2018
• <noinclude>[[Category:Definition]]</noinclude> <noinclude>[[Category:Notation]]</noinclude> <noinclude>[[Category:Functions]]</noinclude>
$1 {{PLURAL:$1|byte|bytes}} (50 words) - 12:33, 15 May 2018
• === BNF Notation ===
1 KB (181 words) - 11:35, 20 April 2018
• ...o I will use $[[⟦X→Y⟧]]$ in the wiki. You may use either notation.
$1 {{PLURAL:$1|byte|bytes}} (70 words) - 17:13, 1 February 2019
• <noinclude>[[Category:Relations]] [[Category:Notation]]</noinclude> Notation: If $R$ is a [[binary relation]] on a [[set]] $A$, an
$1 {{PLURAL:$1|byte|bytes}} (64 words) - 14:26, 17 September 2018
• ...⟦ and ⟧, but the wiki syntax makes this difficult. You may use either notation.
$1 {{PLURAL:$1|byte|bytes}} (101 words) - 15:29, 26 February 2020
• ...l]] $i$, then the [[base b interpretation]] of $[[Sequence notation|(d_i)]]$, written $(d_kd_{k-1}\cdots{}d_1d_0)_b$ is given
$1 {{PLURAL:$1|byte|bytes}} (67 words) - 17:01, 8 October 2018
• ...git]]s, and if $a = (d_i)_b$, then we say that $[[Sequence notation|(d_i)]]$ is [[Claim:the base b representation is unique|the]] [[Base
$1 {{PLURAL:$1|byte|bytes}} (57 words) - 17:02, 8 October 2018
• ...th>[[sequence notation|(a_i)]][/itex] and ending with the $[[Sequence notation|b_i]]$s (in other words, $c_0, c_1, \dots = a_0,a_1,\dots,a_p,b_ 3 KB (437 words) - 12:16, 2 October 2018 • ...th>[[sequence notation|(a_i)]]$ and ending with the $[[Sequence notation|b_i]]$s (in other words, $c_0, c_1, \dots = a_0,a_1,\dots,a_p,b_ 4 KB (665 words) - 12:18, 2 October 2018 • We often want to prove that [[there exists]] a [[sequence notation|sequence]] of values [itex]a_0, a_1, \dots, a_k$, all in $X</mat ...ether we allow [[finite]] or [[infinite]] sequences. I will only use this notation for [[finite]] sequences. [itex]1 {{PLURAL:$1|byte|bytes}} (173 words) - 15:24, 19 February 2020
• # The $[[sequence notation|A_i]]$ cover $A$, i.e. $A [[Equality (sets)|=]] A_1 [ [itex]1 {{PLURAL:$1|byte|bytes}} (84 words) - 16:58, 2 October 2018
• When we write down sequences of [[digit]]s in [[decimal]] (or [[base]] 10) notation, we interpret them according to a formula. For example, we interpret the n
1 KB (220 words) - 17:03, 8 October 2018
• No special notation is needed to indicate [[decimal]], since that's how we normally interpret n
$1 {{PLURAL:$1|byte|bytes}} (56 words) - 17:05, 8 October 2018
• ...nly used. Some programming languages allow you to write a number in octal notation by prefixing it with a 0 as in "0172" which (in some contexts) would be int
$1 {{PLURAL:$1|byte|bytes}} (55 words) - 17:07, 8 October 2018
• ...math> and $b > 0$, [[there exists]] a sequence $[[sequence notation|(d_i)]]$ of [[digit]]s satisfying $a = [[base|(d_i)_b]]$.
$1 {{PLURAL:$1|byte|bytes}} (34 words) - 17:12, 8 October 2018
• ...(a,b)[/itex] and $r := [[rem]](a,b)$. [[Let]] $[[sequence notation|(d_i)']]$ be the [[base b representation]] of $q$ (which w
2 KB (347 words) - 12:48, 21 February 2020
• ...ath>d_k' \neq 0[/itex] then $[[sequence notation|(d_i)]] = [[sequence notation|(d_i')]]$.
$1 {{PLURAL:$1|byte|bytes}} (113 words) - 17:14, 8 October 2018
• [[Category:Notation]]
$1 {{PLURAL:$1|byte|bytes}} (36 words) - 09:43, 13 September 2019
• Note that [[set comprehension]] notation can sometimes be tricky. Just because $x ∈ [[Set comprehension|\{x [itex]1 {{PLURAL:$1|byte|bytes}} (57 words) - 13:12, 24 January 2020
• <noinclude>[[Category:Notation]]</noinclude>
$1 {{PLURAL:$1|byte|bytes}} (17 words) - 16:12, 29 January 2020
• ...ent to weak induction|change of variables]], but it occasionally makes the notation a bit easier to work with.
1 KB (196 words) - 13:39, 19 February 2020
• <noinclude>[[Category:Notation]]</noinclude>
$1 {{PLURAL:$1|byte|bytes}} (45 words) - 10:01, 10 April 2020

View ($1 {{int:pipe-separator}}$2) (20 | 50 | 100 | 250 | 500)