Final Exam IT - Dis.mat.2024
Final Exam IT - Dis.mat.2024
KAZAKHSTAN
INTERNATIONAL UNIVERSITY OF INFORMATIONAL TECHNOLOGIES
Department of Mathematical and computer modeling
Discipline: Discrete mathematics
for group of educational programs: IT-2204, 2205,2206
Option 1
Task 1. [40p] Functions. One-to one and onto functions. Give examples.
Task 2. [30p] Task 1For a graph represented by the following incidence matrix, determine the
adjacency matrix and dwaw the graph of it
less than 20} and C={z| z is positive integer numbers less than 15 divisible by 3}.Find (A ⊕ B)
Task 3. [30p] Let A={x| x is positive numbers no more than 10} and B={y| y is prime numbers
⋂ C.
Task 3. [30p] Rewrite the statement so that negations appear only within predicates (that is, so
that no negation is outside a quantifier or an expression involving logical connectives).
¬[∀x(∃z∀yP(x,y,z)∧∃z∀yP(x,y,z))∧(∃x∃y¬(Q(x,y) ↔ Q(y,x)))]
Task 3. [30p] Find the values of the Boolean function represented by F (x, y) = x → y ∨ ¬ (x
∧ y)
Task 3. [30p] Rewrite the statement so that negations appear only within predicates (that is, so
that no negation is outside a quantifier or an expression involving logical connectives).
¬[∃x(∀z∀yP(x,y,z)→∃z∀yP(x,y,z))↔(∀x∃y(Q(x,y) → Q(y,x)))]
than 10 and less than 20} and D={ t| t is numbers that are multiples of 3 less than 20}.Find (A ⋂
Task 3. [30p] Let A={x| x is even numbers no more than 15} and B={y| y is odd numbers more
B) ⊕ D.
than 10 and less than 20} and D={ t| t is numbers that are multiples of 3 less than 20}.Find (A ⋂
Task 3. [30p] Let A={x| x is even numbers no more than 15} and B={y| y is odd numbers more
B) ⊕ D.
3}.Find (A ⊕ B) ⋂ C.
prime numbers less than 20} and C={z| z is positive integer numbers less than 15 divisible by
Task 3. [30p] Rewrite the statement so that negations appear only within predicates (that is, so
that no negation is outside a quantifier or an expression involving logical connectives).
¬[∃x(∀z∀yP(x,y,z)→∃z∀yP(x,y,z))↔(∀x∃y(Q(x,y) → Q(y,x)))]