Tables (63)

Table p. 26.0 — 6×3, 0 spanning cell(s)
arrow \(a\)source \(s(a) \in V\)target \(t(a) \in V\)
\(a\)1?
\(b\)13
\(c\)??
\(d\)??
\(e\)??

columns: arrow \(a\) | source \(s(a) \in V\) | target \(t(a) \in V\)

Table p. 64.1 — 3×6, 0 spanning cell(s)
\(\wedge\)falsetrue*01
falsefalsefalse000
truefalsetrue101

columns: \(\wedge\) | false | true | * | 0 | 1

Table p. 65.2 — 3×3, 0 spanning cell(s)
Vfalsetrue
falsefalsetrue
truetruetrue

columns: V | false | true

Table p. 65.3 — 3×3, 0 spanning cell(s)
max01
001
111

columns: max | 0 | 1

Table p. 66.4 — 4×4, 0 spanning cell(s)
minnomaybeyes
no???
maybe???
yes???

columns: min | no | maybe | yes

Table p. 70.5 — 6×6, 0 spanning cell(s)
ழ\(p\)9\(r\)\(s\)\(t\)
\(p\)truetruetruetruetrue
\(q\)falsetruefalsetruetrue
\(r\)falsefalsetruetruetrue
\(s\)falsefalsefalsetruetrue
\(t\)falsefalsefalsefalsetrue

columns: ழ | \(p\) | 9 | \(r\) | \(s\) | \(t\)

Table p. 74.6 — 4×4, 0 spanning cell(s)
\(d\left(\nearrow^{\prime}\right)\)\(x\)\(y\)\(z\)
\(x\)043
y306
\(z\)740

columns: \(d\left(\nearrow^{\prime}\right)\) | \(x\) | \(y\) | \(z\)

Table p. 74.7 — 5×5, 0 spanning cell(s)
\(d\left(\nearrow^{\prime}\right)\)\(A\)\(B\)CD
\(A\)0???
B2?5?
\(C\)????
D????

columns: \(d\left(\nearrow^{\prime}\right)\) | \(A\) | \(B\) | C | D

Table p. 75.8 — 4×5, 1 spanning cell(s)
\(M_{Y}:=\)↗\(x\)\(y\)\(z\)
\(x\)043
\(y\)30\(\infty\)
\(z\)\(\infty\)40

columns: \(M_{Y}:=\) | ↗ | \(x\) | \(y\) | \(z\)

Table p. 75.9 — 5×6, 1 spanning cell(s)
/\(A\)\(B\)C\(D\)
\(A\)0???
\(M_{X}=\)B20\(\infty\)?
C????
D????

columns: | / | \(A\) | \(B\) | C | \(D\)

Table p. 80.10 — 4×8, 2 spanning cell(s)
X\(A\)\(B\)\(C\)y\(p\)\(q\)
\(A\)025
\(B\)\(\infty\)03\(p\)05
\(C\)\(\infty\)\(\infty\)0

columns: X | \(A\) | \(B\) | \(C\) | | y | \(p\) | \(q\)

Table p. 80.11 — 7×7, 0 spanning cell(s)
\(x \times y\)( \(A, p\) )\((B, p)\)\((C, p)\)\((A, q)\)\((B, q)\)\((C, q)\)
\((A, p)\)0255710
\((B, p)\)\(\infty\)03\(\infty\)58
\((C, p)\)\(\infty\)\(\infty\)0\(\infty\)\(\infty\)5
\((A, q)\)81013025
\((B, q)\)\(\infty\)811\(\infty\)03
\((C, q)\)\(\infty\)\(\infty\)8\(\infty\)\(\infty\)0

columns: \(x \times y\) | ( \(A, p\) ) | \((B, p)\) | \((C, p)\) | \((A, q)\) | \((B, q)\) | \((C, q)\)

Table p. 86.12 — 4×4, 0 spanning cell(s)
\(M_{Y}\)\(x\)\(y\)\(z\)
\(x\)043
y30\(\infty\)
\(z\)\(\infty\)40

columns: \(M_{Y}\) | \(x\) | \(y\) | \(z\)

Table p. 86.13 — 4×4, 0 spanning cell(s)
\(d_{Y}\)\(x\)\(y\)\(z\)
\(x\)043
y306
\(z\)740

columns: \(d_{Y}\) | \(x\) | \(y\) | \(z\)

Table p. 89.14 — 4×4, 0 spanning cell(s)
EmployeeFNameWorksInMngr
1Alan1012
2Ruth1012
3Kris1023

columns: Employee | FName | WorksIn | Mngr

Table p. 89.15 — 3×3, 0 spanning cell(s)
DepartmentDNameSecr
101Sales1
102IT3

columns: Department | DName | Secr

Table p. 101.16 — 9×3, 0 spanning cell(s)
Planet of SolPrime numberFlying pig
Mercury2
Venus3
Earth5
Mars7
Jupiter11
Saturn13
Uranus17
Neptune⋮

columns: Planet of Sol | Prime number | Flying pig

Table p. 102.17 — 5×2, 0 spanning cell(s)
BeatlePlayed
GeorgeLead guitar
JohnRhythm guitar
PaulBass guitar
RingoDrums

columns: Beatle | Played

Table p. 102.18 — 5×2, 0 spanning cell(s)
BeatlePlayed
GeorgeLead guitar
JohnRhythm guitar
PaulBass guitar
RingoDrums

columns: Beatle | Played

Table p. 102.19 — 6×1, 0 spanning cell(s)
Rock-and-roll instrument
Bass guitar
Drums
Keyboard
Lead guitar
Rhythm guitar

columns: Rock-and-roll instrument

Table p. 106.20 — 9×2, 0 spanning cell(s)
\(\mathbb{N}_{\geq 2}\)smallest prime factor
22
33
42
⋮⋮
497
502
513
⋮⋮

columns: \(\mathbb{N}_{\geq 2}\) | smallest prime factor

Table p. 110.21 — 6×4, 0 spanning cell(s)
ArrowsourcetargetVertex
\(a\)121
\(b\)132
\(c\)133
d224
\(e\)23

columns: Arrow | source | target | Vertex

Table p. 111.22 — 8×9, 3 spanning cell(s) ⚠ overlap at (1,0); overlap at (1,1); overlap at (1,2); overlap at (1,3); overlap at (2,0)
ArrowsourcetargetVertex
\(G:=\)\(a\)121
\(b\)232
3
ArrowsourcetargetVertex
\(H:=\)\(c\)454
d455
\(e\)55

columns: | | | | Arrow \(a\) \(b\) | source 1 2 | target 2 3 | | Vertex 1 2

Table p. 112.23 — 8×2, 0 spanning cell(s)
Statenext
14
24
35
45
55
67
76

columns: State | next

Table p. 113.24 — 8×4, 0 spanning cell(s)
ArrowsourcetargetVertex
1141
2242
3353
4454
5555
6676
7767

columns: Arrow | source | target | Vertex

Table p. 117.25 — 4×4, 0 spanning cell(s)
Migration FunctorPronouncedReminiscent ofDatabase idea
\(\Delta\)DeltaDuplicate or destroyDuplicate or destroy tables or columns
\(\Sigma\)SigmaSumUnion (sum up) data
ПPiProductPair \({ }^{9}\) and query data

columns: Migration Functor | Pronounced | Reminiscent of | Database idea

Table p. 118.26 — 7×4, 0 spanning cell(s)
Emailsent_byreceived_byAddress
Em_1BobGraceBob
Em_2GracePatDoug
Em_3BobEmmyEmmy
Em_4SueDougGrace
Em_5DougSuePat
Em_6BobBobSue

columns: Email | sent_by | received_by | Address

Table p. 132.27 — 3×2, 0 spanning cell(s)
Bool-categorypreorder
Bool-functormonotone map
Bool-profunctorfeasibility relation

columns: Bool-category | preorder

Table p. 133.28 — 5×3, 0 spanning cell(s)
\(c\)\(d\)\(c \Rightarrow d\)
truetruetrue
truefalsefalse
falsetruetrue
falsefalsetrue

columns: \(c\) | \(d\) | \(c \Rightarrow d\)

Table p. 134.29 — 5×6, 0 spanning cell(s)
\(\Phi\)\(a\)\(b\)\(c\)\(d\)\(e\)
\(N\)????true
\(E\)true????
W???false?
\(S\)?????

columns: \(\Phi\) | \(a\) | \(b\) | \(c\) | \(d\) | \(e\)

Table p. 135.30 — 5×4, 0 spanning cell(s)
\(\Phi\)\(x\)\(y\)\(z\)
\(A\)??20
\(B\)11??
C?17?
D???

columns: \(\Phi\) | \(x\) | \(y\) | \(z\)

Table p. 135.31 — 5×5, 0 spanning cell(s)
\(M_{X}\)\(A\)\(B\)\(C\)\(D\)
\(A\)0\(\infty\)3\(\infty\)
\(B\)20\(\infty\)5
\(C\)\(\infty\)30\(\infty\)
D\(\infty\)\(\infty\)40

columns: \(M_{X}\) | \(A\) | \(B\) | \(C\) | \(D\)

Table p. 135.32 — 5×4, 0 spanning cell(s)
\(M_{\Phi}\)\(x\)\(y\)\(z\)
\(A\)\(\infty\)\(\infty\)\(\infty\)
B11\(\infty\)\(\infty\)
\(C\)\(\infty\)\(\infty\)\(\infty\)
D\(\infty\)9\(\infty\)

columns: \(M_{\Phi}\) | \(x\) | \(y\) | \(z\)

Table p. 135.33 — 4×4, 0 spanning cell(s)
\(M_{Y}\)\(x\)\(y\)\(z\)
\(x\)043
y30\(\infty\)
\(z\)\(\infty\)40

columns: \(M_{Y}\) | \(x\) | \(y\) | \(z\)

Table p. 138.34 — 5×6, 0 spanning cell(s)
\(\Phi\)\(a\)\(b\)\(c\)\(d\)\(e\)
\(N\)truefalsetruefalsefalse
\(E\)truefalsetruefalsetrue
\(W\)truetruetruetruefalse
\(S\)truetruetruetruetrue

columns: \(\Phi\) | \(a\) | \(b\) | \(c\) | \(d\) | \(e\)

Table p. 138.35 — 6×3, 0 spanning cell(s)
\(\Psi\)\(x\)\(y\)
\(a\)falsetrue
\(b\)truetrue
\(c\)falsetrue
\(d\)truetrue
\(e\)falsefalse

columns: \(\Psi\) | \(x\) | \(y\)

Table p. 138.36 — 5×3, 0 spanning cell(s)
\(\Phi \circ \Psi\)\(x\)\(y\)
\(N\)falsetrue
\(E\)falsetrue
Wtruetrue
\(S\)truetrue

columns: \(\Phi \circ \Psi\) | \(x\) | \(y\)

Table p. 139.37 — 5×5, 0 spanning cell(s)
\(\Phi{ }_{9}^{\circ} \Psi\)\(p\)9\(r\)\(s\)
\(A\)?24??
\(B\)????
\(C\)????
D??9?

columns: \(\Phi{ }_{9}^{\circ} \Psi\) | \(p\) | 9 | \(r\) | \(s\)

Table p. 144.38 — 3×9, 0 spanning cell(s)
X\(A\)\(B\)\(\Phi\)\(x\)\(y\)y\(x\)\(y\)
\(A\)02\(A\)58\(x\)03
\(B\)\(\infty\)0\(B\)\(\infty\)\(\infty\)\(y\)40

columns: X | \(A\) | \(B\) | \(\Phi\) | \(x\) | \(y\) | y | \(x\) | \(y\)

Table p. 177.39 — 6×4, 0 spanning cell(s)
generatoriconmatrixarity
amplify by \(a \in R\)- \({ }^{a}\) -(a)\(1 \rightarrow 1\)
addつ—\(\binom{1}{1}\)\(2 \rightarrow 1\)
zero○-()\(0 \rightarrow 1\)
copy-(1 1)\(1 \rightarrow 2\)
discard-()\(1 \rightarrow 0\)

columns: generator | icon | matrix | arity

Table p. 242.40 — 5×3, 0 spanning cell(s)
\(P\)Q\(\ulcorner(\) true, true \()\urcorner(P, Q)\)
truetruetrue
truefalsefalse
falsetruefalse
falsefalsefalse

columns: \(P\) | Q | \(\ulcorner(\) true, true \()\urcorner(P, Q)\)

Table p. 242.41 — 5×3, 0 spanning cell(s)
\(P\)Q\(P \vee Q\)
truetruetrue
truefalsetrue
falsetruetrue
falsefalsefalse

columns: \(P\) | Q | \(P \vee Q\)

Table p. 274.42 — 6×3, 0 spanning cell(s)
arrow \(a\)source \(s(a) \in V\)target \(t(a) \in V\)
\(a\)12
\(b\)13
\(c\)13
d22
\(e\)23

columns: arrow \(a\) | source \(s(a) \in V\) | target \(t(a) \in V\)

Table p. 280.43 — 13×7, 0 spanning cell(s)
\(p\)\(q\)\(f(p)\)\(g(q)\)\(f(p) \leq q\)\(p \leq ? g(q)\)same?
1111yesyesyes!
1212nonoyes!
1414yesyesyes!
2121nonoyes!
2222yesyesyes!
2424yesyesyes!
3.9141nonoyes!
3.9242nonoyes!
3.9444yesyesyes!
4141nonoyes!
4242nonoyes!
4444yesyesyes!

columns: \(p\) | \(q\) | \(f(p)\) | \(g(q)\) | \(f(p) \leq q\) | \(p \leq ? g(q)\) | same?

Table p. 282.44 — 4×4, 0 spanning cell(s)
minnomaybeyes
nononono
maybenomaybemaybe
yesnomaybeyes

columns: min | no | maybe | yes

Table p. 284.45 — 5×5, 0 spanning cell(s)
\(d(/)\)\(A\)\(B\)\(C\)\(D\)
\(A\)06311
B2055
\(C\)5308
D11960

columns: \(d(/)\) | \(A\) | \(B\) | \(C\) | \(D\)

Table p. 284.46 — 5×6, 1 spanning cell(s)
\(M_{X}=\)↗\(A\)\(B\)\(C\)\(D\)
A0\(\infty\)3\(\infty\)
B20\(\infty\)5
\(C\)\(\infty\)30\(\infty\)
D\(\infty\)\(\infty\)60

columns: \(M_{X}=\) | ↗ | \(A\) | \(B\) | \(C\) | \(D\)

Table p. 285.47 — 5×5, 0 spanning cell(s)
X(/ ')\(A\)\(B\)\(C\)\(D\)
\(A\)\(M\)\{boat\}\(\varnothing\)\{boat\}
B\(\varnothing\)\(M\)\(\varnothing\)\{boat\}
C\{foot,boat\}\{boat\}\(M\)\(M\)
D\{foot\}\(\varnothing\)\{foot, car\}\(M\)

columns: X(/ ') | \(A\) | \(B\) | \(C\) | \(D\)

Table p. 285.48 — 4×4, 0 spanning cell(s)
\(M(/)\)\(A\)\(B\)\(C\)
\(A\)\(\infty\)610
B10\(\infty\)10
\(C\)106\(\infty\)

columns: \(M(/)\) | \(A\) | \(B\) | \(C\)

Table p. 287.49 — 3×3, 0 spanning cell(s)
⇒falsetrue
falsetruetrue
truefalsetrue

columns: ⇒ | false | true

Table p. 289.50 — 7×7, 0 spanning cell(s)
↗\(v_{1}\)\(f_{1}\)\(f_{1} ; f_{2}\)\(v_{2}\)\(f_{2}\)\(v_{3}\)
\(v_{1}\)\(v_{1}\)\(f_{1}\)\(f_{1}\) g \(f_{2}\)⊠⊠⊠
\(f_{1}\)⊠⊠⊠\(f_{1}\)\(f_{1}\) i \(f_{2}\)⊠
\(f_{1} \stackrel{\circ}{9} f_{2}\)⊠⊠⊠⊠⊠\(f_{1} \stackrel{\circ}{9} f_{2}\)
\(v_{2}\)⊠⊠⊠\(v_{2}\)\(f_{2}\)⊠
\(f_{2}\)⊠⊠⊠⊠⊠\(f_{2}\)
\(v_{3}\)⊠⊠⊠⊠⊠\(v_{3}\)

columns: ↗ | \(v_{1}\) | \(f_{1}\) | \(f_{1} ; f_{2}\) | \(v_{2}\) | \(f_{2}\) | \(v_{3}\)

Table p. 294.51 — 6×3, 0 spanning cell(s)
Arrowsourcetarget
MngrEmployeeEmployee
WorksInEmployeeDepartment
SecrDepartmentEmployee
FNameEmployeestring
DNameDepartmentstring

columns: Arrow | source | target

Table p. 294.52 — 2×1, 0 spanning cell(s)
Vertex
Department Employee string

columns: Vertex

Table p. 295.53 — 8×3, 0 spanning cell(s)
Arrowsourcetarget
141
242
353
454
555
676
767

columns: Arrow | source | target

Table p. 295.54 — 8×1, 0 spanning cell(s)
Vertex
1
2
3
4
5
6
7

columns: Vertex

Table p. 295.55 — 7×4, 0 spanning cell(s)
Emailsent_byreceived_byAddress
Em_1BobGraceBob
Em_2GracePatDoug
Em_3BobEmoryEmory
Em_4SueDougGrace
Em_5DougSuePat
Em_6BobBobSue

columns: Email | sent_by | received_by | Address

Table p. 298.56 — 5×6, 0 spanning cell(s)
\(\Phi\)\(a\)\(b\)\(c\)\(d\)\(e\)
\(N\)truefalsetruefalsetrue
\(E\)truetruetruetruetrue
Wtruefalsetruefalsetrue
\(S\)truetruetruetruetrue

columns: \(\Phi\) | \(a\) | \(b\) | \(c\) | \(d\) | \(e\)

Table p. 299.57 — 5×4, 0 spanning cell(s)
\(\Phi\)\(x\)\(y\)\(z\)
\(A\)172020
\(B\)111414
\(C\)141717
D12915

columns: \(\Phi\) | \(x\) | \(y\) | \(z\)

Table p. 299.58 — 5×5, 0 spanning cell(s)
\(\Phi \circ \Psi\)\(p\)9\(r\)\(s\)
\(A\)22242021
B16181415
\(C\)19211718
D1113910

columns: \(\Phi \circ \Psi\) | \(p\) | 9 | \(r\) | \(s\)

Table p. 321.59 — 4×6, 0 spanning cell(s)
r1r2r3c1i1
\(s(-)\)dluluruldl
\(t(-)\)ulurdrurdr
\(\ell(-)\)\(1 \Omega\)\(2 \Omega\)\(1 \Omega\)\(3 F\)\(1 H\)

columns: | r1 | r2 | r3 | c1 | i1

Table p. 322.60 — 3×3, 0 spanning cell(s)
12
\(f^{\prime}(-)\)ld
\(g^{\prime}(-)\)rr

columns: | 1 | 2

Table p. 322.61 — 4×3, 0 spanning cell(s)
r1'r2'
\(s(-)\)lr
\(t(-)\)rd
\(\ell(-)\)\(5 \Omega\)\(8 \Omega\)

columns: | r1' | r2'

Table p. 322.62 — 4×8, 0 spanning cell(s)
r1r2r3c1i1r1'r2'
\(s^{\prime \prime}(-)\)dlulmuldlmr
\(t^{\prime \prime}(-)\)ulmdrmdrrm
\(\ell^{\prime \prime}(-)\)\(1 \Omega\)\(2 \Omega\)\(1 \Omega\)\(3 F\)\(1 H\)\(5 \Omega\)\(8 \Omega\)

columns: | r1 | r2 | r3 | c1 | i1 | r1' | r2'