Cub11k's BIU Notes
Cub11k's BIU Notes
Assignments
Discrete-math
Discrete-math 1
Discrete-math 10
Discrete-math 11
Discrete-math 12
Discrete-math 2
Discrete-math 3
Discrete-math 4
Discrete-math 5
Discrete-math 6
Discrete-math 7
Discrete-math 8
Discrete-math 9
Infi-1
Infi-1 10
Infi-1 11
Infi-1 2
Infi-1 3
Infi-1 4
Infi-1 5
Infi-1 6
Infi-1 7
Infi-1 8
Infi-1 9
Linear-1
Linear-1 1
Linear-1 10
Linear-1 11
Linear-1 12
Linear-1 2
Linear-1 3
Linear-1 4
Linear-1 5
Linear-1 6
Linear-1 7
Linear-1 8
Linear-1 9
Linear-2
Linear-2 1
Lectures
Data-structures
Data-structures 1
Data-structures 2
Data-structures 3
Discrete-math
Discrete-math 10
Discrete-math 11
Discrete-math 12
Discrete-math 13
Discrete-math 14
Discrete-math 15
Discrete-math 16
Discrete-math 18
Discrete-math 19
Discrete-math 20
Discrete-math 21
Discrete-math 22
Discrete-math 23
Discrete-math 24
Discrete-math 25
Discrete-math 26
Discrete-math 3
Discrete-math 4
Discrete-math 5
Discrete-math 6
Discrete-math 7
Discrete-math 8
Discrete-math 9
Exam 2023 (2A)
Exam 2023 (2B)
Exam 2023 (A)
Exam 2023 (B)
Exam 2023 (C)
Exam 2024 (A)
Exam 2024 (B)
Exam 2024 (C)
Midterm
Infi-1
Exam 2022B (A)
Exam 2022B (B)
Exam 2023B (A)
Exam 2023B (B)
Exam 2024 (A)
Exam 2024 (B)
Exam 2025 (A)
Infi-1 10
Infi-1 12
Infi-1 13
Infi-1 14
Infi-1 15
Infi-1 16
Infi-1 17
Infi-1 19
Infi-1 20
Infi-1 21
Infi-1 22
Infi-1 23
Infi-1 24
Infi-1 25
Infi-1 26
Infi-1 5
Infi-1 6
Infi-1 7
Infi-1 9
Midterm
Theorems and proofs
Infi-2
Infi-2 1
Infi-2 10
Infi-2 11
Infi-2 12
Infi-2 13
Infi-2 14
Infi-2 15
Infi-2 16
Infi-2 17
Infi-2 2-3
Infi-2 3-4
Infi-2 5
Infi-2 6
Infi-2 7
Infi-2 8
Infi-2 9
Linear-1
Exam 2023 (B)
Exam 2023 (C)
Exam 2024 (A)
Exam 2024 (B)
Exam 2024 (C)
Exam 2025 (A)
Linear-1 11
Linear-1 12
Linear-1 13
Linear-1 4
Linear-1 5
Linear-1 6
Linear-1 7
Linear-1 8
Linear-1 9
Midterm
Random exams
Theorems and proofs
Linear-2
Linear-2 1
Linear-2 2
Linear-2 3
Linear-2 4
Linear-2 5
Linear-2 6
Linear-2 7
Linear-2 8
Seminars
CSI
CSI 2
Data-structures
Data-structures 1
Data-structures 2
Data-structures 3
Discrete-math
Discrete-math 1
Discrete-math 10
Discrete-math 11
Discrete-math 12
Discrete-math 2
Discrete-math 3
Discrete-math 4
Discrete-math 5
Discrete-math 6
Discrete-math 7
Discrete-math 8
Discrete-math 9
Infi-1
Infi-1 10
Infi-1 11
Infi-1 12
Infi-1 13
Infi-1 3
Infi-1 4
Infi-1 5
Infi-1 6
Infi-1 8
Infi-2
Infi-2 1
Infi-2 2
Infi-2 3
Infi-2 4
Infi-2 6
Infi-2 7
Infi-2 8
Linear-1
Linear-1 10
Linear-1 11
Linear-1 12
Linear-1 3
Linear-1 5
Linear-1 6
Linear-1 7
Linear-1 8
Linear-1 9
Linear-2
Linear-2 1
Linear-2 2
Linear-2 3
Linear-2 4
Linear-2 5
Linear-2 6
Linear-2 7
Templates
Lecture Template
Seminar Template
Home
Discrete-math 26
Discrete-math 26
Exam 2024 (2)
A
is a set
,
|
A
|
≥
1
Let
f
:
P
(
A
)
×
P
(
A
)
→
P
(
P
(
A
)
)
∀
B
,
C
⊆
A
:
f
(
B
,
C
)
=
{
D
|
D
⊆
B
∩
C
}
Prove or disprove:
1.
It is possible that
f
is injective
2.
It is possible that
f
is surjective
Disproof for 1:
Let
A
A
≠
∅
⟹
∃
a
∈
A
f
(
∅
,
{
a
}
)
=
f
(
{
a
}
,
∅
)
=
P
(
∅
)
=
{
∅
}
⟹
∀
A
:
f
is not injective
Disproof for 2:
Let
A
A
≠
∅
⟹
∃
a
∈
A
⟹
{
a
}
∈
P
(
A
)
⟹
{
{
a
}
}
∈
P
(
P
(
A
)
)
∀
X
:
∅
∈
P
(
X
)
∀
B
,
C
⊆
A
:
f
(
B
,
C
)
=
P
(
B
∩
C
)
⟹
∅
∈
f
(
B
,
C
)
⟹
f
(
B
,
C
)
≠
{
{
a
}
}
⟹
∀
A
:
f
is nor surjective
Exam 2024 (3)
Let
A
be a set
Let
f
:
A
→
A
Let
B
⊆
A
Let
B
1
=
B
,
∀
n
∈
N
:
B
n
+
1
=
f
−
1
[
B
n
]
1.
Prove: if for any
B
⊆
A
:
⋂
n
∈
N
B
n
=
∅
then
f
has no fixed points
2.
Prove or disprove:
f
has no fixed points
⟹
∀
B
⊆
A
:
⋂
n
∈
N
B
n
=
∅
Proof for 1:
If
A
is an empty set, then
f
is an empty function which has no fixed points
Let
A
≠
∅
Let
∀
B
⊆
A
:
⋂
n
∈
N
B
n
=
∅
Let
f
has a fixed point
x
Let
B
=
{
x
}
⟹
x
∈
f
[
B
]
Base case. Let
n
=
1
x
∈
B
⟹
x
∈
B
1
Induction step. Let
x
∈
B
n
B
n
+
1
=
f
−
1
[
B
n
]
x
∈
B
n
,
f
(
x
)
=
x
⟹
x
∈
f
−
1
[
B
n
]
=
B
n
+
1
⟹
By induction:
x
∈
⋂
n
∈
N
B
n
⟹
⋂
n
∈
N
B
n
≠
∅
−
Contradiction!
⟹
f
has no fixed points
Disproof for 2:
Let
A
=
N
Let
f
(
n
)
=
2
n
Let
B
=
N
Base case. Let
n
=
1
B
1
=
B
=
N
Induction step. Let
B
n
=
N
B
n
+
1
=
f
−
1
[
B
n
]
=
f
−
1
[
N
]
Let
x
∈
f
−
1
[
N
]
⟹
x
∈
N
⟹
f
−
1
[
N
]
⊆
N
Let
x
∈
N
⟹
2
x
∈
N
⟹
f
(
x
)
=
2
x
⟹
x
∈
f
−
1
[
{
2
x
}
]
⊆
f
−
1
[
N
]
⟹
N
⊆
f
−
1
[
N
]
⟹
B
n
+
1
=
f
−
1
[
N
]
=
N
⟹
By Induction
∀
n
∈
N
:
B
n
=
N
⟹
⋂
n
∈
N
B
n
=
N
Exam 202?
Let
A
=
[
n
]
,
n
∈
N
Let
G
=
(
V
,
E
)
be a simple graph
V
=
P
(
A
)
E
=
{
{
X
,
Y
}
|
X
,
Y
⊆
A
∧
[
(
X
⊂
Y
)
∨
(
Y
⊂
X
)
]
}
1.
Find
|
V
|
2.
Find
|
E
|
3.
Show that there are exactly two vertices with odd degree
Solution for 1:
|
V
|
=
|
P
(
A
)
|
=
2
|
A
|
=
2
n
Solution for 2:
Let
k
∈
[
n
]
Let
X
∈
V
|
P
(
X
)
|
=
2
k
Number of supersets of
X
is
2
n
−
k
X
∈
P
(
X
)
,
X
is a superset of
X
⟹
d
e
g
(
X
)
=
2
k
+
2
n
−
k
−
2
∑
X
∈
V
d
e
g
(
X
)
=
∑
k
=
0
n
(
n
k
)
(
2
k
+
2
n
−
k
−
2
)
⟹
|
E
|
=
1
2
⋅
∑
k
=
0
n
(
n
k
)
(
2
k
+
2
n
−
k
−
2
)
=
1
2
(
∑
k
=
0
n
2
k
(
n
k
)
+
∑
k
=
0
n
2
n
−
k
(
n
k
)
−
2
∑
k
=
0
n
(
n
k
)
)
By binomial theorem:
|
E
|
=
1
2
(
3
n
+
3
n
−
2
n
+
1
)
=
3
n
−
2
n
Solution for 2:
d
e
g
(
X
)
=
2
k
+
2
n
−
k
−
2
Let
k
≠
0
,
k
≠
n
⟹
d
e
g
(
X
)
is even
Let
k
=
0
⟹
X
=
∅
,
d
e
g
(
X
)
=
2
n
−
1
Let
k
=
n
X
=
[
n
]
,
d
e
g
(
X
)
=
2
n
−
1
⟹
There are exactly two vertices of odd degree:
∅
,
[
n
]