# Midterm Spring 2024

Discrete Mathematics - Midterm - Spring 2024

Date: 2026-04-21
URL: https://elte.darthdemono.com/Discrete-Mathematics-L+Pr/Midterm/Midterm-Spring-2024
Tags: Sample, DiscreteMathematics, Maths, Midterm

---

Discrete Mathematics - Midterm - Spring 2024
NAME:
NEPTUN code:
Group number/Class teacher:

Duration: 90 minutes.
Total score: The maximal total score achievable in the midterm test is 40 points.
Success criterion: In order to successfully pass this test, you need to achieve at least 16 points.
Equipment: Only blank papers and pen allowed, no calculators.

Instructions

Each task must be solved on paper using pen. Please:

write your name, Neptun code and the name of your practice class teacher on the top of this exam paper;
write your name and Neptun code on the top of each paper you submit;
note that in most questions justification is required. Just an answer to these questions without any proof is worth very few marks only. Please do not forget to justify your answers. (Applying and showing the steps of a method learnt in the class — where relevant — is regarded as sufficient justification.)
note that a ‘yes’ or ‘no’ answer on its own without any justification is worth 0 marks only;
after finishing the test, place all the papers with your solutions behind this exam paper and in order for the papers to stay together please fold them into half (parallel to the longer side);
note that the actual test paper will be shared on Canvas, hence you will be able to obtain it.



In Question 6 you have a choice between two questions: You do not need to solve both of them, please choose just one of them.
Thank you and all the best for the test!

Values of some trigonometric functions that may be needed for some questions









































x0π/6π/4π/3π/22π/33π/45π/6πcosx13​/22​/2=1/2​1/20−1/2−2​/2=−1/2​−3​/2−1sinx01/22​/2=1/2​3​/213​/22​/2=1/2​1/20

Questions
1.
For each of the equalities below decide if it is true for every set A, B and C. Prove your answers.
(A∖B)∩(A∖C)=A∖(B∖C)
A∖(B∪C)=(A∖B)∩(A∖C)

2.
a)
Consider the binary relation
T={(1,1),(1,2),(1,4),(2,1),(2,2),(2,4),(3,1),(3,3),(4,4)}
on set X={1,2,3,4}. Decide whether T is reflexive, symmetric, transitive and/or antisymmetric. Justify your answers.
b)
Let R={(a,d),(a,e),(b,a),(c,b),(c,d),(d,d)}. Find:
i.
rng(R)△dmn(R)
ii.
R({a,b,c})
iii.
R−1∣{a,c}​
c)
On set A={1,2,3,4} construct a relation R which satisfies all of the following properties: it is anti-symmetric, reflexive, but not transitive.
(10 marks)

3.
a)
Let
R={(x,y)∈R×R∣2x3−5=43y+2​}
and
S={(x,y)∈R×R∣2x+3=6y−2}
Find the composition S∘R.
b)
Let
R={(1,1),(1,2),(2,1),(2,3),(4,4),(4,1)}
and
S={(1,2),(1,3),(2,2),(3,4),(4,3),(4,1)}
Find R−1∘S.
(6 marks)

4.
a)
For each of the following examples, decide if the relation is an equivalence relation, justifying your answer.
i.
R1​={(1,1),(1,5),(2,2),(2,4),(3,3),(4,2),(4,4),(5,1),(5,5)}⊆X×X,
where X={1,2,…,5}.
ii.
R2​={(x,y):xy>−1}⊆R×R.
iii.
R3​={(x,y):x10−y10 is even}⊆Z×Z.
b)
For each equivalence relation in part (a) find the partition determined by the equivalence relation.
(7 marks)

5.
For each of the relations below decide if it is a partial order. Justify your answers.
T1​={(x,y)∈R×R:4x2−4y2≤0}⊆R×R.
T2​={(x,y)∈R×R:x−y<100}⊆R×R.
T3​={(x,y)∈Z×Z:x−y is a natural number}⊆Z×Z.

There are two versions of Question 6, which you can choose from.
Please choose one of the two versions:
Version 1
6.
a)
Decide about each of the relations below if it is a function, justifying your answer.
i.
f1​={(a,c),(b,b),(b,d),(d,c),(e,a)}⊆Y×Y,
where Y={a,b,c,d,e,f}.
ii.
f2​={(x,y)∈R×R∣x3−1=y2+2}⊆R×R.
iii.
f3​={(x,y)∈R×R∣42x+6​=3y+2​}⊆R×R.
b)
For each of the above relations that is a function, decide if it is injective, surjective and/or bijective. Justify your answers.
(8 marks)

Version 2
6.
a)
Using the polar form of complex numbers, calculate
z=(−1−3​i)12(1+i)32​,
giving your answer in polar form. Then find all complex numbers w such that w4=z.
(8 marks)