taqqoslamalar va ularni soddalashtirish; berilgan sonning ko ’rsatkichini topish;
tub modul
bo ’yicha boshlang’ich ildizlar; tub modul b o ’yicha indekslar, ularning tatbiqlari; ikki hadli
taqqoslamalarni yechish.
K o’phad darajasini aniqlash; k o ’phadlar ustida amallar; ko ’phadni
x-c
ikkihadga bo ’lish;
k o ’phadni qoldiqli bo ’lish; Gorner sxemasi; k o ’phadni keltirilmaydigan k o ’phadlar
k o ’paytmasiga yoyish; karrali ildizlarni aniqlash; ko ’phadlar eng katta umumiy b o ’luvchi va
eng kichik umumiy b o ’linuvchisini topish; Yevklid algoritmi; ko ’phadni
x-c
ikkihad darajalari
b o ’yicha yoyish.
Viyet formulasi yordamida tenglamalarni yechish; haqiqiy sonlar maydoni ustida
keltirilmaydigan ko ’phadlar; uchinchi darajali tenglamalarni yechish; haqiqiy koeffitsientli
k o ’phad mavhum ildizining qo’shmaligi; Shturm ko ’phadlar sistemasi.
K o’phadning butun va ratsional ildizlarini topish; Eyzenshteynning keltirilmaslik
kriteriyasi; maydonning
oddiy kengaytmasini qurish; algebraik elementning minimal
k o ’phadini aniqlash; maydonning oddiy algebraik kengaytmasini qurish; maydonning chekli
va murakkab kengaytmalari; uchinchi darajali tenglamalarning kvadrat radikallarda yechilishi.
Halqaning karali kengaytmasini qurish.
K o’phadlar halqalarining izomorfizmi.
K o’phadning normal ifodasi. K o’phad darajasi va uning xossalari. K o’p o ’zgaruvchili
k o ’phadlarni keltirilmaydigan ko ’phadlar ko ’paytmasiga yoyish.
Berilgan ko ’p o ’zgaruvchili ko ’phadni simmetrik ko ’phadga aylantirish.
Simmetrik k o ’phadni elementar simmetrik ko ’phadlar yordamida ifodalash.
Ikki ko ’phad rezultanti. K o’phad rezultanti. Yuqori darajali tenglamalar sistemasini
rezultant yordamida yechish.
Mulohazalar ustida mantiq amallari. Formula turini aniqlash. Formulaning rostlik
qiymati. Formulalarning teng kuchliligini isbotlash. Ikki qiymatli funksiyalarni mulohazalar
algebrasining formulalari orqali ifodalash. Normal forma, mukammal diz’yunktiv normal
forma (MDNF) va mukammal kon’yunktiv normal forma (MKNF)ni hosil qilish. Ikkilik
prinsipi va ikkilik qonuni yordamida qo’shma formulalarni hosil qilish. Funksiyalarning to ’liq
sistemasi.
Aksiomalar va keltirib
chiqarish qoidalari yordamida formulalarning keltirib
chiqariluvchiligini isbotlash. Gipotezalardan keltirib chiqarish. Deduksiya teoremasini
qo’llash. Formulalarda teng kuchli almashtirishlar bajarish. Teng kuchli formulalarni isbotlash.
Formulani normal formaga keltirish.
Predikatning rostlik sohasi. Matematik tasdiqlarni predikatlar algebrasining tilida
ifodalash. Predikatli formulalarning teng kuchliligini isbotlash. Keltirilgan formani hosil qilish.
Predikatlar algebrasining formulasini umumqiymatli, bajariluvchiligini aniqlash.
Aksiomalardan keltirib chiqarish qoidalari. Predikatlar hisobi uchun hosilaviy keltirib
chiqarish qoidalari. B a’zi tavtologiyalarning isboti. Algoritmga misollar.
Algoritmning
xossalarini tekshirish. Qismiy rekursiv funksiyalar. Qismiy rekursiv funksiyalarni Tyuring
mashinalarida hisoblash. Umumrekursiv funksiyalar.
Algebra, algebraik sistema kengaytmasini qurish. Berilgan algebra, algebraik sistemalar
orasida gomomorfizm va izomorfizm o ’rnatish. Natural sonlar aksiomatik nazariyasi
aksiomalari yordamida natural sonlarni qo’shish va ko ’paytirishning xossalarini isbotlash.
Butun sonlar, ratsional sonlar, haqiqiy, kompleks sonlar xossalarini isbotlash. Chekli rangli
chiziqli algebralarga doir misollar tuzish. Kvaternionlar to ’plamining chiziqli algebra tashkil
etishini isbotlash.
Vektorlar va ular ustidagi amallar, vektorlarning chiziqli boqliqligi.
Tekislikdagi
koordinata metodi. Tekislikdagi to ’g ’ri chiziq.
To’g ’ri chiziqning turli berilish usullari. Tekislikning almashtirishlari. Tekislikdagi
xarakatlar. O ’xshash almashtirishlar. Gomotetiya. Tekislikdagi affin almashtirishlar. Ikkinchi
tartibli chiziqlar. Ellips, giperbola, parabolani kanonik tenglamasi yordamida taqlil qilish.
3
Fazodagi koordinatalar metodi. Fazoda tekislik va to ’g ’ri chiziqlaming berilish usullari.
Ikkinchi tartibli sirtlarni kanonik tenglamalari bo ’yicha o ’rganish. Ikkinchi tartibli silindrik va
konus sirtlar, aylanma sirtlarda kesimlar yasash.
Ellipsoid, giperboloidlar, paraboloidlar. Ikkinchi tartibli sirtlarning to ’g ’ri chiziqli
yasovchilari. Sirkul va chizg’ich yordamida yasash postulatlari. Yasashga doir masalalarni
yechishdagi bosqichlar. Tekislikdagi geometrik yasashlarni turli metodlari.
n-o’lchovli vektor fazo. n-o’lchovli affin fazo. n-o’lchovli affin fazolarning izomorfligi.
k-o’lchovli tekisliklar va ularning o ’zaro vaziyati. Affin almashtirishlar.
Affin almashtirishlar
gruppasi va uning qism gruppalari. n-o’lchovli Yevklid fazosi. En fazoda o ’xshash
almashtirishlar va uning gruppasi. En fazoda o ’xshash almashtirishlar va uning gruppasi. En
fazoda harakatlar. Chiziqli va kvadratik formalar. Kvadratik formani kanonik ko ’rinishga
keltirish. Normal k o ’rinishdagi kvadratik forma. Musbat aniqlangan kvadratik forma. Affin
fazosidagi kvadrikalar. Kvadrika tenglamasini kanonik ko ’rinishga keltirish. Kvadrikaning
markazi va tasnifi. Uch o ’lchovli Yevklid fazosidagi kvadrikalar tasnifini.
Sirkul va chizg'ich yordamida yasashga doir eng sodda masalalar. Yasashga doir
masalalarni echish bosqichlari. Tekislikdagi geometrik yasashlarning turli metodlari. Yasashga
doir masalalrni yechishdagi algebraik metod. Yasashga doir masalalarni sirkul va chizg'ich
yordamida yechish kriteriysi. Sirkul va chizg'ich yordamida yechilmaydigan klassik masalalar.
Markaziy, parallel proeksiyalash va ularning xossalari. Parallel proeksiyalash usuli bilan
yassi figuralarning tasvirini yasash. Aksonometriya. Polke-Shvarts teoremasi. Fazoviy
figuralarning tasvirini yasash. Pozitsion va metrik masalalar. T o l a va t o l a bo'lm agan tasvirlar
va ularni stereometriyani o'rganishga tatbiqlari. Qavariq ko'pyoqlarning kesimlarini yasashga
doir masalalar. Proektiv fazo. Proektiv geometriyaning asosiy faktlari. Proektiv tekislik.
Proektiv fazo aksiomalari. Proektiv fazo modellari. Proektiv koordinatalar. Ikkilik prinsipi.
Dezarg teoremasi. Bir to 'g 'ri chiziqda yotuvchi to'rtta nuqtaning murakkab nisbati. Proektiv
almashtirishlar va ularning gruppasi. Proektiv geometriya predmeti. Nuqtalarning garmonik
to'rtligi. To'liq to 'rt uchlikning garmonik xossalari. Qutb va qutb to 'g 'ri chizig'i. Proektiv
tekislikdagi ikkinchi tartibli chiziqlar va ularning klassifikatsiyasi. Shteyner, Paskal va
Brianshon teoremalari va ularni maktab geometriya kursidagi masalalarni echishga tadbig'i.
Geometriya asoslari. Geometriya asoslarining tarixiy sharhi. Evklidga qadar bo'lgan
geometriya. Evklidning “negizlar” asari. Evklidning v pastuloti va uni isbotlashga urinishlar.
N. I. Lobachevskiy va uning geometriyasi. Gilbert aksiomalar sistemasi sharhi. Gilbert
aksiomalaridan kelib chiqadigan b a’zi natijalar. Tekislikdagi Lobachevskiy aksiomalar
sistemasi va undan kelib chiqadigan natijalar. Parallel to 'g 'ri chiziqlar va ularning xossalari.
Uchburchak, to'rtburchak. Uzoqlashuvchi to 'g 'ri chiziqlar va ularning xossalari. Parallellik
burchagi. Lobechevskiy funksiyasi. Aylana, ekvidistanta va orisikl.
Aksiomalar sistemasini
izohlash haqida (interpretatsiyalash). Gilbert aksiomalar sistemasiga beriladigan analitik
interpretatsiya. Uch o'lchovli Evklid fazosining Veyl aksiomalar
sistemasi. Aksiomalar
sistemasining zidsizligi, erkinligi va to'liqligi. Kesma uzunligi. Mavjudlik va yagonalik
teoremasi. Tengdosh va teng tuzilgan ko'pburchaklar haqida. Ko'pyoqning hajmi haqida.
Lobachevskiy tekisligining turli modellari. Parallellik aksiomasining Evklid geometriyasidagi
qolgan aksiomalarga bog'liq emasligi. Sferik geometriya va Rimanning elliptik geometriyalari
haqida tushuncha. Riman geometriyasining aksiomalar sistemasi. Topologik fazo va uni
kiritish usullari. Ochiq va yopiq to'plamlar. Ichki, chegaraviy va urinish nuqtalari.
To'plamning yopig’i. Ajrimlilik aksiomalari. Topologiya bazasi. Bog’lanishli va chiziqli
bog’lanishli to'plamlar. Kompakt to'plamlar. Uzluksiz akslantirishlar va gomeomorfizm.
Skalyar argumentli vektor funksiyalar. Egri chiziqning berilish usullari. Regulyar chiziqlar.
Urinma va normal tekislik. Egri chiziq uzunligi. Egri chiziqning egriligi va buralishi. Frene
formulalari. Ikki skalyar argumentli vektor funksiyalar. Silliq sirt haqida tushuncha. Sirtning
birinchi kvadratik formasi. Sirt ustidagi chiziqning uzunligi. Sirt ustidagi chiziqlar orasidagi
burchak. Sirt ustidagi sohaning yuzasi. Sirt ustidagi chiziqning egriligi. Sirtning ikkinchi
4