Tables (68)

Table p. 28.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. 65.1 — 3×6, 0 spanning cell(s)
\(\wedge\)falsetrue*01
falsefalsefalse000
truefalsetrue101

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

Table p. 66.2 — 3×3, 0 spanning cell(s)
vfalsetrue
falsefalsetrue
truetruetrue

columns: v | false | true

Table p. 66.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. 71.5 — 6×6, 0 spanning cell(s)
\(\leq\).\(p\)\(q\)\(r\)\(s\)\(t\)
\(p\)truetruetruetruetrue
\(q\)falsetruefalsetruetrue
\(r\)falsefalsetruetruetrue
\(s\)falsefalsefalsetruetrue
\(t\)falsefalsefalsefalsetrue

columns: \(\leq\). | \(p\) | \(q\) | \(r\) | \(s\) | \(t\)

Table p. 75.6 — 4×4, 0 spanning cell(s)
\(d(\nearrow)\)\(X\)\(y\)z
\(x\)043
y306
z740

columns: \(d(\nearrow)\) | \(X\) | \(y\) | z

Table p. 75.7 — 5×5, 0 spanning cell(s)
\(d(\nearrow)\)\(A\)\(B\)\(C\)\(D\)
\(A\)0???
B2?5?
C????
D????

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

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

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

Table p. 81.9 — 4×4, 0 spanning cell(s)
X\(A\)\(B\)\(C\)
\(A\)025
B\(\infty\)03
C\(\infty\)\(\infty\)0

columns: X | \(A\) | \(B\) | \(C\)

Table p. 81.10 — 3×3, 0 spanning cell(s)
y\(p\)\(q\)
\(p\)05
\(q\)80

columns: y | \(p\) | \(q\)

Table p. 81.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. 88.12 — 4×4, 0 spanning cell(s)
\(M_{Y}\)\(x\)\(y\)\(z\)
\(x\)043
\(y\)30\(\infty\)
\(z\)\(\infty\)40

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

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

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

Table p. 88.14 — 4×5, 1 spanning cell(s)
\(M_{Y}^{2}=\)↗\(X\)\(y\)\(z\)
\(x\)043
y306
z740

columns: \(M_{Y}^{2}=\) | ↗ | \(X\) | \(y\) | \(z\)

Table p. 88.15 — 4×5, 1 spanning cell(s)
\(M_{Y}^{3}=\)↗\(X\)\(y\)z
\(x\)043
y306
z740

columns: \(M_{Y}^{3}=\) | ↗ | \(X\) | \(y\) | z

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

columns: Employee | FName | WorksIn | Mngr

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

columns: Department | DName | Secr

Table p. 104.18 — 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. 104.19 — 5×2, 0 spanning cell(s)
BeatlePlayed
Georgelead guitar
Johnrhythm guitar
Paulbass guitar
Ringodrums

columns: Beatle | Played

Table p. 105.20 — 5×2, 0 spanning cell(s)
BeatlePlayed
Georgelead guitar
Johnrhythm guitar
Paulbass guitar
Ringodrums

columns: Beatle | Played

Table p. 105.21 — 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. 109.22 — 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. 113.23 — 6×4, 0 spanning cell(s)
ArrowsourcetargetVertex
\(a\)121
\(b\)132
c133
\(d\)224
\(e\)23

columns: Arrow | source | target | Vertex

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

columns: State | next

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

columns: Arrow | source | target | Vertex

Table p. 120.26 — 4×4, 0 spanning cell(s)
Migration functorpronouncedreminiscent ofdatabase idea
\(\Delta\)deltaduplicate or destroyduplicate or destroy tables or columns
\(\Sigma\)sigmasumunion (sum up) data
\(\Pi\)piproductpair \({ }^{9}\) and query data

columns: Migration functor | pronounced | reminiscent of | database idea

Table p. 121.27 — 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. 133.28 — 3×2, 0 spanning cell(s)
Bool-categorypreorder
Bool-functormonotone map
Bool-profunctorfeasibility relation

columns: Bool-category | preorder

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

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

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

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

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

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

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

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

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

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

Table p. 137.34 — 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. 140.35 — 5×6, 0 spanning cell(s)
\(\Phi\)\(a\)\(b\)\(c\)\(d\)\(e\)
\(N\)truefalsetruefalsefalse
\(E\)truefalsetruefalsetrue
Wtruetruetruetruefalse
\(S\)truetruetruetruetrue

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

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

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

Table p. 140.37 — 5×3, 0 spanning cell(s)
\(\Phi{ }_{9}^{\circ} \Psi\)\(x\)\(y\)
\(N\)falsetrue
Efalsetrue
Wtruetrue
Struetrue

columns: \(\Phi{ }_{9}^{\circ} \Psi\) | \(x\) | \(y\)

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

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

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

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

Table p. 146.40 — 5×5, 0 spanning cell(s)
\(\operatorname{Col}(\Phi)\)\(A\)\(B\)\(x\)\(y\)
\(A\)0258
\(B\)\(\infty\)0\(\infty\)\(\infty\)
\(x\)0003
\(y\)0040

columns: \(\operatorname{Col}(\Phi)\) | \(A\) | \(B\) | \(x\) | \(y\)

Table p. 179.41 — 3×5, 0 spanning cell(s)
\(a\)\(b\)
\(x\)153\(\left(\begin{array}{c}15 \\ 0\end{array}\right.\)21 )
\(y\)021

columns: | \(a\) | \(b\) | |

Table p. 179.42 — 6×4, 0 spanning cell(s)
GeneratorIconMatrixArity
amplify by \(a \in R\)- \(a\) -(a)\(1 \rightarrow 1\)
addD-\(\binom{1}{1}\)\(2 \rightarrow 1\)
zero○-()\(0 \rightarrow 1\)
copy- C\(\left(\begin{array}{ll}1 & 1\end{array}\right)\)\(1 \rightarrow 2\)
discard→()\(1 \rightarrow 0\)

columns: Generator | Icon | Matrix | Arity

Table p. 242.43 — 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.44 — 5×3, 0 spanning cell(s)
\(P\)\(Q\)\(P \vee Q\)
truetruetrue
truefalsetrue
falsetruetrue
falsefalsefalse

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

Table p. 243.45 — 5×4, 0 spanning cell(s)
\(P\)\(Q\)\(P \wedge Q\)\(P=(P \wedge Q)\)
truetrue??
truefalse??
falsetrue??
falsefalse??

columns: \(P\) | \(Q\) | \(P \wedge Q\) | \(P=(P \wedge Q)\)

Table p. 273.46 — 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.47 — 13×7, 0 spanning cell(s)
\(p\)\(q\)\(f(p)\)\(g(q)\)\(f(p) \leq ? \quad 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 ? \quad q\) | \(p \leq ? g(q)\) | Same?

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

columns: min | no | maybe | yes

Table p. 285.49 — 5×5, 0 spanning cell(s)
\(d(\nearrow)\)\(A\)\(B\)\(C\)\(D\)
A06311
B2055
C5308
D11960

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

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

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

Table p. 285.51 — 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. 286.52 — 4×4, 0 spanning cell(s)
\(M(\nearrow)\)\(A\)\(B\)\(C\)
\(A\)\(\infty\)1010
B6\(\infty\)6
C1010\(\infty\)

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

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

columns: ⇒ | false | true

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

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

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

columns: Arrow | source | target

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

columns: Vertex

Table p. 296.57 — 9×4, 2 spanning cell(s)
Statenext
14
![](https://cdn.mathpix.com/cropped/05b3e583-fc72-4ff5-9914-6f882b9df5b5-296.jpg?height=214\&width=198\&top_left_y=1515\&top_left_x=552)24
35
45
55
67
76
Gr

columns: | | State | next

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

columns: Arrow | source | target

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

columns: Vertex

Table p. 297.60 — 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. 300.61 — 5×6, 0 spanning cell(s)
\(\Phi\)\(a\)\(b\)\(c\)\(d\)\(e\)
\(N\)truefalsetruefalsetrue
Etruetruetruetruetrue
Wtruefalsetruefalsetrue
\(S\)truetruetruetruetrue

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

Table p. 301.62 — 5×5, 0 spanning cell(s)
\(\Phi: \Psi\)\(p\)\(q\)\(r\)\(s\)
\(A\)22242021
B16181415
C19211718
D1113910

columns: \(\Phi: \Psi\) | \(p\) | \(q\) | \(r\) | \(s\)

Table p. 325.63 — 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. 325.64 — 3×3, 0 spanning cell(s)
12
\(f^{\prime}(-)\)ld
\(g^{\prime}(-)\)rr

columns: | 1 | 2

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

columns: | r1' | r2'

Table p. 325.66 — 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'

Table p. 331.67 — 5×4, 0 spanning cell(s)
\(P\)\(Q\)\(P \wedge Q\)\(P=(P \wedge Q)\)
truetruetruetrue
truefalsefalsefalse
falsetruefalsetrue
falsefalsefalsetrue

columns: \(P\) | \(Q\) | \(P \wedge Q\) | \(P=(P \wedge Q)\)