Հայաստանի ազգային պոլիտեխնիկական համալսարան (Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում)

Ալգորիթմի հասկացություն և դրա ֆորմալիզացիաներ. Թյուրինգի մեքենա, Մարկովի նորմալ ալգորիթմ, ռեկուրսիվ ֆունկցիա: Ալգորիթմների ֆորմալ մոդելների համարժեքություն: Ալգորիթմորեն անլուծելիության հասկացություն: Ալգորիթմորեն անլուծելի խնդիրների օրինակներ:

Ալգորիթմի բարդության հասկացություն: P և NP դասեր: Խնդիրների բազմանդամային բերելիություն: Կուկի թեորեմ` Բուլյան բանաձևի իրագործելիության խնդրի NP-լրիվության մասին: NP-լրիվ խնդիրների օրինակներ, դրանց լուծման մոտեցումներ: Ճշգրիտ և մոտավոր կոմբինատոր ալգորիթմներ:

Էֆեկտիվ /բազմանդամային/ ալգորիթմների օրինակներ. Որոնման և տեսակավորման արագ ալգորիթմներ, գրաֆների և ցանցերի հետ կապված խնդիրների լուծման բազմանդամային ալգորիթմներ /որոնում խորությամբ և լայնությամբ, մինիմալ կմախքային ծառի կառուցում, մինիմալ ճանապարհների ծառի կառուցում/:

Ավտոմատներ: Փորձակումներ ավտոմատների հետ: Կանոնավոր արտահայտությունների հանրահաշիվ: Կլինիի թեորեմ կանոնավոր լեզուների մասին:

Տրամաբանության հանրահաշիվ: Բուլյան ֆունկցիաներ, բուլյան ֆունկցիաների ներկայացման կանոնիկ ձևեր: Լրիվ համակարգի հասկացություն: Լրիվության Պոստի հայտանիշ: Բուլյան ֆունկցիաների մինիմիզացում նորմալ ձևերի դասերում:

Առաջին կարգի պրեդիկատների հաշիվ: Մեկնաբանության հասկացություն: Առաջին կարգի բանաձևերի իրագործելիություն և ընդհանրարժեքություն: Մոդելի հասկացություն: Թեորեմ պրեդիկատների առաջին կարգի հաշվի լրիվության մասին:

Հարաբերություններ և ֆունկցիաներ: Համարժեքության և տրոհման հարաբերություն: Ֆակտոր բազմություններ: Մասնակի կարգի հարաբերություն: Ցանցի տեսաբազմությունային և հանրահաշվային սահմանումներ և դրանց համարժեքություն: Ցանցերի հատկություններ: Բուլյան ցանցեր: Լրիվ ցանցեր:

Ֆորմալ լեզուներ և դրանց նկարագրման եղանակներ: Ֆորմալ լեզուների դասակարգում: Ֆորմալ լեզուների օգտագործումը լեքսիկական և շարահյուսական վերլուծության մեջ:

l-հաշիվ, ռեդուկցիայի կանոններ, նորմալ ձևի միակություն և դրան բերման կանոններ, ռեկուրսիվ ֆունկցիաների ներկայացում:

Կոմբինատոր վերլուծության հիմունքներ: Ծնող ֆունկցիաների մեթոդ, կցման և արտաքսման մեթոդ: Օգտագործման օրինակներ:

Սխալներ ուղղող կոդեր: Այբուբենային կոդավորում: Ինֆորմացիայի սեղմման մեթոդներ:

Ծածկագրման հիմունքներ: Տեղեկատվության կոնֆիդենցիալության և ամբողջականության ապահովման խնդիրներ: Ծածկագրումային կայունության սահմանման տեսատեղեկատվային և տեսաբարդությունային մոտեցումներ: Տվյալների ծածկագրման DES ամերիկյան և ГОСТ 28147-89 ռուսական ստանդարտներ: Բաց բանալիով ծածկագրման համակարգեր /RSA/: Թվային ստորագրություն: Բանալիների գեներացիայի և բաշխման մեթոդներ:

Ժամանակակից հաշվողական մեքենաների ճարտարապետություն: Ժամանակակից հաշվողական մեքենաների հիշողության կազմակերպում և պրոցեսորի ճարտարապետություն: Վիրտուալ հիշողության էջային և սեգմենտային կազմակերպում: Cache-հիշողություն: Հրամանային և թվաբանական հոսքագծեր, անկախ հրահանգների զուգահեռ կատարում, վեկտորային հրահանգներ: Մասնագիտացված պրոցեսորներ: Հաշվարկների կատարումը ապահովող, տվյալների հոսքով ղեկավարվող մեքենաներ: Մուտք-ելքի կազմակերպում, մուտք-ելքի կանալներ և պրոցեսորներ, օբյեկտների հետ համակցման սարքեր:

Հաշվողական համակարգերի դասակարգում զուգահեռ մշակման կազմակերպման եղանակով: Բազմապրոցեսորային բազմամեքենայական համալիրներ: Հաշվողական կլաստերներ: Խնդիրներին կողմնորոշված զուգահեռ կառուցվածքներ` մատրիցային հաշվողական համակարգեր, սիստոլիկ կառուցվածքներ, նեյրոնային ցանցեր:

Ինֆորմացիոն հաշվողական ցանցերի դերը, ճարտարապետությունը և կառուցման սկզբունքները: Լոկալ և գլոբալ ինֆորմացիոն հաշվողական ցանցեր, ցանցերի միավորման տեխնիկական և ծրագրային միջոցներ:

Ինֆորմացիոն հաշվողական ցանցերում տվյալների փոխանցման մեթոդներ և միջոցներ, տվյալների փոխանցման արձանագրություններ: Փաթեթներ և հաղորդագրություններ: Փաթեթների, հաղորդագրությունների և կանալների կոմուտացիա:

Լոկալ ցանցերի ճարտարապետության առանձնահատկություններ (Ethernet, Token Ring, FDDI):

Internet ցանց, դոմենային կազմակերպում, TCP/IP արձանագրությունների ընտանիք: Ինֆորմացիոն հաշվողական ցանցեր և ինֆորմացիայի բաշխված մշակում:

Ծրագրավորման լեզուներ: Ծրագրավորման պրոցեդուրային /Pascal, C/, ֆունկցիոնալ /Lisp/, տրամաբանական /Prolog/ և օբյեկտային կողմնորոշմամբ /C++, C#, Java/ լեզուներ:

Ծրագրավորման պրոցեդուրային լեզուներ: Ղեկավարման կառուցվածքներ, ծրագրի կառուցվածք: Աշխատանք տվյալների հետ. Փոփոխականներ, հաստատուներ, տվյալների պարզ և բաղադրյալ տիպեր: Պրոցեդուրաներ /ֆունկցիաներ/: Ֆունկցիայի կանչ, պարամետրերի փոխանցման եղանակներ, փոփոխականների լոկալիզացում, կողմնակի էֆեկտ: Ստանդարտ ֆունկցիաների գրադարաններ:

Օբյեկտային կողմնորոշմամբ ծրագրավորում: Դասեր և օբյեկտներ: ժառանգականություն և պոլիմորֆիզմ: Պարամետրիզացված ֆունկցիաներ և դասեր: Բացառություններ և դրանց մշակում: Օբյեկտների հավաքածուների ներկայացման և մշակման միջոցներ /կոնտեյներ, իտերատորներ/: Ընդհանրացված ծրագրավորում:

Բաշխված ծրագրավորում: Պրոցեսներ և դրանց սինխրոնիզացիա: Սեմաֆորներ, Հոարի մոնիտորներ: Օբյեկտային կողմնորոշմամբ բաշխված ծրագրավորում: CORBA: Զուգահեռ ծրագրավորում ընդհանուր հիշողությամբ: Հոսքեր: Open MP ստանդարտ ինտերֆեյս: Հաջորդական ծրագրերի զուգահեռացում: SPMD և MIMD պարադիգմեր: MPI ստանդարտ ինտերֆեյս:

Տրանսլյատորների կառուցման հիմունքներ: Օպտիմիզացնող տրանսլյատորի կառուցվածքը: Ծրագրի միջանկյալ ներկայուցումներ` սիմվոլների հաջորդականություն, լեքսեմների հաջորդականություն, շարահյուսական և աբստրակտ շարահյուսական ծառեր: Միջանկյալ ներկայացման ձևեր:

Կոմպիլյատորի կողմից նախնական ծրագրի վերլուծություն: Ավտոմատային /կանոնավոր/ քերականություններ և լեքսիկական վերլուծություն: Կոնտեքստից ազատ քերականություններ և շարահյուսական վերլուծություն: Սիմվոլների աղյուսակի կազմակերպում և hash-ֆունկցիաներ: Շարահյուսական վերլուծության վերից վար /LL(1)-քերականություններ/ և վարից վեր /LR(1)-քերականություններ/ մեթոդներ: Ատրիբուտային քերականություններ և սեմանտիկական ծրագրեր, աբստրակտ շարահյուսական ծառի կառուցում: Լեքսիկական և շարահյուսական վերլուծիչների գեներացում` քերականության ֆորմալ նկարագրի հիման վրա: Լեքսիկական և շարահյուսական վերլուծության համակարգեր:

Ծրագրերի օտպիմիզացիա կոմպիլյացիայի ընթացքում: Բազային բլոկերի և ցիկլերի օպտիմիզացում: Ղեկավարման և տվյալների հոսքերի գրաֆների վերլուծություն: Կախվածությունների գրաֆ: Ծրագրի բերում SSA-ներկայացման և հակառակը: Գլոբալ և լոկալ օպտիմիզացիա:

Օբյեկտային կողմնորոշմամբ ծրագրավորում: Դասեր և օբյեկտներ: ժառանգականություն և պոլիմորֆիզմ: Պարամետրիզացված ֆունկցիաներ և դասեր: Բացառություններ և դրանց մշակում: Օբյեկտների հավաքածուների ներկայացման և մշակման միջոցներ /կոնտեյներ, իտերատորներ/: Ընդհանրացված ծրագրավորում:

Բաշխված ծրագրավորում: Պրոցեսներ և դրանց սինխրոնիզացիա: Սեմաֆորներ, Հոարի մոնիտորներ: Օբյեկտային կողմնորոշմամբ բաշխված ծրագրավորում: CORBA: Զուգահեռ ծրագրավորում ընդհանուր հիշողությամբ: Հոսքեր: Open MP ստանդարտ ինտերֆեյս: Հաջորդական ծրագրերի զուգահեռացում: SPMD և MIMD պարադիգմեր: MPI ստանդարտ ինտերֆեյս:

Սովորական դիֆերենցիալ հավասարումների լուծման թվային մեթոդները: Հիմնական ալգորիթմները և նրանց բարդությունները: Տրանսլյատորների կառուցման հիմունքներ: Օպտիմիզացնող տրանսլյատորի կառուցվածքը: Ծրագրի միջանկյալ ներկայուցումներ` սիմվոլների հաջորդականություն, լեքսեմների հաջորդականություն, շարահյուսական և աբստրակտ շարահյուսական ծառեր: Միջանկյալ ներկայացման ձևեր:

Կոմպիլյատորի կողմից նախնական ծրագրի վերլուծություն: Ավտոմատային /կանոնավոր/ քերականություններ և լեքսիկական վերլուծություն: Կոնտեքստից ազատ քերականություններ և շարահյուսական վերլուծություն: Սիմվոլների աղյուսակի կազմակերպում և hash-ֆունկցիաներ: Շարահյուսական վերլուծության վերից վար /LL(1)-քերականություններ/ և վարից վեր /LR(1)-քերականություններ/ մեթոդներ: Ատրիբուտային քերականություններ և սեմանտիկական ծրագրեր, աբստրակտ շարահյուսական ծառի կառուցում: Լեքսիկական և շարահյուսական վերլուծիչների գեներացում` քերականության ֆորմալ նկարագրի հիման վրա: Լեքսիկական և շարահյուսական վերլուծության համակարգեր:

Ծրագրերի օտպիմիզացիա կոմպիլյացիայի ընթացքում: Բազային բլոկերի և ցիկլերի օպտիմիզացում: Ղեկավարման և տվյալների հոսքերի գրաֆների վերլուծություն: Կախվածությունների գրաֆ: Ծրագրի բերում SSA-ներկայացման և հակառակը: Գլոբալ և լոկալ օպտիմիզացիա:

Օբյեկտային կոդի գեներացիա: Վերահարմարեցվող /retargetable/ կոմպիլյատորներ, gcc /կոմպիլյատորների GNU հավաքածու/: Տերմերի վերամշակում /term rewriting/: Օպտիմիզացնող էվրիստիկաների կիրառում /ամբողջաթիվ և դինամիկ ծրագրավորում/ օբյեկտային կոդի գեներատորների գեներացման համար /BEG, lburg համակարգեր/: Օբյեկտային մոդուլների ստատիկ և դինամիկ կապակցում:

Վիրտուալ մեքենայի բայթ կոդ: Բայթ կոդի կոմպիլյացիայի վրա հիմնված տեխնոլոգիաներ մեկ պլատֆորմից մյուսը ծրագրավորման լեզվով գրված իրականացումը տեղափոխելու համար (JAVA, .NET): Բայթ կոդի իրականացում` մեկնաբանություն, դինամիկ կոմպիլյացիա:

Մեքենայական կողմնորոշմամբ լեզուներ, ասեմբլեր լեզու: Մեքենայական հրահանգների և հաստատուների ներկայացում: Տրանսլյատորի /նախապրոցեսորի/ հրահանգներ: Տրանսլյատորի /նախապրոցեսորի/ հրահանգների տիպերն ու իրականացման սկզբունքները: Մակրոմիջոցներ, մակրոկանչեր, մակրոսահմանման լեզուներ, պայմանային մակրոգեներացում, իրականացման սկզբունքներ:

Ծրագրավորման համակարգեր, Ծրագրավորման համակարգերի տիպային բաղադրիչներ` լեզուներ, տրանսլյատորներ, կապերի խմբագրեր, կարգաբերիչներ, տեքստային խմբագրեր: Մուդուլային ծրագրավորում: Մոդուլների տիպեր: Մոդուլների կապակցում` ըստ ղեկավարման և տվյալների:

Կիրառական ծրագրերի փաթեթներ: Կիրառական ծրագրերի փաթեթների օգտագործման լեզուներ: Մեքենայական գրաֆիկա: Մեքենայական գրաֆիկայի աջակցման միջոցներ: Գրաֆիկական փաթեթներ:

Ծրագրերի մշակման և ուղեկցման տեխնոլոգիաներ: Ծրագրի կենսունակության ցիկլ: Մշակման փուլեր, դրանց ավտոմատացման աստիճանն ու ուղիները: Հակադարձ ճարտարագիտություն: Դեկոմպոզիցիայի և հավաքման տեխնոլոգիաներ: Ժառանգականության և ինկապսուլյացիայի մեխանիզմեր: Մոդուլներ, մուդուլների փոխգործակցում, հիերարխիկ ծրագրեր:

Կարգաբերում, տեստավարում, ծրագրի ստուգում և բարդության գնահատում: Տեստերի գեներացիա: Տեստերի գեներացման համակարգեր: Ծրագրերի կտրվածքներ /slice, chop/ և դրանց կիրառումը ծրագրերի կարգաբերման և տեստերի գեներացման համար: Կարգաբերման ծրագրային համակարգեր:

Ծրագրերի սպեցիֆիկացիայի մեթոդներ: Սպեցիֆիկացիաների ստուգման մեթոդեր: Սխեմային, կառուցվածքային և վիզուալ ծրագրավորում: Օգտագործողի ինտերֆեյսի մշակում, CUA ստանդարտ, ինտերֆեյսային փոխգործակցման մուլտիմեդիա միջավայրեր:

Հաշվողական համակարգերի գործունեության ռեժիմներ: Օպերացիոն համակարգերի կառուցվածքն ու ֆունկցիաները: Հիմնական բլոկերն ու մոդուլները: Օպերացիոն համակարգերի կիրառական ինտերֆեյսներ (API), նրանց ստանդարտիզացիան:

Օպերացիոն համակարգերի ֆունկցիաների ապարատային աջակցման հիմնական մեթոդները. ընդհատումների համակարգ, հիշողության պաշտպանություն, հասցեների ձևափոխման մեխանիզմեր վիրտուալ հիշողության համակարգերում, կանալների և արտաքին սարքերի ղեկավարում:

Պրոցեսների տեսակներ և դրանց ղեկավարումը ժամանակակից օպերացիոն համակարգերում: Պրոցեսների ներկայացում, դրանց կոնտեքստներ, գեներացման հիերարխիաներ, վիճակներ և փոխգործակցություն: Հոսքերի ստեղծումը և ղեկավարումը: Աշխատանքի բազմախնդիր ռեժիմ: Պրոցեսորների և հոսքերի ղեկավարման հրահանգներ: Պրոցեսների փոխգործակցության միջոցներ: Կլիենտ-սերվեր մոդել և դրա իրականացումը ժամանակակից օպերացիոն համակարգերում:

Զուգահեռ պրոցեսներ, գեներացման և ղեկավարման սխեմաներ: Զուգահեռ և ասինխրոն պրոցեսների միջև փոխգործակցության ղեկավարում` հաղորդագրությունների փոխանակում, փոստարկղների կազմակերպում: Կրիտիկական տեղամասեր, պրոցեսների փոխբացառման պրիմիտիվներ, Դեյկստրայի սեմաֆորներ և դրանց ընդլայնումներ: Պրոցեսների ասինխրոն կատարման հետ կապված փակուղիների խնդիր: Փակուղիների բացահայտման և կանխարգելման ալգորիթմներ:

Պրոցեսների ղեկավարման միջոցներ` զուգահեռ և բաշխված հաշվողական համակարգերում և ցանցերում դրանց իրականացման դեպքում: PVM, MPI, OpenMP, POSIX ստանդարտներ և ծրագրային միջոցներ: Պրոցեսների և տվյալների միգրացիա: Բաշխված տրանզակցիաների և ֆայլերի ղեկավարում:

Պրոցեսների ցիկլիկ սպասարկման միամակարդակ և բազմամակարդակ դիսցիպլիններ կենտրոնական պրոցեսորում: Քվանտի ընտրություն: Պրոցեսների սպասարկման առանձնահատկությունները իրական ժամանակում աշխատող օպերացիոն համակարգերում:

Տվյալներին հասանելիության ղեկավարում: Ֆայլային համակարգ:

Արտաքին սարքերի ղեկավարում: Սկավառակային հիշողության կազմակերպում և բաշխում: Սկավառակային և օպերատիվ հիշողության միջև տվյալների փոխանակման ղեկավարում: Ծրագրի էջերի /սեգմենտների/ աշխատանքային բազմություն, դրա սահմանման ալգորիթմներ:

Ռեսուրսների վիրտուալիզացիա` վիրտուալ սարքեր, վիրտուալ մեքենաներ:

Սխալների նկատմամբ կայունության ապահովումը հաշվողական համակարգերում: Հաշվարկների և սարքերի կրկնողություն, ստուգման կետերի մեխանիզմ, հաշվարկի վերականգնում սխալների դեպքում:

Հաշվողական մեքենաների բազմախնդիրային աշխատանքի օպտիմիզացիա: Windows, Unix, Linux օպերացիոն համակարգեր: Կազմակերպման առանձնահատկություններ, օգտագործողի հետ փոխգործակցության ծառայություններ:

Օպերացիոն համակարգեր սերվերների համար, նրանց առանձնահատկությունները:

Օբյեկտային կոդի գեներացիա: Վերահարմարեցվող /retargetable/ կոմպիլյատորներ, gcc /կոմպիլյատորների GNU հավաքածու/: Տերմերի վերամշակում /term rewriting/: Օպտիմիզացնող էվրիստիկաների կիրառում /ամբողջաթիվ և դինամիկ ծրագրավորում/ օբյեկտային կոդի գեներատորների գեներացման համար /BEG, lburg համակարգեր/: Օբյեկտային մոդուլների ստատիկ և դինամիկ կապակցում:

Վիրտուալ մեքենայի բայթ կոդ: Բայթ կոդի կոմպիլյացիայի վրա հիմնված տեխնոլոգիաներ մեկ պլատֆորմից մյուսը ծրագրավորման լեզվով գրված իրականացումը տեղափոխելու համար (JAVA, .NET): Բայթ կոդի իրականացում` մեկնաբանություն, դինամիկ կոմպիլյացիա:

Մեքենայական կողմնորոշմամբ լեզուներ, ասեմբլեր լեզու: Մեքենայական հրահանգների և հաստատուների ներկայացում: Տրանսլյատորի /նախապրոցեսորի/ հրահանգներ: Տրանսլյատորի /նախապրոցեսորի/ հրահանգների տիպերն ու իրականացման սկզբունքները: Մակրոմիջոցներ, մակրոկանչեր, մակրոսահմանման լեզուներ, պայմանային մակրոգեներացում, իրականացման սկզբունքներ:

Ծրագրավորման համակարգեր, Ծրագրավորման համակարգերի տիպային բաղադրիչներ` լեզուներ, տրանսլյատորներ, կապերի խմբագրեր, կարգաբերիչներ, տեքստային խմբագրեր: Մուդուլային ծրագրավորում: Մոդուլների տիպեր: Մոդուլների կապակցում` ըստ ղեկավարման և տվյալների:

Կիրառական ծրագրերի փաթեթներ: Կիրառական ծրագրերի փաթեթների օգտագործման լեզուներ: Մեքենայական գրաֆիկա: Մեքենայական գրաֆիկայի աջակցման միջոցներ: Գրաֆիկական փաթեթներ:

Ծրագրերի մշակման և ուղեկցման տեխնոլոգիաներ: Ծրագրի կենսունակության ցիկլ: Մշակման փուլեր, դրանց ավտոմատացման աստիճանն ու ուղիները: Հակադարձ ճարտարագիտություն: Դեկոմպոզիցիայի և հավաքման տեխնոլոգիաներ: Ժառանգականության և ինկապսուլյացիայի մեխանիզմեր: Մոդուլներ, մուդուլների փոխգործակցում, հիերարխիկ ծրագրեր:

Կարգաբերում, տեստավարում, ծրագրի ստուգում և բարդության գնահատում: Տեստերի գեներացիա: Տեստերի գեներացման համակարգեր: Ծրագրերի կտրվածքներ /slice, chop/ և դրանց կիրառումը ծրագրերի կարգաբերման և տեստերի գեներացման համար: Կարգաբերման ծրագրային համակարգեր:

Ծրագրերի սպեցիֆիկացիայի մեթոդներ: Սպեցիֆիկացիաների ստուգման մեթոդեր: Սխեմային, կառուցվածքային և վիզուալ ծրագրավորում: Օգտագործողի ինտերֆեյսի մշակում, CUA ստանդարտ, ինտերֆեյսային փոխգործակցման մուլտիմեդիա միջավայրեր:

Հաշվողական համակարգերի գործունեության ռեժիմներ: Օպերացիոն համակարգերի կառուցվածքն ու ֆունկցիաները: Հիմնական բլոկերն ու մոդուլները: Օպերացիոն համակարգերի կիրառական ինտերֆեյսներ (API), նրանց ստանդարտիզացիան:

Օպերացիոն համակարգերի ֆունկցիաների ապարատային աջակցման հիմնական մեթոդները. ընդհատումների համակարգ, հիշողության պաշտպանություն, հասցեների ձևափոխման մեխանիզմեր վիրտուալ հիշողության համակարգերում, կանալների և արտաքին սարքերի ղեկավարում:

Պրոցեսների տեսակներ և դրանց ղեկավարումը ժամանակակից օպերացիոն համակարգերում: Պրոցեսների ներկայացում, դրանց կոնտեքստներ, գեներացման հիերարխիաներ, վիճակներ և փոխգործակցություն: Հոսքերի ստեղծումը և ղեկավարումը: Աշխատանքի բազմախնդիր ռեժիմ: Պրոցեսորների և հոսքերի ղեկավարման հրահանգներ: Պրոցեսների փոխգործակցության միջոցներ: Կլիենտ-սերվեր մոդել և դրա իրականացումը ժամանակակից օպերացիոն համակարգերում:

Զուգահեռ պրոցեսներ, գեներացման և ղեկավարման սխեմաներ: Զուգահեռ և ասինխրոն պրոցեսների միջև փոխգործակցության ղեկավարում` հաղորդագրությունների փոխանակում, փոստարկղների կազմակերպում: Կրիտիկական տեղամասեր, պրոցեսների փոխբացառման պրիմիտիվներ, Դեյկստրայի սեմաֆորներ և դրանց ընդլայնումներ: Պրոցեսների ասինխրոն կատարման հետ կապված փակուղիների խնդիր: Փակուղիների բացահայտման և կանխարգելման ալգորիթմներ:

Պրոցեսների ղեկավարման միջոցներ` զուգահեռ և բաշխված հաշվողական համակարգերում և ցանցերում դրանց իրականացման դեպքում: PVM, MPI, OpenMP, POSIX ստանդարտներ և ծրագրային միջոցներ: Պրոցեսների և տվյալների միգրացիա: Բաշխված տրանզակցիաների և ֆայլերի ղեկավարում:

Պրոցեսների ցիկլիկ սպասարկման միամակարդակ և բազմամակարդակ դիսցիպլիններ կենտրոնական պրոցեսորում: Քվանտի ընտրություն: Պրոցեսների սպասարկման առանձնահատկությունները իրական ժամանակում աշխատող օպերացիոն համակարգերում:

Տվյալներին հասանելիության ղեկավարում: Ֆայլային համակարգ:

Արտաքին սարքերի ղեկավարում: Սկավառակային հիշողության կազմակերպում և բաշխում: Սկավառակային և օպերատիվ հիշողության միջև տվյալների փոխանակման ղեկավարում: Ծրագրի էջերի /սեգմենտների/ աշխատանքային բազմություն, դրա սահմանման ալգորիթմներ:

Ռեսուրսների վիրտուալիզացիա` վիրտուալ սարքեր, վիրտուալ մեքենաներ:

Սխալների նկատմամբ կայունության ապահովումը հաշվողական համակարգերում: Հաշվարկների և սարքերի կրկնողություն, ստուգման կետերի մեխանիզմ, հաշվարկի վերականգնում սխալների դեպքում:

Հաշվողական մեքենաների բազմախնդիրային աշխատանքի օպտիմիզացիա: Windows, Unix, Linux օպերացիոն համակարգեր: Կազմակերպման առանձնահատկություններ, օգտագործողի հետ փոխգործակցության ծառայություններ:

Օպերացիոն համակարգեր սերվերների համար, նրանց առանձնահատկությունները:

Միջոցներ ցանցերի ղեկավարման գործողությունների համար: ISO/OSI բաց համակարգերի փոխգործակցության էտալոնային մոդել: Մարշրուտիզացում և տվյալների հոսքերի ղեկավարում ցանցում: Լոկալ և գլոբալ ցանցեր: Ցանցային օպերացիոն համակարգեր, կլիենտ-սերվեր մոդել: Ցանցերի ղեկավարման միջոցներ UNIX և Windows օպերացիոն համակարգերում: TCP/IP արձանագրությունների ընտանիք, IP հասցեների կառուցվածք և տեսակներ, դոմենային հասցեավորում Internet-ում: TCP, UDP տրանսպորտային արձանագրություններ:

Հեռակայված հասանելիություն ցանցի ռեսուրսներին: Էլեկտրոնային փոստի և վիդեո կոնֆերանսների կազմակերպում: Ֆայլերի փոխանցման FTP և HTTP արձանագրություններ: Հիպերտեքստի նշագրման HTML լեզու: WEB էջերի մշակում: WWW սերվերներ:

Օպերացիոն համակարգեր շարժական հաշվարկները իրականացնելու համար:

Տվյալների տիպի կոնցեպցիա: Աբստրակտ տվյալների տիպեր: Օբյեկտներ /հիմնական և առանձնահատուկ հատկություններ/:

Հիմնական տվյալների կառուցվածքներ: Որոնման և մշակման ալգորիթմներ: Տվյալների պահպանման և որոնման մեթոդների համեմատական բնութագիր:

Միջոցներ ցանցերի ղեկավարման գործողությունների համար: ISO/OSI բաց համակարգերի փոխգործակցության էտալոնային մոդել: Մարշրուտիզացում և տվյալների հոսքերի ղեկավարում ցանցում: Լոկալ և գլոբալ ցանցեր: Ցանցային օպերացիոն համակարգեր, կլիենտ-սերվեր մոդել: Ցանցերի ղեկավարման միջոցներ UNIX և Windows օպերացիոն համակարգերում: TCP/IP արձանագրությունների ընտանիք, IP հասցեների կառուցվածք և տեսակներ, դոմենային հասցեավորում Internet-ում: TCP, UDP տրանսպորտային արձանագրություններ:

Հեռակայված հասանելիություն ցանցի ռեսուրսներին: Էլեկտրոնային փոստի և վիդեո կոնֆերանսների կազմակերպում: Ֆայլերի փոխանցման FTP և HTTP արձանագրություններ: Հիպերտեքստի նշագրման HTML լեզու: WEB էջերի մշակում: WWW սերվերներ:

Օպերացիոն համակարգեր շարժական հաշվարկները իրականացնելու համար:

Տվյալների տիպի կոնցեպցիա: Աբստրակտ տվյալների տիպեր: Օբյեկտներ /հիմնական և առանձնահատուկ հատկություններ/:

Հիմնական տվյալների կառուցվածքներ: Որոնման և մշակման ալգորիթմներ: Տվյալների պահպանման և որոնման մեթոդների համեմատական բնութագիր:

Տվյալների ռելացիոն և օբյեկտային մոդելների հիմնական հասկացություններ:

Տվյալների ռելացիոն մոդելի տեսական հիմունքներ: Ռելացիոն հանրահաշիվ, ռելացիոն հաշիվ: Ֆունկցիոնալ կախվածություններ և հարաբերությունների նորմալիզացում:

CASE-միջոցներ և դրանց օգտագործումը տվյալների բազաների նախագծման ընթացքում

Տվյալների բազաների ֆիզիկական մակարդակի կազմակերպում ու նախագծում: Ինդեքսային կառուցվածքներ. նոսր, խիտ և երկրորդական ինդեքսներ, B+ -ծառեր, դինամիկ հեշ-աղյուսակներ:

Ընդհանրացված ճարտարապետություն: Տվյալների բազաների ղեկավարման համակարգի կառուցվածքը և ֆունկցիաները: Ժամանակակից տվյալների բազաների տեխնոլոգիաների բնութագիր: Տվյալների բազաների ղեկավարման համակարգերի օրինակների:

Հարցումների կատարում: Հանրահաշվական գործողությունների իրականացման երկու դիտարկումով ալգորիթմներ` տեսակավորման, հեշավորման և ինդեքսավորման հենքերի վրա:

Կոմպիլյացիա և հարցումների օպտիմիզացիա: Անցում վերլուծության ծառերից հարցումների տրամաբանական պլանների, գործողությունների գների վերլուծություն, ֆիզիկական պլանի կառուցում:

Ինֆորմացիայի ինտեգրում: Ֆեդերատիվ տվյալների բազաներ, տվյալների պահոց, մեդիատոր, OLAP - կիրառություն, տվյալների խորանարդ, տվյալների մշակում (data mining):

Տրանզակցիաների, արձանագրման և վերականգնման ղեկավարման հիմնական սկզբունքներ:

SQL տվյալների բազաների լեզու: Տվյալների բազայի սխեմայի սահմանման և փոփոխման միջոցներ: Ամբողջականության սահմանափակումների սահմանում: Հասանելիության վերահսկում: Տվյալների մանիպուլյացիայի միջոցներ:

SQL լեզուների ստանդարտներ: Ինտերակտիվ, ներդրված, դինամիկ SQL:

Կլիենտ-սերվեր տեխնոլոգիայի հիմնական հասկացություներ: SQL սերվերի և կլիենտի բնութագիր: Կլիենտի և սերվերի ցանցային փոխգործակցություն:

Ինֆորմացիոն որոնողական համակարգեր: Դասակարգում: Որոնման իրականացման և արագացման մեթոդներ:

Գիտելիքների ներկայացման մեթոդներ: Պրոցեդուրային և տրամաբանական ներկայացում, սեմանտիկ ցանցեր, ֆրեյմեր, պրոդուկցիայի համակարգեր: Գիտելիքների ներկայացման իտեգրացված մեթոդներ: Գիտելիքների ներկայացման լեզուներ: Գիտելիքների բազաներ:

Էքսպերտային համակարգեր: Էքսպերտային համակարգերի կիրառման ոլորտներ: Էքսպերտային համակարգերի ճարտարապետություն: Արտածման մեխանիզմեր: Բացատրման, շփման, գիտելիքների ձեռքբերման ենթահամակարգեր: Էքսպերտային համակարգի կենսական ցիկլ: Էքսպերտային համակարգերի օրինակներ:

Տվյալների և ծրագրերի ապարատային և ծրագրային պաշտպանության մեթոդներ: Տվյալների և ծրագրերի պաշտպանություն ծածկագրման եղանակով:

Պաշտպանություն չարտոնված հասանելիությունից օպերացիոն համակարգերում: Անվտանգության համակարգեր և ռեսուրսներին հասանելիության սահմանազատում օպերացիոն համակարգերում: Հասնելիության հարցեր ֆայլային համակարգերում:

Պաշտպանություն չարտոնված պատճենահանումից: Չպատճենահանվող նշիչների տեղադրման մեթոդներ, տեղադրվող ծրագրի հարմարեցում կոնկրետ հաշվողական մեքենային, հարմարեցում սարքավորման կոնֆիգուրացիային:

Պաշտպանություն քայքայիչ ծրագրային ազդեցություններից: Վնասաբեր ծրագրեր և դրանց դասակարգումը: Բեռնվող և ֆայլային վիրուսներ, էջանշան-ծրագրեր: Վիրուսների հայտնաբերման և հեռացման մեթոդներ, ծրագրային ապահովման վերականգնում:

Ինֆորմացիայի պաշտպանություն հաշվողական ցանցերում: