sagamocdo sakiTxebi diskretul struqturebSi (2016)

1. daamtkiceT, rom funqcia ineqciuria maSin da mxolod maSin, roca mas gaaCnia marcxena Seqceuli.
moiyvaneT magaliTebi.
2. daamtkiceT, rom funqcia sureqciulia maSin da mxolod maSin, roca mas
gaaCnia marjvena Seqceuli. moiyvaneT magaliTebi
3. daamtkiceT, rom funqcia bieqciaa maSin da mxolod maSin, roca mas gaaCnia ormxrivi Seqceuli.
moiyvaneT Sesabamisi magaliTebi
4. induqciiT daamtkiceT, rom n (0) = n yoveli n –saTvis N-dan.
5. daamtkiceT
Teorema. (kantor-bernSteinis Teorema). Tu  aris ineqcia A-dan mis qvesimravle (A)–Si, maSin
nebismieri C  (A  (A)) simravlisTvis arsebobs bieqcia  simravle A-dan (A) = C   (A)
simravleze.
6. daamtkiceT, rom: (A  B)  (C  D) = (A  C )  (B  D).
7. daamtkiceT, rom bulis funqciebis sistema {,, } aris sruli.
8. daamtkiceT, rom bulis funqciebis sistema {,} aris sruli.
9. daamtkiceT, rom bulis funqciebis sistema {, } aris sruli.
10. daamtkiceT, rom bulis funqciebis sistema {|} aris sruli.
11. daamtkiceT, rom bulis funqciebis sistema {, } aris sruli.
12. daamtkiceT, rom bulis funqciebis sistema {|} aris sruli.
13. daamtkiceT, rom kardinalur ricxvTa simravleSi gansazRvruli binaruli mimarTeba 
antisimetriulia, e.i. Tu |A|  |B| და |B| |A|, მაშინ |B|= |A|.
14. kantoris Teorema (formulireba da damtkiceba).
15. kardinalur ricxvTa simravleSi gansazRvreT binaruli mimarTeba  da daamtkiceT misi tranzituloba.
16. kardinalur ricxvTa simravleSi gansazRvreT binaruli mimarTeba  da uCveneT, rom is tranzituli da
refleqsuria.
17. CamoayalibeT peanos postulatebi (naturalur ricxvTa simravlis gansazRvra).
18. daamtkiceT, rom Tu funqciebi f,g : X  X komutireben (e. i. f ◦g = g ◦f ), maSin
n m m n
f ∘ g =g ∘ f nebismieri m, n  N.
19. daamtkiceT, rom Tu funqciebi f,g : X  X komutireben (e. i. f ◦g = g ◦f ), maSin
n n n
( f ∘ g ) =f ∘ g nebismieri m, n  N.
 20. daamtkiceT, rom nebismieri funqciisTvis f : X  X da nebismieri m, n  N, sruldeba toloba

(f m )n =( f n )m .
21. mTel ricxvTa simravlis Z-is gayofis algoriTmi (forulireba).
22. gansazRvreT primitiulad rekursiuli funqciebi. daamtkiceT, rom jami primitiulad rekursiuli
funqciaa.
23. primitiulad rekursiuli funqciis gansazRvra. daamtkiceT, rom x y
primitiulad rekursiuli funqciaa.
24. primitiulad rekursiuli funqciis gansazRvra. daamtkiceT, rom namravli xy primitiulad rekursiuli
funqciaa.
25. nawilobriv rekursiuli funqciis gansazRvra. daamtkiceT, rom SezRuduli sxvaoba primitiulad
rekursiuli funqciaa.
26. daamtkiceT: Tu  da → tavtologiebia, maSin  tavtologiaa.
27. daamtkiceT sisrulis Teorema gamonaTqvamTa aRricxvaSi.
28. daamtkiceT deduqciis Teorema gamonaTqvamTa aRricxvaSi.
29. daamtkiceT, rom Tu  tavtologiaa, maSin  Teoremaa gamonaTqvamTa aRricxvaSi
30. daamtkiceT
lema. davuSvaT, rom  formulaa, da p1, … , pk - -Si Semavali propoziciuli asoebi, da davuSvaT, rom
mocemulia raRac WeSmaritobis mniSvnelobaTa ganawileba p1, … , pk propoziciuli asoebisTvis. maSin pi
iyos pi , Tu pi Rebulobs mniSvnelobas 1,  pi , Tu pi Rebulobs mniSvnelobas 0, da bolos, davuSvaT, rom
 aris  , Tu am ganawilebisas  Rebulobs mniSvnelobas 1, da  , Tu  Rebulobs mniSvnelobas 0. M

maSin p1, … , pk | 

31. pirveli rigis Teoriis interpretaciis gansazRvreba. Sesrulebadoba.
32. pirveli rigis Teoriis interpretaciis gansazRvreba. WeSmaritoba.
33. daamtkiceT, rom  mcdaria mocemul interpretaciaSi maSin da mxolod maSin, roca 
WeSmaritia igive interpretaciaSi, da  WeSmaritia maSin da mxolod maSin, roca  mcdaria.
34. uCveneT, rom I rigis Teoriis arcerTi formula ar SeiZleba iyos erTdroulad WeSmariti da mcdari
erTdaigive interpretaciaSi.
35. pirveli rigis Teoriis interpretaciis gansazRvreba. zogadmarTebuloba.
36. daamtkiceT, rom n-elementiani simravlis yvela k-elementiani gansxvavebuli qvesimravleebis
raodenoba tolia
n(n−1 )⋯(n−k +1 ) n!
=
N(Pk(A)) = 1⋅2⋅…⋅k k !(n−k )!

37. daamtkiceT, rom adgili aqvs Semdeg tolobas

 k−1 k
C nk = C n−1+C n−1
38. daamtkiceT, rom n–elementiani simravlis yvela qvesimravleTa ricxvi udris 2n.
39. daamtkiceT, rom adgili aqvs Semdeg tolobas
(a + b)n = Cn0anb0 + Cn1an-1b1 + ... + Cnk an-kbk + ... + Cnn a0bn

40. daamtkiceT,
Teorema. n-elementiani simravlis yvela dalagebul k-elementiani qvesimravleTa ricxvi tolia
Ank = k!× Cnk = n!/(n – k)! = n(n – 1) ... (n – k + 1).

41. gansazRvreT grafebisTvis marSruti, jaWvi, cikli. eileris grafebi (moiyvaneT magaliTi).
42. moiyvaneT orientirebuli grafis gansazRvreba.
43. jgufebi (gansazRvreba). moiyvaneT magaliTebi. uCveneT, rom algebra (Zn, , 0) adiciuri
jgufia.
44. CawereT formula ( p   q)  r srulyofil normalur diziunqciur formaSi.

45. daamtkiceT, rom nebismieri grafi SeiZleba ganlagdes samganzomilebian evklides sivrceSi
46. gansazRvreT grafebisTvis marSruti, jaWvi, cikli. hamiltonis grafebi (moiyvaneT magaliTi).
47. gansazRvreT grafebisTvis marSruti, jaWvi, cikli. eileris grafebi (moiyvaneT magaliTi).
48. daamtkiceT
Teorema. davuSvaT, rom graf T-s gaaCnia n wvero. Tu T aris xe, maSin is ar Seicavs ciklebs da
gaaCnia n – 1 wibo.
49. moiyvaneT regularuli grafis gansazRvreba. gansazRvreT xeebi.
(moiyvaneT magaliTebi).
50. moiyvaneT martivi grafis gansazRvreba.
51. daamtkiceT Semdegi
Teorema. nebismieri grafi SeiZleba ganlagdes samganzomilebian evklides sivrceSi.
52. gansazRvreT eilerisa da hamiltonis grafebi.

53. moiyvaneT aucilebeli da sakmarisi piroba imisaTvis, rom grafi iyos eileris grafi.
54. gansazRvreT eilerisa da hamiltonis grafebi. moiyvaneT Sesabamisi magaliTebi.