|
Dasturning maqsadi va vazifalari
|
| bet | 2/13 | | Sana | 21.12.2023 | | Hajmi | 491,19 Kb. | | #125973 |
Bog'liq 05 01 04 Hisoblash mashinalari, majmualari va kompyuter tarmoqlarining FTX (kompaniya) - Vikipediya., Mustaqil ish, 6 mavzu, professional-ta-lim-tizimida-matematika-fanini-o-qitishda-zamonaviy-axborottexnologiyalardan-foydalanish, Hosilaviy qimmatli qog‘ozlar bozori ipoteka qimmatli qog‘ozlar b, Avtomatlashtirilgan tizimlarni tayyorlash davrlari, baymuratov D, 2 - ma\'ruza, Mavzu 17, Mavzu 6-7, 1
Yo‘nalish bo‘yicha tayanch doktorantura (PhD)ga kiruvchilar uchun mo‘ljallangan sinov dasturining asosiy maqsadi va vazifasi talabgorlarning turli matematik masalalarni yechishda, turli algoritmlarni sifatini va ishlatish imkoniyatlarini tahlil qila bilish hamda algoritmlarni yarata bilish ko‘nikmalarni baholashdan iborat. Berilgan masalaning turini aniqlay olish va ma’lum algoritmlarni to‘g‘ri qo‘llay bilish va ma’lum usullarning turg‘unligini aniqlay bilish darajasini aniqlash. Talabgorlarning dasturlash tillarini qo‘llagan holda kompyuterlarda masalalarni yecha olish va sonli hisob-kitob natijalarini malakali ravishda tahlil qila bilish bo‘yicha bilim va malakasini baholashdan iborat.
05.01.04 - HISOBLASH MASHINALARI, MAJMUALARI VA KOMPYUTER TARMOQLARINING MATEMATIK VA DASTURIY
TA’MINOTI IXTISOSLIGI BO’YICHA KIRISH IMTIXONI DASTURI.
Algoritm tushunchasi va uni takomillashtirish: Tyuring mashinalari, oddiy Markov algoritmlari, rekursiv funktsiyalar. Algoritmik tizimlar ma'lumotlarining ekvivalentligi. Algoritmik noaniqlik tushunchasi. Algoritmik yechilmaydigan mammolarga misollar.
Algoritmlarning murakkabligi haqida tushuncha. P, NP, PSPASE sinflari. NP- to'liqligi haqidagi Kuk teoremasi uchun Bul (Mantiq) formulalarining bajarilishi (isbotsiz). NP-to'liq masalalariga namunalar. Nck sinflari.
Mantiq algebrasi. Mantiqiy funktsiyalar, mantiqiy funktsiyalarni belgilashning kanonik shakllari. Tizimning to'liqligi haqida tushuncha. Post nazariyasi.
Bayonotlar hisobi. Bayonotlar hisobi to'liqligi haqidagi teorema (isbotsiz).
1-tartibdagi predikatlarni hisoblash. Interpretatsiya tushunchasi. 1-tartibli formulaning haqiqiyligi va bajarilishi. Model tushunchasi. 1- tartibdagi predikatlar hisobi uchun to'liqlik teoremasi (isbotsiz).
Graflar nazariyasi asoslari. Graflarning turlari, graflarni aniqlash usullari. Izomorfizm, tasvirlash. Tekislik mezoni. Ikkilik daraxtlarning turlari va xususiyatlari. Ikkilik daraxtlarni ro'yxatga olish. Graf uchlarini aylanib o'tish algoritmlari. Grafni ma'lum turdagi subgraflarga bo'lish algoritmi.
Rasmiy tillar va ularni ta'riflash usullari. Rasmiy grammatikasining tasnifi. Ularning leksik va sintaktik tahlilda ishlatilishi. Atributiv grammatikalar. Kontekstli-erkin tillarni aniqlashning noaniqlik muammosi haqidagi teoremasi.
Dastur sxemasi haqida tushuncha. Standart sxemalarning bo'shligi, ekvivalentligi, yaxlitligi va erkinligi xususiyatlarining noaniqligi haqidagi teoremalar. Standart sxemalarning mantiqiy-terminal ekvivalentligini aniqlash algoritmlari.
Parallel dasturlarning xususiyatlarini tahlil qilish uchun Petri tarmoqlari haqida tushuncha. Erishish muammosi.
Dasturlarning parallellashtirishni avtomatlashtirish va sikllarni vektorlashtirish usullari. Qatlamli parallel shakllar. Gipertekislik, parallelepipedlar metodi va boshqa usullar.
|
| |
