Nukus davlat pedagogika instituti "kelishilgan"

3. Matematikalıq programmalastırıw páni boyınsha baǵdarlama 
Sızıqlı programmalastırıwdıń tiykarqı hám ulıwma máselesi. Sızıqlı 
programmalastırıw máselesiniń tiykarǵı qásiyetleri. Sızıqlı programmalastırıw 
máselesiniń geometriyalıq maǵanası. Grafikalıq usıl. Simpleks usıl. Jasalma bazis 
usılı. Transport máselesi. Transport máselesinde tirek sheshimlerdi anıqlaw 
usılları. Transport máselesinde optimal sheshimdi anıqlaw usılları. Tarmaqtaǵı 
qısqa jollar máselesi. Deykstr algoritmi. Sızıqlı programmalastırıwdıń qosarlı 
máselesi. Qosarlı simpleks usıl. Bólshek-sızıqlı programmalastırıw máselesi. 
Bólshek-sızıqlı programmalastırıw máselesin grafikalıq usıl menen sheshiw. 
Bólshek-sızıqlı programmalastırıw máselesin sızıqlı programmalastırıw máselesine 
keltiriw. Oyınlar teoriyası máselesi hám onıń geometriyalıq maǵanası. Oyınlar 
teoriyası máselesin sızıqlı programmalastırıw máselesine keltiriw. Tarmaq grafigin 
dúziw hám onıń tiykarǵı kórsetkishlerin esaplaw. Sızıqlı bolmaǵan 
programmalastırıw máselesi. Sızıqlı bolmaǵan programmalastırıw máselesiniń 
geometriyalıq maǵanası. Sızıqlı bolmaǵan programmalastırıw máselesin grafik usıl 
menen sheshiw. Sızıqlı bolmaǵan programmalastırıw máselesin sheshiwdiń 
Lagranj usılı. Dóńes programmalastırıw máselesi. Gradient usılı. Separabelli 
programmalastırıw 
máselesi. 
Dinamikalıq 
programmalastırıw 
máselesi. 
Dinamikalıq programmalastırıw máselesiniń geometriyalıq maǵanası. Tiykarǵı 
funkcional teńleme.
4. Matematikalıq logika hám algoritmler teoriyası páni boyınsha 
baǵdarlama 
Logikalıq algebra. Aytımlar ústinde logikalıq ámeller. Aytımlar 
algebrasınıń formulaları. Formulanıń shınlıq mánisleri. Aytımlar algebrası 
formulalarınıń teń kúshliligi. Ulıwma mánisli hám orınlawshı formulalar. Aytımlar 
algebrasınıń funkciyaları. Kóp ózgeriwshili funkciya tablicası. Funkciyanıń normal 
forması. Normal formalar. Ekilik principi hám ekilik nızamı. Funkciyalardıń tolıq 

---

50 
sistemaları. Bul funkciyalarınıń tablicası. Bul algebrası. Ózara baylanıslı hám 
baylanıssız funkciyalar. Sızıqlı funkciyalar kópligi. Aytımlar esabın kurıw. 
Predikatlar esabınıń sáykesligi hám tolıqlıǵı. Algoritm tusinigi. Evklid algoritmi. 
Cherch tezisi. Klini tezisi. Úles rekursiv funkciyalar. Úles funkciyalardıń 
anıqlanıw oblastı. Mánisler kópligi. PR- operatorı. Minimizaciya operatorı. 
Arifmetik funkciyalardıń premitiv rekursivligin kórsetiw. Rekursiv hám sanap 
shıǵıwshı kóplikler. Universal funkciyalar. Algoritm teoriyasında universal 
funkciya tusinigi. Tyuring mashinasınıń alfavitleri. Algoritmlik sheshilmeytuǵın 
mashqalalar. Bóleklik rekursiv funkciyalardı Tyuring mashinalarında esaplaw.