| Перечень формируемых компетенций |
| ПК1. определение общих форм, закономерностей, инструментальных средств для данной дисциплины (ПK-1) |
| ПК7. умение грамотно пользоваться языком предметной области (ПK-7) |
| ОК10. фундаментальная подготовка по основам профессиональных знаний (OK-10) |
| ПК12. понимание того, что фундаментальное математическое знание является основой компьютерных наук (ПK-12) |
| ПК14. контекстная обработка информации (ПK-14) |
| ПК20. знание проблемы современной информатики, её категории и связи с другими научными дисциплинами (ПK-20) |
| ПК30. знание архитектуры, алгоритмов функционирования систем реального времени и методов проектирования их программного обеспечения (ПK-30) |
| ПК33. навыки разработки моделирующих алгоритмов и реализации их на базе языков и пакетов прикладных программ моделирования (ПK-33) |
| ПК34. навыки использования основных моделей информационных технологий и способов их применения для решения задач в предметных областях (ПK-34) |
| Перечень формируемых компетенций НГТУ |
| ОНК.108. фундаментальная подготовка по основам профессиональных знаний (OK-10) |
| ОПК.1. определение общих форм, закономерностей, инструментальных средств для данной дисциплины (ПK-1) |
| ОПК.12. понимание того, что фундаментальное математическое знание является основой компьютерных наук (ПK-12) |
| ОПК.14. контекстная обработка информации (ПK-14) |
| ОПК.7. умение грамотно пользоваться языком предметной области (ПK-7) |
| СК.20. знание проблемы современной информатики, её категории и связи с другими научными дисциплинами (ПK-20) |
| СК.30. знание архитектуры, алгоритмов функционирования систем реального времени и методов проектирования их программного обеспечения (ПK-30) |
| СК.33. навыки разработки моделирующих алгоритмов и реализации их на базе языков и пакетов прикладных программ моделирования (ПK-33) |
| СК.34. навыки использования основных моделей информационных технологий и способов их применения для решения задач в предметных областях (ПK-34) |
| Перечень формируемых знаний и умений НГТУ |
| ОНК.108.З-1.66. Знать фундаментальные основы теории вычислительных процессов и структур |
| ОНК.108.У67. Уметь представлять задачу на программирование в виде формализованного вычислительного процесса |
| ОНК.108.У68. Владеть навыками верификации программ |
| ОПК.1.З-1.59. Знать основные модели вычислительных процессов |
| ОПК.1.У60. Уметь выбирать модель вычислительного процесса, исходя из постановки задачи на программирование |
| ОПК.1.У61. Владеть достаточным набором знаний о моделях вычислительных процессов |
| ОПК.12.З-1.8. Знать способы формализации задачи |
| ОПК.12.У10. Владеть технологией построения программы как вычислительного процесса |
| ОПК.12.У9. Уметь верифицировать программу |
| ОПК.14.З-1.8. Знать основы построение конечных автоматов как формальной теории |
| ОПК.14.У10. Владеть навыками анализа формальных моделей вычислений |
| ОПК.14.У9. Уметь формализовывать новые модели вычислительных процессов |
| ОПК.7.З-1.15. Знать формальные языки и грамматики |
| ОПК.7.У16. Уметь описывать с помощью формальных языков конечные автоматы |
| СК.20.З-1.44. Знать фундаментальные основы теории построения программ |
| СК.20.У47. Уметь записывать задачу в синтаксических или семантических формах, интерпретировать каждую форму представления задачи |
| СК.20.У48. Владеть технологией формализованного описания задачи |
| СК.30.З-1.4. Знать основные понятия алгоритмической сложности |
| СК.30.У5. Уметь оценивать сложность алгоритма решения задачи |
| СК.30.У6. Владеть технологией доказательства алгоритмической сложности алгоритма |
| СК.33.З-1.18. Знать формальные способы описания алгоритма |
| СК.33.У19. Уметь доказывать достаточную и полную правильности алгоритма |
| СК.33.У20. Уметь технологией оценки алгоритмической сложности, формального описания задачи и верификации программы |
| СК.34.З-1.10. Знать формальные модели описания алгоритмов |
| СК.34.У12. Уметь доказывать правильность алгоритма в рамках модели |
| СК.34.У13. Владеть технологией оценки алгоритмической сложности, формального описания алгоритма и его верификации |
Размещение информации на странице:
Данные из
Информационной системы
