Аннотация рабочей программы дисциплины - umotnas.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Аннотация рабочей программы дисциплины 1 26.61kb.
Аннотация рабочей программы дисциплины 1 21.79kb.
Аннотация рабочей программы дисциплины 1 20.12kb.
Аннотация рабочей программы дисциплины 1 10.84kb.
Аннотация рабочей программы дисциплины 1 9.7kb.
Аннотация рабочей программы дисциплины 1 10.87kb.
Аннотация рабочей программы дисциплины 1 23.11kb.
Аннотация рабочей программы дисциплины 1 23.98kb.
Аннотация рабочей программы дисциплины 1 36.13kb.
Аннотация рабочей программы дисциплины 1 54.34kb.
Приложение 1 к рабочей программе дисциплины «Общая и неорганическая... 1 15.71kb.
Реферат М. Вебер " Социология политики в работах М. Вебера" 1 101.23kb.
Викторина для любознательных: «Занимательная биология» 1 9.92kb.

Аннотация рабочей программы дисциплины - страница №1/1

АННОТАЦИЯ РАБОЧЕЙ ПРОГРАММЫ ДИСЦИПЛИНЫ

Синтез алгоритмов


Место дисциплины в структуре ООП

Принципы построения курса:

Курс входит в профессиональный цикл ООП 010300 «Фундаментальная информатика и информационные технологии»

В курсе выделено несколько разделов / тем:

История синтеза программ и алгоритмов. Виды синтеза программ.  Дедуктивный синтез. Индуктивный синтез. Трансформационный синтез. Основы дедуктивного синтеза. Цикл дедуктивного синтеза программ. Формальная постановка задачи. Исчисление. Система вывода решения задачи из постановки. Логические основы дедуктивного синтеза программ. Понятие интуиционистского исчисления. Цикл дедуктивного алгоритмического синтеза с формально-логической точки зрения. Формальная теория. Постановка задачи как конструктивно понимаемая формула. Интуиционистское формальное доказательство. Система автоматического или автоматизированного поиска вывода. Автоматическое извлечение алгоритма из интуиционистского формального доказательства. Формулы как постановки задач программирования. Логические конструкции как постановки сложных задач. Элементарные конструктивные задачи. Математические основы программирования и функциональный подход. Синтез полиномиальных программ. Язык данных для полиномиального программирования. Переменные и выражения. Формальное описание синтаксиса ядра языка. Семантика ядра языка. Полиномиальная временная сложность ядра языка. Расширение языка, подпрограммы, типы значений. Формальное определение синтаксиса расширения языка с типами. Контекстные условия типы выражений и допустимые типы. Семантика языка. Полиномиальная временная сложность языка. Язык формул для записи задач полиномиального программирования. Правила вывода и их реализация.
Компетенции обучающегося,

формируемые в результате освоения дисциплины (модуля)

- способность разрабатывать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также методы и механизмы оценки и анализа функционирования средств и систем информационных технологий; способность разработки проектной и программной документации, удовлетворяющей нормативным требованиям (ПК-3);


- понимание концепций, базовых алгоритмов, принципов разработки и функционирования современных операционных систем (ПК-20);

- способность решать задачи производственной и технологической деятельности на высоком профессиональном уровне, включая: разработку алгоритмических и программных решений в области системного и прикладного программирования; разработку математических, информационных и имитационных моделей по тематике выполняемых опытно-конструкторских работ и проектов; создание информационных ресурсов глобальных сетей, образовательного контента, прикладных баз данных; разработку тестов и средств тестирования систем и средств на соответствие стандартам и исходным требованиям; разработку эргономичных человеко-машинных интерфейсов в соответствии с профилизацией (ПК-28);

способность разрабатывать, оценивать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также реализовывать методы и механизмы оценки и анализа функционирования средств и систем информационных технологий; способность разработки проектной и программной документации, удовлетворяющей нормативным требованиям (ПК-29).