Кәсіптендіру пәндер циклі
1 KS
3306
Компьютерлік желілер
Ақпараттық қауіпсіздіктің қазіргі уақыттағы
жағдайы, Ақпаратты қорғау мәселелері,
Ақпараттың қауіпсіздігін қамтамасыз ету
жолдары,
ақпаратты
қорғаудың
криптографиялық әдістері, компьютерлік
стенография
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
Білуі:
Қазіргі
заманғы
желілік
технологиялардың
ерекшеліктерін,
компьютерлік
желіліердің
классификациясын,
компьютерлік
желіліердің
аппараттық
және
программалық қамтамаларын білуі тиіс;
Істей білуі: Қазіргі кездегі операциялық
жүйелелерде желілік – аппараттық
жабдықтарды орнатуды және олардың
күйлерін өзгерту әдістерін қолдана білуі
жаңа ақпараттық
технология,компь
ютерлік графика
тиіс;
Қатынас құру құқығын тағайындауды,
файылдық
жүйелер
дестілерінің
құрамындағыларды пароль арқылы қорғау
және көшіруді қамтамасыз ету, желінің
аппаратық
және
программалық
ресурстарын бірігіп қолдану үшін бөлуді
білуі тиіс;
Іскерлік дағдылануы:
Тапсырманың нақты бір түрін шешу үшін
локальды желілерді жобалау, ақпаратты
жеткізу, сақтау, іздеу, өңдеу және ұсыну
үрдістерімен байланысты қазіргі кездегі
желілік технологиялардың преспективі мен
даму тенденциялары туралы жүйелі білім
алулары қажет;
AKS
3306
Компьютерлік
желілерді
басқару
Жергілікті есептеу желілері. Жергілікті
желілердің
классификациясы.
Есептеу
желінің топологиясы. Желілік құрылғылар
және комминикация жабдықтары. Жергілікті
желілерді тармақтау. Желілерді жобалау.
Желілерді қондыру.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі:
Қазіргі
заманғы
желілік
технологиялардың
ерекшеліктерін,
компьютерлік
желіліердің
классификациясын,
компьютерлік
желіліердің
аппараттық
және
программалық қамтамаларын білуі тиіс;
Істей білуі: Қазіргі кездегі операциялық
жүйелелерде желілік – аппараттық
жабдықтарды орнатуды және олардың
күйлерін өзгерту әдістерін қолдана білуі
тиіс;
Қатынас құру құқығын тағайындауды,
файылдық
жүйелер
дестілерінің
құрамындағыларды пароль арқылы қорғау
және көшіруді қамтамасыз ету, желінің
аппаратық
және
программалық
ресурстарын бірігіп қолдану үшін бөлуді
білуі тиіс;
Іскерлік дағдылануы: Тапсырманың нақты
бір түрін шешу үшін локальды желілерді
жобалау, ақпаратты жеткізу, сақтау, іздеу,
өңдеу
және
ұсыну
үрдістерімен
байланысты
қазіргі
кездегі
желілік
технологиялардың преспективі мен даму
тенденциялары
туралы
жүйелі
білім
алулары қажет;
PVK
S
3306
Комьютерлік
желілерді
жобалау және енгізу
Локальды және глобальды желілерге шолу.
Локальды және глобальды желінің өзара
әрекеті. Физикалық дабылдарды өткізу
әдістері. Желілік жабдықтарды жеткізуші.
Жергілікті
желілердің
хаттамалары.
Глобальды желілердегі деректерді жеткізу
әдістері.
АТМ
технологиясы.
Сымсыз
желінің
технологиясы.
Сөздерді,
видеобейнелерді және деректерді біріктіріп
жеткізу.
Глобальды
және
жергілікті
желілерді жобалаудың негізгі принциптері.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі:
Қазіргі
заманғы
желілік
технологиялардың
ерекшеліктерін,
компьютерлік
желіліердің
классификациясын,
компьютерлік
желіліердің
аппараттық
және
программалық қамтамаларын білуі тиіс;
Істей білуі: Қазіргі кездегі операциялық
жүйелелерде желілік – аппараттық
жабдықтарды орнатуды және олардың
күйлерін өзгерту әдістерін қолдана білуі
тиіс;
Қатынас құру құқығын тағайындауды,
файылдық
жүйелер
дестілерінің
құрамындағыларды пароль арқылы қорғау
және көшіруді қамтамасыз ету, желінің
аппаратық
және
программалық
ресурстарын бірігіп қолдану үшін бөлуді
білуі тиіс;
Іскерлік дағдылануы: Тапсырманың нақты
бір түрін шешу үшін локальды желілерді
жобалау, ақпаратты жеткізу, сақтау, іздеу,
өңдеу
және
ұсыну
үрдістерімен
байланысты
қазіргі
кездегі
желілік
технологиялардың преспективі мен даму
тенденциялары
туралы
жүйелі
білім
алулары қажет;
2
SII
3309
Ақпараттық
қауіпсіздік
және ақпаратты қорғау
Ақпаратты қорғау мәселесі. Ақпараттық
процестерде ақпаратты енгізу, шығару, беру,
өңдеу және сақтауды жүзеге асыру кезінде
ақпаратты қорғау. Ақпаратты қорғаудың
теориялық әдістері.
Ақпаратты қорғаудың практикалық әдістері.
Компьютерлер мен желілердегі ақпаратты
қорғаудың
программалық
құралдары.
Вирустардан
қорғау.
Программалық
қамсыздандыруды рұқсатсыз қолданудан
қорғау.
Ашық
тораптардағы
ақпаратты
қорғау.
Ақпаратты
қорғаудың
криптографиялық құралдары. Ашық кілтті
жүйелер.
Компьютерлік
және
желілік
ақпараттарды қорғауды ұйымдастыру және
техникалық құралдары.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі Ақпаратты қорғау объектілерінің
ерекшеліктерін, олардың
жіктелуін білу, ақпараттық үрдістерді
енгізу, шығару, тасымалдау, өңдеу және
сақтауды іске асыруда ақпаратты қорғау
әдістері мен құралдары туралы түсінігі
болуы керек;
Істей
білуі
Ақпараттық
жүйелерді
тиімділеу үшін ақпаратты қорғау
құралдарын
қолдану
бойынша
нақты
есептерді қоя және шеше білуі қажет;
Іскерлік дағдылануы Қорғау жүйелерін,
ДЭЕМ-ді рұқсатсыз қолданудан және
вирустардан қорғау жүйелерін қолдана
білуі керек.
ABK
A330
9
Ақпаратты
бұзу
және
қорғау әдістері
Курсының
мақсаты
–
компьютерлік
желілерде
және
жүйелерде
ақпаратты
қорғаудың
негізгі
принциптеріне
студенттерді
оқыту,
және
ақпараттың
қауіпсіздігін қамтамасыздандыру
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі Ақпаратты қорғау объектілерінің
ерекшеліктерін, олардың жіктелуін білу,
ақпараттық үрдістерді енгізу, шығару,
тасымалдау, өңдеу және сақтауды іске
асыруда ақпаратты қорғау әдістері мен
құралдары туралы түсінігі болуы керек;
Істей
білуі
Ақпараттық
жүйелерді
тиімділеу
үшін
ақпаратты
қорғау
құралдарын
қолдану
бойынша
нақты
есептерді қоя және шеше білуі қажет;
Іскерлік дағдылануы Қорғау жүйелерін,
ДЭЕМ-ді рұқсатсыз қолданудан және
вирустардан қорғау жүйелерін қолдана
білуі керек.
KTK
A330
9
Компьютерлік
терроризмнен
қорғау
әдістері
Компьютерлік терроризмнен қорғау әдістері
мәселесі. Ақпаратты қорғаудың теориялық
әдістері.
Ақпаратты қорғаудың практикалық әдістері.
Компьютерлер мен желілердегі ақпаратты
қорғаудың
программалық
құралдары.
Ақпаратты
қорғаудың
криптографиялық
құралдары.
Ашық
кілтті
жүйелер.
Компьютерлік және желілік ақпараттарды
қорғауды ұйымдастыру және техникалық
құралдары.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі Ақпаратты қорғау объектілерінің
ерекшеліктерін, олардың жіктелуін білу,
ақпараттық үрдістерді енгізу, шығару,
тасымалдау, өңдеу және сақтауды іске
асыруда ақпаратты қорғау әдістері мен
құралдары туралы түсінігі болуы керек;
Істей
білуі
Ақпараттық
жүйелерді
тиімділеу
үшін
ақпаратты
қорғау
құралдарын
қолдану
бойынша
нақты
есептерді қоя және шеше білуі қажет;
Іскерлік дағдылануы Қорғау жүйелерін,
ДЭЕМ-ді рұқсатсыз қолданудан және
вирустардан қорғау жүйелерін қолдана
білуі керек.
3 RBD
3310
МҚ тарату
МҚ туралы түсінік. МҚ архитектурасы.
Қатынастар ұғымы. МҚ принциптері.Sql
сұраныстар
тілі.
Статикалық
және
динамикалық сұраныстар.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі: мәліметтер қоры жүйесі және білімі;
мәліметтер
банкі
және
сөздігі;
программалау тілі; объектілі-бағдарланған
программалау.
Істейбілуі:
мәліметтердің
үлестірілген
архитектуралы МҚБЖ–мен жұмыс істеу
жолдарын
үйрену;
мәліметтер
қорын
басқару
жүйесін
басқару
және
администрлеу жабдықтарымен тасысу; МҚ
интегралдық және сілтемелік бүтіндігін.
Іскерлік дағдылануы: серверлік қосымша
құра білуге; клиенттік қосымша құра
білуге; МҚ жүйелік басқаруды өңдеуді
үйренуге.
RBD
3310
Реляциялық МҚ
Мәліметтер қоры. Мәліметтер қорының
түрлері.
Мәліметтер
қорын
басқару
жүйелері. Кесте құру принципі. Өрістер.
Басты кілт арқылы байланыстыру. Кез
келген
өріс
арқылы
байланыстыру.
Сұрыптау.
Сүзгіден
өткізу.
Іздеу
мүмкіндіктері. Тілдің синтаксисі. Негізгі
операторлары.
SQL
сұраныстар
тілі.
Сұраныстар
құру.
Жазылу
синтаксисі.
Элементтері.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі: мәліметтер қоры жүйесі және білімі;
мәліметтер
банкі
және
сөздігі;
программалау тілі; объектілі-бағдарланған
программалау.
Істей білуі: мәліметтердің үлестірілген
архитектуралы МҚБЖ–мен жұмыс істеу
жолдарын
үйрену;
мәліметтер
қорын
басқару
жүйесін
басқару
және
администрлеу жабдықтарымен тасысу; МҚ
интегралдық және сілтемелік бүтіндігін.
Іскерлік дағдылануы: серверлік қосымша
құра білуге; клиенттік қосымша құра
білуге; МҚ жүйелік басқаруды өңдеуді
үйренуге.
KIS
3310
Корпоративтік АЖ
Ақпарат туралы басты түсініктер.
Ақпараттың қажет болуы. Ақпаратты
анықтау. Экономикалық ақпаратты түсіну.
Ақпараттық жүйе түсінігі, экономикадағы
ақпараттық
жүйелер.
Экономикалық
ақпараттық
жүйесінің
түсінігіэкономикадағы ақпараттық жүйе.
Фирма туралы түсінік. Фирманың басты
компоненттері.
Кәсіпорындағы
ақпарат
жүйесі несімен пайдалы. Ақпарат жүйесінің
өсу деңгейі. Процесс, ақпараттық жүйенің
қамтамасыз ету ету жұмысы. Ақпараттық
жүйенің негізгі қасиеттері. Артықшылық
ақпарат жүйесін басқару және бизнеске
енгізу
артықшылығы.Ақпарат
жүйесінің
құрылысы.
Ақпараттық
жүйесінің
классификациясының
белгілі
бір
құрылысының
түсінігі.
Ақпараттың
қамтамасыз ету мінездемесі.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі Күрделі жүйелерді жобалау әдістерін
білу;
Істей білуі: Ақпартық жүйелерді және
жабдықтардың жұмыс істеуін талдау;
Іскерлік
дағдылануы:Жүйенің
жұмыс
жасауын талдау және оны енгізу
4 YaPS
QL
3311
SQL, JAVA программалау
тілдері
Java тілі және архитектурасы. Java тілі және
архитектурасы. Java жобасының негізі және
архивы.
Сенімділік
және
кауіпсіздігі.
Архитектурадан
тәуелсіздік
және
шыдамдылық.
Өнімділігі.
Айнымалылар
типтері және оларды хабарлау. Сандық
мәндерді жолдыққа көшіру. Логикалық
өрнектерді құру және жолдық өрнектерді
есептеу. Java Script-тегі операторлар. Java
Script-тің математикалық операторларының
түрлері. Логикалық өрнектерді құру және
жолдық өрнектерді есептеу. If, if . . . else
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
Білуі: мәліметтер қоры жүйесі және білімі;
Си,
С++
программалау
тілі;
HTML
гипертекстік тілі;
Істей білуі:
SQL
және
Java
программалаудың
технологияларын,
ұйымдастыру
және
қызмет
ету
принциптерін
меңгеру;
Интернет
ортасындағы
қосымшаларды
жобалау әдістері білу; мәліметтердің
үлестірілген архитектуралы МҚБЖ–мен
жұмыс істеу жолдарын үйрену;
мәліметтер қорын басқару жүйесін басқару
операторлары, switch конструкциясы for
цикл операторын пайдалану. While цикл
операторы. break, continue операторлары.
Массивтерді
хабарлау.
Массивтерді
сұрыптау әдістері. Функцияларды хабарлау
және шақыру. SQL тілі. Transact-SQL тілінің
негіздері. SQL тілінің стандарты. SQL
тілінің диалектісі. Жүйелі каталог. DML
және DDL жиын астылары. Үлгіні өндеу.
Деректер базасын құру. Кестені құру.
Курсорлар.
SQL
сценариилер.
SQL
сценариимен шешілетін міндеттер.
ютерлік графика
және
администрлеу
жабдықтарымен
тасысу.
Іскерлік дағдылануы:
HTML
құжаттарына
JavaScript
операторларын енгізуді ұйымдастыруды
меңгеру.
Қолданушымен
диалог
ұйымдастырумен
таныстыру;Фреймдер
ұғымын
білу,
оларды
орналастыру
әдістерін оқып үйрену;
Web-беттегі
визуальды
объектілердің
мүмкіндіктерін
үйрену.МҚ
жүйелік
басқаруды өңдеуді үйрену.
OGP
DG33
11
OpenGLбойынша
программалау
дыбысы
және графигі
OpenGL
негізгі
мүмкіншіліктеріСинтаксистің ерекшеліктері
мен архитектурасы. Консольді қосымшаның
құрылымы.
Open
GL
төбелері
мен
примитивтері. Төбе массивтері. Open GL –де
проекция мен координаттарды түрлендіру
Түр түрлендірулері. Проекциялар. Шығыс
аймағы.Open GL –де жарықтану және
материалдарМатериал қасиеті. Жарықтану
моделі. Текстуралар.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі:Open GL-ді компьютерлік графика
есептерінің
математикалық
және
алгоритмдік негіздерімен жүйелі түрде
таныстыру.
Істей білуіOpenGL кітапханаларын құру.
Іскерлік
дағдылануыОpen
GL-ді
графикалық есептерді шешуді дұрыс қоя
білуге; шешу әдістерін таңдап, шешу
алгоритмін құра білулері; алгоритмдер
құрудың маңызды амалдары мен әдістерін,
оларды формальді сипаттау және орындау
тәсілдерін білуге тиіс.
PP33
11
Рaradox программалау
Курстан
студенттер
информатика
саласындағы дайындық деңгейлерін
жоғарылатады. Web-құжаттармен жұмыс
жасау
іскерліктерін
меңгеріп,
программалаудың және скриптерді жазу
дағдыларын
қалыптастырады,
Рaradox
тілінде программалауды меңгеру.
3
Информатика,
Алгоритмдеу және
берілгендер
құрылымы,
офистік
программалау,
мультимедиялық
технология,
офистік
программалау,
жаңа ақпараттық
технология,компь
ютерлік графика
Білуі:Paradox-та деректер базасын құру
Істей білуі: Paradox-та деректер базасымен
жұмыс жасау.
Іскерлік дағдылануы: деректердің негізгі
модельдерінің принциптерін құру және
олардың қазіргі кездегі деректер базасын
басқару жүйесінде қолдану.
5В060200-«Информатика» мамандығы сырттай бөлім, 1 курс /2 жылдық оқу бағдарлама/, орыс бөлімі
№
Код
Наименование
дисциплины
Краткое описание курса
Кол.
кред
Пререквизиттер
Постреквизиттер
Результаты обучения
Цикл базовых дисциплин
1
AFOP
1209
Анализ функций
одной
Множество,функции.Теория пределов. Непрерывные
функции.Дифференциалы
и
производные.Неопределенный,
определенный
интегралы.Множество,
функции:
сведения
омножествах. Отображение и функции.Основное
свойство
и
признакисуществования
порядка.
Вронский
инижний
предлог.
Непрерывные
функцииЛокальные
свойства.
Монотонные.Непрерывность
элементарных
функций.Дифференциалы
и
производные.
Дифференцируемость,
производные
в
точке.Геометрический
смысл.
Производные
идифференциалы
высших
порядков.Свойства
интегралов. Методыинтегрирования. Приложения.
3
Математический
анализ,
аналитическая
геометрия и
линейная алгебра
Дискертная
математика,
дифференцильные
уравнения, анализ
функции многих
переменных
Знать:важнейшие понятия, лежащие в
основе курса высшей математики.
Уметь:применятьматематические
знанияпри решении прикладных задач
.
Навыки:Владеть
практическими
навыками
при
математическом
моделировании
технических
процессов.
DI
1209
Дифференциально
е исчисление
Определения производной. Понятие дифференциала.
Примеры вычисления производной по определению
Дифференцируемость
функций.
Связь
между
непрерывностью и дифференцируемостью. Таблица
производных. Производная суммы, произведения,
дроби. Производная сложной функции. Производная
обратной функции. Производные высших порядков.
Теорема Ферма. Теорема Ролля. Теорема Коши.
Теорема Лагранжа. Правило Лопиталя. Формула
Тейлора для многочлена Разложение Тейлора.
Остаточный член в форме Лагранжа. Понятие о
монотонных
функциях.
Необходимое
условие
возрастания,
убывания
функции.
Достаточное
условие возрастания, убывания функции. Понятие
экстремума
функции
Необходимые
условия
экстремума.
Достаточные
условия
экстремума.
Нахождение наибольшего и наименьшего значения
функции
на
отрезке.
Понятие
выпуклости,
вогнутости графика функции. Точки перегиба.
Достаточный
признак
выпуклости,
вогнутости.
Достаточный
признак
существования
точки
перегиба. Необходимое условие существования
точки
перегиба.
Понятие
асимптоты
графика
функции.
3
Математический
анализ,
аналитическая
геометрия и
линейная алгебра
Дискертная
математика,
дифференцильные
уравнения, анализ
функции многих
переменных
Знать:важнейшие понятия, лежащие в
основе курса высшей математики.
Уметь:применятьматематические
знанияпри решении прикладных задач
.
Навыки:Владеть
практическими
навыками
при
математическом
моделировании
технических
процессов.
II
1209
Интегральное
исчисление
Понятие
первообразной
функции.
Теорема
о
существовании первообразной функции. Понятие
неопределенного
интеграла.
Свойства
неопределенных интегралов. Таблица интегралов.
Интегрирование
методом
разложения.
Интегрирование
методом
замены
переменной.
Интегрирование
по
частям.
Частные
приемы
интегрирования некоторых выражений. Понятие о
«неберущихся» интегралах. Понятие определенного
интеграла.
Свойства
определенного
интеграла.
Определенный интеграл с переменным верхним
пределом. Формула Ньютона-Лейбница. Замена
переменной
в
определенном
интеграле.
Интегрирование
по
частям
в
определенном
интеграле.
3
Математический
анализ,
аналитическая
геометрия и
линейная алгебра
Дискертная
математика,
дифференцильные
уравнения, анализ
функции многих
переменных
Знать:важнейшие понятия, лежащие в
основе курса высшей математики.
Уметь:применятьматематические
знанияпри решении прикладных задач
.
Навыки:Владеть
практическими
навыками
при
математическом
моделировании
технических
процессов.
2
TVMS
1212
Теория
вероятностей и
математическая
статистика
Пространства
элементарных
событий.
Алгебра
событий.
Аксиоматическое
и
классическое
определения вероятности. Теоремы сложения и
умножения
вероятностей.
Формула
полной
вероятности. Формула Байеса. Формула Бернулли.
Асимптотические формулы вычисления
вероятностей. Приближенные формулы
Лапласа и Пуассона. Случайная величина.
Численные характеристики дискретных
случайных величин. Функция
распределения случайной величины,
свойства. Нормальный закон распределения
вероятностей случайной величины.
Численная характеристика непрерывной
случайной величины. Закон больших чисел.
Неравенства Чебышева. Выборочный
метод. Проверка статистических гипотез.
Математический
анализ,
аналитическая
геометрия и
линейная алгебра
Дискертная
математика,
дифференцильны
е уравнения,
анализ функции
многих
переменных
Знать:важнейшие понятия, лежащие в
основе курса высшей математики.
Уметь:применятьматематические
знанияпри решении прикладных задач
.
Навыки:Владеть
практическими
навыками
при
математическом
моделировании
технических
процессов.
OU
1212
Оптимальное
управление
История развития теории оптимального управления.
Классическая изопериметрическая задача. Задача
Дидоны. Задача Евклида. Основные
понятия,
связанные с экстремальными задачами. Принцип
Лагранжа исследования задач с ограничениями.
Общий случай применения принципа Лагранжа.
Основные понятия и теоремы функционального
анализа. Основы дифференциального исчисления в
линейных нормированных пространствах. Гладкие
элементарные
задачи
(постановка
гладкой
элементарной задачи, правило решения, теорема
Ферма,
элементарная
задача
линейного
программирования). Гладкая конечномерная задача с
2
Математический
анализ,
аналитическая
геометрия и
линейная алгебра
Дискертная
математика,
дифференцильны
е уравнения,
анализ функции
многих
переменных
Знать:важнейшие понятия, лежащие в
основе курса высшей математики.
Уметь:применятьматематические
знанияпри решении прикладных задач
.
Навыки:Владеть
практическими
навыками
при
математическом
моделировании
технических
процессов.
ограничениями типа равенств (постановка задачи,
правило решения, правило множителей Лагранжа).
Гладкая задача с равенствами и неравенствами –
общий случай (постановка задачи, правило решения,
правило
множителей
Лагранжа).
Необходимые
условия высших порядков. Достаточные условия.
(Одномерный случай в задаче без ограничений,
задача без ограничений (общий случай), гладкая
задача с ограничениями типа равенств). Элементы
выпуклого анализа. Выпуклые задачи (постановка
задачи, правило решения, теорема Куна – Такера).
Основные понятия и определения. Постановка
задачи. Принцип максимума Понтрягина.
ML
1212
Математическая
логика
Логика
высказываний.
Формулы
логики
высказываний и интерпретация. Выполнимость.
Логическое следствие и равносильность формул.
Законы логики высказываний. Нормальные формы.
Выводимость, аксиоматика Гильбертовского типа.
Теорема дедукции. Связь между выводимостью и
выполнимостью, теорема о полноте и её следствия.
Логика предикатов. Формулы логики предикатов,
алгебраические системы и модели, интерпретация.
Логическое следствие и равносильность формул
логики предикатоа. Законы логики предикатов.
Нормальные
формы,
ограниченные
кванторы.
Выводимость в логике предикатов, аксиоматика.
Связь между выводимостью и выполнимостью,
теорема о полноте и её следствия. Теорема
компактности.
Аксиоматизируемые
теории
и
аксиоматизируемые классы. Конечная и бесконечная
аксиоматизируемость. Полнота и категоричность
теорий. Элементарная эквивалентность моделей.
Выразимость
и
формульные
предикаты.
Невыразимость
транзитивного
замыкания.
Полиномиальные запросы, расширение языка логики
предикатов
оператором
неподвижной
точки,
выразимость полиномиальных запросов.
2
Математический
анализ,
аналитическая
геометрия и
линейная алгебра
Дискертная
математика,
дифференцильны
е уравнения,
анализ функции
многих
переменных
Знать:важнейшие понятия, лежащие в
основе курса высшей математики.
Уметь:применятьматематические
знанияпри решении прикладных задач
.
Навыки:Владеть
практическими
навыками
при
математическом
моделировании
технических
процессов.
3
ChM
1212
Численные
методы
Погрешности
вычислений.
Понятие
сложности
алгоритма. Интегрированные пакеты программ:
MATLAB, MAPLE. Прямые методы решения
линейных систем уравнений. Итерационные методы
решения линейных систем уравнений. Полная
проблема
собственных
чисел
и
собственных
векторов.
Задачи
среднеквадратического
приближения. Задача равномерного приближения.
3
Математический
анализ,
диффернециальные
уравнения,
схемотехника
Дискретная
математика,
исследование
операции, теория
языков и
автоматов
Знать:важнейшие
понятия
об
основных методах, приемах решения
математических задач прикладного
характера,
их
простейшими
реализациями
на
компьютере;
промежуточные
математические
выкладки
и
расчеты;
основные
понятия и определения матричного и
Задачи интерполяции и квадратурные формулы.
Построение гладких сплайнов. Численные методы
решения дифференциальных уравнений и систем
дифференциальных уравнений.
векторногоанализа, математического
анализа,
теории
вероятностей
и
математической статистики, формулы
интегрального и дифференциального
исчисления, структуру современного
персонального
компьютера,
виды
операционных систем и их основные
команды (Mathcad)
Уметь: Применять основные методы
и приемы матричного и векторного
анализа, математического анализа,
теории
вероятностей
и
математической
статистики
для
решения
практических
задач,
графически
их
оформлять,
анализировать
и
делать
выводы,
управлять
работой
компьютера,
пользоваться
прикладными
программными пакетами.
Навыки:
Владение
численными
методами,
понятиями
теории
вероятностей,
математической
статистики.
Умение
применять
программноеобеспечение на основе
пакетов Maple, MathCAD к решению
прикладных задач.
VM121
2
Вычислительная
математика
Дисциплина нацелена на подготовку студентов к
разработке
компьютерно-ориентированных
вычислительных
алгоритмов
решения
задач,
возникающих при математическом моделировании
реального мира. При этом моного внимания
уделяется основным видам численных методов и
основам теории разностных схем. Предполагается
формирование устойчивых навыков математического
моделирования
с
использованием
ЭВМ,
приобретение опыта проведения вычислительных
экспериментов. Элементы теории погрешностей.
Решение нелинейных уравнений итерационными
методами.Численное решение систем линейных
алгебраическиуравнений.Интерполирование
функций.Численное
дифференцирование.
Численноеинтегрирование.Численное
решение
задачи Коши: разностные схемы Рунге-Кутта,
разностные схемы Адамса.
3
Математический
анализ,
диффернециальные
уравнения,
схемотехника
Дискретная
математика,
исследование
операции, теория
языков и
автоматов
Знать:важнейшие
понятия
об
основных методах, приемах решения
математических задач прикладного
характера,
их
простейшими
реализациями
на
компьютере;
промежуточные
математические
выкладки
и
расчеты;
основные
понятия и определения матричного и
векторного анализа, математического
анализа,
теории
вероятностей
и
математической статистики, формулы
интегрального и дифференциального
исчисления, структуру современного
персонального
компьютера,
виды
операционных систем и их основные
команды (Mathcad)
Уметь: Применять основные методы
и приемы матричного и векторного
анализа, математического анализа,
теории
вероятностей
и
математической
статистики
для
решения
практических
задач,
графически
их
оформлять,
анализировать
и
делать
выводы,
управлять
работой
компьютера,
пользоваться
прикладными
программными пакетами.
Навыки:
Владение
численными
методами,
понятиями
теории
вероятностей,
математической
статистики.
Умение
применять
программноеобеспечение на основе
пакетов Maple, MathCAD к решению
прикладных задач.
VI
1211
Вариационное
исчисление
С
помощью
большого
числа
специально
подобранных задач дать углубленное изложение
основных математических моделей и методов,
необходимых
для
определения
характеристик
продолжительности жизни, разовых и периодических
премий, страховых надбавок, резервов и т.д. для
различных видов страхования и пенсионных схем
3
Математический
анализ,
диффернециальные
уравнения,
схемотехника
Дискретная
математика,
исследование
операции, теория
языков и
автоматов
Знать:важнейшие
понятия
об
основных методах, приемах решения
математических задач прикладного
характера,
их
простейшими
реализациями
на
компьютере;
промежуточные
математические
выкладки
и
расчеты;
основные
понятия и определения матричного и
векторного анализа, математического
анализа,
теории
вероятностей
и
математической статистики, формулы
интегрального и дифференциального
исчисления, структуру современного
персонального
компьютера,
виды
операционных систем и их основные
команды (Mathcad)
Уметь: Применять основные методы
и приемы матричного и векторного
анализа, математического анализа,
теории
вероятностей
и
математической
статистики
для
решения
практических
задач,
графически
их
оформлять,
анализировать
и
делать
выводы,
управлять
работой
компьютера,
пользоваться
прикладными
программными пакетами.
Навыки:
Владение
численными
методами,
понятиями
теории
вероятностей,
математической
статистики.
Умение
применять
программноеобеспечение на основе
пакетов Maple, MathCAD к решению
прикладных задач.
Достарыңызбен бөлісу: |