нормативные курсы:


Нормативные курсы:


Программирование(Инф.)
Включает в себя рассмотрение базовых понятий и методов процедурного и объектно-ориентированного программирования.
Нормативный курс: 3-й, 4-й семестры, 10 кредитов.
Лектор: доцент Винник Вадим Юрьевич.
Цель: овладение базовыми знаниями по основам программирования, базовыми структурами данных, компьютерными алгоритмами, приобретение практических навыков процедурного и объектно-ориентированного программирования, овладение несколькими языками программирования.
Предварительные требования: знание основ элементарной математики, дискретной математики и алгебры.

Теория алгоритмов (Инф.)
Включает в себя изучение базовых понятий теории алгоритмов, рассмотрение формальных моделей алгоритмов и алгоритмически исчисляемых функций, вопросов вычислимости, разрешимости и неразрешимости массовых проблем.
Нормативный курс: 4-й семестр, 5 кредитов.
Лектор: доцент Шкильняк Степан Степанович.
Цель: усвоение базовых знаний по основам теории алгоритмов. Теория алгоритмов является теоретическим фундаментом программирования и информатики. Понятия и методы теории алгоритмов успешно используются во многих разделах науки. Аппарат теории алгоритмов необходим для адекватного моделирования предметных областей, создания современных программных и информационных систем.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики, алгебры и математической логики. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры, основы математической логики.

.
Математическая логика (Инф.)
Включает в себя изучение базовых понятий математической логики, рассмотрение семантических моделей логики и формально-аксиоматических логических систем.
Нормативный курс: 3-й семестр, 5 кредитов.
Лектор: доцент Шкильняк Степан Степанович.
Цель: усвоение базовых знаний по основам математической логики. В общемировоззренческих аспекте, понятия и методы математической логики необходимые для обоснования правильности тех или иных способов получения истинного знания. В прикладном аспекте, аппарат математической логики необходим для адекватного моделирования различных предметных областей, создание современных программных и информационных систем.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики и алгебры. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры.

Системное программирование(Инф.)
Включает в себя рассмотрение теоретических аспектов проектирования и создания языковых процессоров, изучение соответствующих классов грамматик, овладение алгоритмов и их Программированиес целью получения практических навыков реализации языковых процессоров.
Нормативный курс: 5-й и 6-й семестры, 7 кредитов.
Лектор: доцент Волохов Виктор Николаевич.
Цель: овладеть теорией, методиками и получить опыта по проектированию и программированию языковых процессоров (трансляторов и интерпретаторов языков программирования).
Необходимые условия: студент должен знать основы дискретной математики, теории программирования, знать языков программирования Pascal и C, а также основы алгебры и математического анализа.

Системное программирование(СА, ПМ)
Включает в себя рассмотрение теоретических аспектов проектирования и создания операционных систем, речевых процессоров, изучение соответствующих классов грамматик, овладение алгоритмов и их Программированиес целью получения практических навыков реализации языковых процессоров.
Нормативный курс: 7-й семестр, 4 кредита.
Лектор: доцент Волохов Виктор Николаевич.
Цель: овладение теорией, методиками и получение опыта по проектированию и программированию операционных систем, речевых процессоров (трансляторов и интерпретаторов языков программирования).
Необходимые условия: студент должен знать основы дискретной математики, теории программирования, знание языков программирования С и C + + а также основы алгебры и математического анализа.

Системное программирование и Операционные системы (ПИ)
Включает в себя рассмотрение базовых понятий, компонент ОС, управление ресурсами ОС, трансляторы с языков программирования, параллельное Программированиеи методология разработки параллельных программ.
Нормативный курс: 5-й и 6-й семестры, 8 кредитов.
Лектор: доцент Панченко Тарас Владимирович.
Цель: овладение базовых знаний по основам строения операционных систем, управления ресурсами и их распределением, построения трансляторов языков программирования и основ параллельного программирования, в частности, многопроцессорных систем.
Предварительные требования: необходимы знания основ программирования на языке С, элементарной математики, алгебры, дискретной математики, математической логики, теории алгоритмов.

Теория программирования (Инф.)
Включает в себя изучение основных (базовых) понятий теории программирования, рассмотрение основных аспектов программ (семантика и синтаксис), их формализацию и исследования.
Нормативный курс: 5-й семестр, 5 кредитов.
Лектор: профессор Никитченко Николай Степанович.
Цель: усвоение основных концепций, принципов и понятий современного, в частности композиционного, программирование. В общемировоззренческих аспекте, понятия и методы теории программирования необходимые для обоснования и формализации способов разработки правильных и эффективных программ. В прикладном аспекте, аппарат теории программирования необходим для адекватного моделирования языков спецификаций и программирования и использования построенных моделей для создания современных программных и информационных систем высокого качества.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики, алгебры, математической логики и теории алгоритмов. Студент должен знать основы теории множеств, основы общей алгебры, теории алгоритмов, пропозициональной логики и логики предикатов.

Теория алгоритмов и Математическая логика (СА)
Включает в себя изучение базовых понятий математической логики и теории алгоритмов, рассмотрение семантических моделей логики и формально-аксиоматических логических систем, формальных моделей алгоритмов и алгоритмически исчисляемых функций.
Нормативный курс: 6-й семестр, 4 кредита.
Лектор: доцент Винник Вадим Юрьевич.
Цель: усвоение базовых знаний по основам математической логики и теории алгоритмов. Понятия и методы математической логики необходимые для обоснования правильности тех или иных способов получения истинного знания, Теория алгоритмов является теоретическим фундаментом программирования. Аппарат математической логики и теории алгоритмов необходим для адекватного моделирования различных предметных областей, создание современных программных и информационных систем.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики и алгебры. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры.

Теория алгоритмов и Математическая логика (ПМ)
Включает в себя изучение базовых понятий математической логики и теории алгоритмов, рассмотрение семантических моделей логики и формально-аксиоматических логических систем, формальных моделей алгоритмов и алгоритмически исчисляемых функций.
Нормативный курс: 6-й семестр, 6 кредитов.
Лектор: доцент Шкильняк Степан Степанович.
Цель: усвоение базовых знаний по основам математической логики и теории алгоритмов. Понятия и методы математической логики необходимые для обоснования правильности тех или иных способов получения истинного знания, Теория алгоритмов является теоретическим фундаментом программирования. Аппарат математической логики и теории алгоритмов необходим для адекватного моделирования различных предметных областей, создание современных программных и информационных систем.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики и алгебры. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры.

Теория вычислений (Инф.)
Включает в себя рассмотрение и исследование базовых теоретико-множественных конструкций с целью применения их в теории табличных баз данных.
Нормативный курс: 7-й семестр, 4 кредита.
Лектор: профессор Буй Дмитрий Борисович.
Цель: состоит в исследовании теоретико-множественных конструкций полного образа, ограничения, проекции, конфинальности, совместимости, иньективности и операции обобщенного прямого произведения и обобщенного соединения множества функций.
Предварительные требования: необходимы знания основ элементарной математики, основы общей алгебры, теории алгоритмов и теории баз данных. Студент должен уметь выполнять доказательство теоретических утверждений (теорем), использовать результаты общей алгебры, разрабатывать собственные системы управления базами данных.

Технология программирования и создания программных продуктов, методы и средства компьютерных информационных технологий (ПИ)
Включает в себя изучение базовых понятий дисциплины, основных ее положений неформального типа относительно систем обработки информации или АСУ. Он позволяет научить проектировать отдельные компоненты, выбрать их из готовых, создавать структуру будущей системы, их тестировать и проверять на качество.
Нормативный курс: 7-й семестр, 4 кредита.
Лектор: профессор Лаврищева Екатерина Михайловна.
Цель: усвоение знаний по основам создания больших программных систем с использованием процессов жизненного цикла (ЖЦ), начиная с задания требований и заканчивая его сопровождением. Базовым понятием технологии являются базовые простые объекты (модули, компоненты, сервисы и т.д.). Объектами производства являются сложные, целевые программные объекты. Главной проблемой является создание целевых объектов из простых с решением проблем перестройки данных, не соответствующих типу их формальных параметров. Системы общего назначения дают возможность интегрировать различные компоненты, но их реализация зависит от платформы, систем программирования с различных языков программирования (МП) и среды выполнения простых и сложных программных компонентов. Все это порождает необходимость трансформации нерелевантных типов данных этих объектов.
Предварительные требования: необходимы знания основ программирования, современных МП объектно-ориентированного типа, условий соответствующих сред и знаний основ тестирования и трассировки на процессах ЖЦ, а также основ программной инженерии.

Информационные технологии (ПМ)
Включает в себя рассмотрение базовых понятий информационных технологий и методов их разработки.
Нормативный курс: 1-й семестр ОКР специалист, 3 кредита.
Лектор: доцент Бойко Борис Иванович.
Цель: получение знаний по основам применений информационных технологий и овладения навыками программной инженерии, в частности, применение инструментальных средств (с CASE-средствами включительно) в процессе разработки автоматизированных информационных систем различного назначения.
Предварительные требования: необходимы знания основ программирования, баз данных и моделирование сложных систем.

Информационные технологии (ПМ)
Включает в себя рассмотрение базовых понятий информационных технологий и методов их разработки.
Нормативный курс: 1-й семестр ОКР магистр, 3 кредита.
Лектор: доцент Бойко Борис Иванович.
Цель: получение знаний по основам применений информационных технологий и овладения навыками программной инженерии, в частности, применение инструментальных средств (с CASE-средствами включительно) в процессе разработки автоматизированных информационных систем различного назначения.
Предварительные требования: необходимы знания основ программирования, баз данных и моделирование сложных систем.


Информационные технологии (Инф.)

Включает в себя изучение базовых понятий: моделирования программных систем (с использованием языка UML), Инжениринг и реинжениринг программных систем,. NET-и Java-технологий, технологий распределенных систем (COM-, CORBA-, .NET-Remoting, Java-RMI), понятие сервисно-ориентированной архитектуры, в частности, технологии Web-сервисов, Web-фреймворков.
Нормативный курс: 1-й семестр ОКР специалист, 4 кредита.
Лектор: доцент Кузенко Владимир Федорович.
Цель: состоит в получении знаний и овладении навыками использования информационных технологий разработки программных систем, в частности, навыками программной инженерии, применение моделирования, CASE-технологий, в том числе при разработке распределенных программных систем, Web-систем, а также систем с сервисно- ориентированной архитектурой.
Необходимые условия: студент должен знать: основные понятия объектно-ориентированной парадигмы, принципы объектно-ориентированного проектирования и программной инженерии, основные понятия языка UML, стратегию использования UML-диаграмм при моделировании программных систем, основные архитектурные паттерны, основы. NET- и Java-технологий, понятие сервисно-ориентированной архитектуры, парадигму декларативного программирования и его применение в технологиях. NET и Java, понятие сервисно-ориентированной архитектуры, понятие фреймворка. Студент должен уметь: использовать объектно-ориентированный стиль программирования при проектировании программных систем, применять моделирование программных систем на основе UML-диаграмм, разрабатывать распределенные системы с использованием различных технологий (COM-, CORBA-, .NET-Remoting, Java-RMI) , применять сервисно-ориентированную архитектуру, проектировать и разрабатывать Web-системы с использованием современных фреймворков.

Информационные технологии (Инф.)
Включает в себя изучение базовых понятий: моделирования программных систем (с использованием языка UML), Инжениринг и реинжениринг программных систем,. NET-и Java-технологий, технологий распределенных систем (COM-, CORBA-, .NET-Remoting, Java-RMI), понятие сервисно-ориентированной архитектуры, в частности, технологии Web-сервисов, Web-фреймворков.
Нормативный курс: 1-й семестр ОКР магистр, 4 кредита.
Лектор: доцент Кузенко Владимир Федорович
Цель: состоит в получении знаний и овладении навыками использования информационных технологий разработки программных систем, в частности, навыками программной инженерии, применение моделирования, CASE-технологий, в том числе при разработке распределенных программных систем, Web-систем, а также систем с сервисно-ориентированной архитектурой.
Необходимые условия: студент должен знать: основные понятия объектно-ориентированной парадигмы, принципы объектно-ориентированного проектирования и программной инженерии, основные понятия языка UML, стратегию использования UML-диаграмм при моделировании программных систем, основные архитектурные паттерны, основы. NET- и Java-технологий, понятие сервисно-ориентированной архитектуры, парадигму декларативного программирования и его применение в технологиях. NET и Java, понятие сервисно-ориентированной архитектуры, понятие фреймворка. Студент должен уметь: использовать объектно-ориентированный стиль программирования при проектировании программных систем, применять моделирование программных систем на основе UML-диаграмм, разрабатывать распределенные системы с использованием различных технологий (COM-, CORBA-, .NET-Remoting, Java-RMI) , применять сервисно-ориентированную архитектуру, проектировать и разрабатывать Web-системы с использованием современных фреймворков.

Информационные технологии (СИ)
Включает в себя изучение базовых понятий: моделирования программных систем (с использованием языка UML), Инжениринг и реинжениринг программных систем, .NET-и Java-технологий, технологий распределенных систем (COM-, CORBA-, .NET-Remoting, Java-RMI), понятие сервисно-ориентированной архитектуры, в частности, технологии Web-сервисов, Web-фреймворков.
Нормативный курс: 1-й семестр ОКР специалист, 3 кредита.
Лектор: доцент Кузенко Владимир Федорович.
Цель: состоит в получении знаний и овладении навыками использования информационных технологий разработки программных систем, в частности, навыками программной инженерии, применение моделирования, CASE-технологий, в том числе при разработке распределенных программных систем, Web-систем, а также систем с сервисно- ориентированной архитектурой.
Необходимые условия: студент должен знать: основные понятия объектно-ориентированной парадигмы, принципы объектно-ориентированного проектирования и программной инженерии, основные понятия языка UML, стратегию использования UML-диаграмм при моделировании программных систем, основные архитектурные паттерны, основы .NET- и Java-технологий, понятие сервисно-ориентированной архитектуры, парадигму декларативного программирования и его применение в технологиях .NET и Java, понятие сервисно-ориентированной архитектуры, понятие фреймворка. Студент должен уметь: использовать объектно-ориентированный стиль программирования при проектировании программных систем, применять моделирование программных систем на основе UML-диаграмм, разрабатывать распределенные системы с использованием различных технологий (COM-, CORBA-, .NET-Remoting, Java-RMI) , применять сервисно-ориентированную архитектуру, проектировать и разрабатывать Web-системы с использованием современных фреймворков.
4.9. Методы преподавания: занятия проводятся в форме лекций и лабораторных занятий.
5.0. Методы оценки: оценивается по модульно-рейтинговой системе. Результаты учебной деятельности студентов оцениваются по 100-балльной шкале и заканчиваются экзаменом.
5.1. Язык обучения: украинский.
Информационные технологии (СИ)
Включает в себя изучение базовых понятий: моделирования программных систем (с использованием языка UML), Инжениринг и реинжениринг программных систем, .NET-и Java-технологий, технологий распределенных систем (COM-, CORBA-,. NET-Remoting, Java-RMI), понятие сервисно-ориентированной архитектуры, в частности, технологии Web-сервисов, Web-фреймворков.
Нормативный курс: 1-й семестр ОКР магистр, 3 кредита.
Лектор: доцент Кузенко Владимир Федорович.
Цель: состоит в получении знаний и овладении навыками использования информационных технологий разработки программных систем, в частности, навыками программной инженерии, применение моделирования, CASE-технологий, в том числе при разработке распределенных программных систем, Web-систем, а также систем с сервисно- ориентированной архитектурой.
Необходимые условия: студент должен знать: основные понятия объектно-ориентированной парадигмы, принципы объектно-ориентированного проектирования и программной инженерии, основные понятия языка UML, стратегию использования UML-диаграмм при моделировании программных систем, основные архитектурные паттерны, основы .NET- и Java-технологий, понятие сервисно-ориентированной архитектуры, парадигму декларативного программирования и его применение в технологиях .NET и Java, понятие сервисно-ориентированной архитектуры, понятие фреймворка. Студент должен уметь: использовать объектно-ориентированный стиль программирования при проектировании программных систем, применять моделирование программных систем на основе UML-диаграмм, разрабатывать распределенные системы с использованием различных технологий (COM-, CORBA-, .NET-Remoting, Java-RMI) , применять сервисно-ориентированную архитектуру, проектировать и разрабатывать Web-системы с использованием современных фреймворков.

Формальные методы разработки программных систем (Инф.)
Включает в себя изучение основных понятий теории программирования, рассмотрение основных аспектов программ (семантика, вычислимость, генетичность, прагматика) и исследование формальных методов построения программ.
Нормативный курс: 2-й семестр ОКР магистр, 3 кредита.
Лектор: профессор Никитченко Николай Степанович.
Цель: усвоение основных концепций, принципов и понятий современных методов разработки программных систем. В обще-мировоззренческом аспекте, такие понятия и методы необходимы для обоснования и формализации способов разработки правильных и эффективных программ. В прикладном аспекте, такой аппарат необходим для адекватного моделирования языков спецификаций и программирования и использования построенных моделей для создания современных программных и информационных систем высокого качества.
Предварительные требования: необходимы знания основ дискретной математики, алгебры и математической логики. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры, основы математической логики, теории программирования.

Прикладная логика (Инф.)
Включает в себя рассмотрение табличных алгебр, построенных на основе алгебр Кодда, и рассмотрение семантических структур широко распространенной языка SQL.
Нормативный курс: 3-й семестр ОКР магистр, 2 кредита.
Лектор: профессор Буй Дмитрий Борисович.
Цель: заключается в систематическом исследовании и уточнении основных семантических структур реляционного подхода в СУБД.
Предварительные требования: необходимы знания основ элементарной математики, основы теории вычислений и теории баз данных. Студент должен уметь выполнять доведение теоретических утверждений, использовать результаты теории вычислений, оперировать понятиями теории баз данных и разрабатывать собственные системы управления базами данных.

UNIX-подобные Операционные системы (Инф.)
Включает в себя изучение базовых принципов построения и использования операционных систем класса Unix на примере Linux.
Нормативный курс: 1-й семестр ОКР специалист, 3 кредита.
Лектор: доцент Панченко Тарас Владимирович.
Цель: овладение базовых знаний по основам строения операционных систем клона Unix (преимущественно – Linux), особенностей управления ресурсами и их распределения, а также специфики применения, использование и администрирование.
Предварительные требования: необходимы знания основ операционных систем, программирования на языке С, элементарной математики, дискретной математики, математической логики и теории алгоритмов. Желательно знание операционной системы Microsoft Windows или другой.

UNIX-подобные Операционные системы (Инф.)
Включает в себя изучение базовых принципов построения и использования операционных систем класса Unix на примере Linux.
Нормативный курс: 1-й семестр ОКР магистр, 3 кредита.
Лектор: доцент Панченко Тарас Владимирович.
Цель: овладение базовых знаний по основам строения операционных систем клона Unix (преимущественно – Linux), особенностей управления ресурсами и их распределения, а также специфики применения, использование и администрирование.
Предварительные требования: необходимы знания основ операционных систем, программирования на языке С, элементарной математики, дискретной математики, математической логики и теории алгоритмов. Желательно знание операционной системы Microsoft Windows или другой.

Верификация и валидация программных систем (Инф.)
Включает в себя изучение методов проверки правильности и тестирования программ, методов доведения правильности программ. Это делается путем построения моделей программ с последующим доказательством свойства построенных моделей, характеризующих ее правильность. Аппарат верификации и валидации программ используется для доказательства правильности прикладных алгоритмов в различных предметных областях.
Нормативный курс: 3-й семестр ОКР магистр, 3 кредита.
Лектор: профессор Дорошенко Анатолий Ефимович.
Цель: усвоение техники проверки правильности программ путем построения моделей программ с последующим доказательством свойства построенных моделей, характеризующих ее правильность. Определение понятий верификации и валидации программных систем осуществляется с использованием основ математической логики и теории алгоритмов дает необходимые знания для обоснования правильности алгоритмов и является неотъемлемой частью науки программирования. Аппарат верификации и валидации программных систем может быть практическим инструментом доведения правильности прикладных алгоритмов в различных предметных областях, создания современных программных и информационных систем.
Необходимые условия: для усвоения курса базовыми дисциплинами являются: математический анализ, программирование, Теория алгоритмов и математическая логика.

Операционные системы (СА)
Включает в себя рассмотрение теоретических аспектов проектирования и создания операционных систем, изучение компонент операционных систем, освоение алгоритмов и их Программированиес целью дальнейшего проектирования и программирования операционных систем.
Нормативный курс: 7-й семестр, 3 кредита.
Лектор: доцент Волохов Виктор Николаевич.
Цель: овладение теории, методик и получение опыта по проектированию и программированию операционных систем.
Необходимые условия: студент должен знать для изучения курса «Операционные системы» основы теории дискретной математики, теории программирования, знание языков программирования Pascal и C а также основы математического анализа. Студент должен уметь выполнять доведение теоретических утверждений (теорем), использовать результаты теории дискретной математики, программировать разноаспектных алгоритмы.

Операционные системы (ПМ)
Включает в себя рассмотрение теоретических аспектов проектирования и создания операционных систем, изучение компонент операционных систем, освоение алгоритмов и их Программированиес целью дальнейшего проектирования и программирования операционных систем.
Нормативный курс: 2-й семестр ОКР магистр, 2 кредита.
Лектор: доцент Волохов Виктор Николаевич.
Цель: овладение теории, методик и получение опыта по проектированию и программированию операционных систем.
Необходимые условия: студент должен знать для изучения курса «Операционные системы» основы теории дискретной математики, теории программирования, знание языков программирования Pascal и C а также главы математического анализа. Студент должен уметь выполнять доведение теоретических утверждений (теорем), использовать результаты теории дискретной математики, программировать разноаспектных алгоритмы.

Программирование (Инф., заочн.)
Включает в себя рассмотрение базовых понятий и методов процедурного программирования.
Нормативный курс: 1-й и 2-й семестры, 9 кредитов.
Лектор: доцент Зубенко Виталий Владимирович.
Цель: овладение базовых знаний по основам программирования, приобретение навыков процедурного программирования и овладения языком программирования С.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики и алгебры.

Системное программирование (Инф., заочн.)
Включает в себя рассмотрение теоретических аспектов проектирования и создания операционных систем, речевых процессоров, изучение соответствующих классов грамматик, овладение алгоритмов и их Программированиес целью получения практических навыков реализации языковых процессоров.
Нормативный курс: 7-й и 8-й семестр, 7 кредитов.
Лектор: доцент Волохов Виктор Николаевич.
Цель: овладение теории, методик и получение опыта по проектированию и программированию операционных систем, речевых процессоров (трансляторов и интерпретаторов языков программирования).
Необходимые условия: студент должен знать основы теории дискретной математики, теории программирования, знание языков программирования С и C + + а также главы математического анализа. Студент должен уметь выполнять доказательство теоретических утверждений (теорем), использовать результаты теории дискретной математики, использовать интегрированные среды разработки программ, программировать разноаспектные алгоритмы.

Теория алгоритмов  (Инф., заочн.)
Включает в себя изучение базовых понятий теории алгоритмов, рассмотрение формальных моделей алгоритмов и алгоритмически исчисляемых функций, вопросов вычислимости, разрешимости и неразрешимости массовых проблем.
Нормативный курс: 7-й семестр, 3 кредита.
Лектор: профессор Никитченко Николай Степанович.
Цель: усвоение базовых знаний по основам теории алгоритмов. Теория алгоритмов является теоретическим фундаментом программирования и информатикя. Понятия и методы теории алгоритмов успешно используются во многих разделах науки. Аппарат теории алгоритмов необходим для адекватного моделирования предметных областей, создание современных программных и информационных систем.
Необходимые условия: необходимы знания основ элементарной математики, дискретной математики, алгебры и математической логики. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры, основы математической логики.

Теория программирования  (Инф., заочн.)
Включает в себя изучение основных (базовых) понятий теории программирования, рассмотрение основных аспектов программ (семантика и синтаксис), их формализацию и исследования.
Нормативный курс: 8-й и 9-й семестры, 3 кредита.
Лектор: профессор Никитченко Николай Степанович.
Цель: усвоение основных концепций, принципов и понятий современного, в частности композиционного, программирование. В общемировоззренческих аспекте, понятия и методы теории программирования необходимые для обоснования и формализации способов разработки правильных и эффективных программ. В прикладном аспекте, аппарат теории программирования необходим для адекватного моделирования языков спецификаций и программирования и использования построенных моделей для создания современных программных и информационных систем высокого качества.
Предварительные требования: необходимы знания основ элементарной математики, дискретной математики, алгебры, математической логики и теории алгоритмов. Студент должен знать основы теории множеств, основы общей алгебры, теории алгоритмов, пропозициональной логики и логики предикатов.

Информационные технологии  (Инф., заочн.)
Включает в себя изучение базовых понятий: моделирования программных систем (с использованием языка UML), Инжениринг и реинжениринг программных систем, .NET-и Java-технологий, технологий распределенных систем (.NET-Remoting, Java-RMI), понятие сервисно-ориентированной архитектуры, в частности, технологии Web-сервисов, Web-фреймворков.
Нормативный курс: 1-й семестр ОКР специалист, 3 кредита.
Лектор: доцент Кузенко Владимир Федорович
Цель: состоит в получении знаний и овладении навыками использования информационных технологий разработки программных систем, в частности, навыками программной инженерии, применение моделирования, CASE-технологий, в том числе при разработке распределенных программных систем, Web-систем, а также систем с сервисно- ориентированной архитектурой.
Необходимые условия: студент должен знать: основные понятия объектно-ориентированной парадигмы, принципы объектно-ориентированного проектирования и программной инженерии, основные понятия языка UML, стратегию использования UML-диаграмм при моделировании программных систем, основные архитектурные паттерны, основы. NET- и Java-технологий, понятие сервисно-ориентированной архитектуры, парадигму декларативного программирования и его применение в технологиях. NET и Java, понятие сервисно-ориентированной архитектуры, понятие фреймворка. Студент должен уметь: использовать объектно-ориентированный стиль программирования при проектировании программных систем, применять моделирование программных систем на основе UML-диаграмм, разрабатывать распределенные системы с использованием различных технологий (.NET-Remoting, Java-RMI).

Информационные технологии  (Инф., заочн.)
Включает в себя изучение базовых понятий: моделирования программных систем (с использованием языка UML), Инжениринг и реинжениринг программных систем, .NET-и Java-технологий, технологий распределенных систем (.NET-Remoting, Java-RMI), понятие сервисно-ориентированной архитектуры, в частности, технологии Web-сервисов, Web-фреймворков.
Нормативный курс: 1-й семестр ОКР магистр, 3 кредита.
Лектор: доцент Кузенко Владимир Федорович
Цель: состоит в получении знаний и овладении навыками использования информационных технологий разработки программных систем, в частности, навыками программной инженерии, применение моделирования, CASE-технологий, в том числе при разработке распределенных программных систем, Web-систем, а также систем с сервисно- ориентированной архитектурой.
Необходимые условия: студент должен знать: основные понятия объектно-ориентированной парадигмы, принципы объектно-ориентированного проектирования и программной инженерии, основные понятия языка UML, стратегию использования UML-диаграмм при моделировании программных систем, основные архитектурные паттерны, основы .NET- и Java-технологий, понятие сервисно-ориентированной архитектуры, парадигму декларативного программирования и его применение в технологиях .NET и Java, понятие сервисно-ориентированной архитектуры, понятие фреймворка. Студент должен уметь: использовать объектно-ориентированный стиль программирования при проектировании программных систем, применять моделирование программных систем на основе UML-диаграмм, разрабатывать распределенные системы с использованием различных технологий (.NET-Remoting, Java-RMI).

Аппликативные системы  (Инф., заочн.)
Включает в себя изучение аппликативних систем (ламбда-исчисления, дельта-исчисление) и комбинаторных алгебр и применения техники аппликативних систем в прикладном программировании.
Нормативный курс: 3-й семестр ОКР магистр, 2 кредита.
Лектор: профессор Дорошенко Анатолий Ефимович.
Цель: создания представлений об аппликативных системах (ламбда-исчислении, дельта-исчисление и другие) и комбинаторных алгебрах, применения техники аппликативних систем в прикладном программировании. Усвоения понятий аппликативних систем с использованием основ математической логики и теории алгоритмов дает необходимые знания для обоснования правильности прикладных алгоритмов и является теоретическим фундаментом программирования. Аппарат аппликативних систем может быть полезным для адекватного моделирования различных предметных областей, создание современных программных и информационных систем.
Необходимые условия: необходимо знать сведения из математического анализа и алгебры. Базовыми дисциплинами являются: математический анализ, программирование, Теория алгоритмов и математическая логика.

Операционные системы  (Инф., заочн.)
Включает в себя рассмотрение теоретических аспектов проектирования и создания операционных систем, изучение компонент операционных систем, освоение алгоритмов и их Программированиес целью дальнейшего проектирования и программирования операционных систем.
Нормативный курс: 3-й семестр ОКР магистр, 1 кредит.
Лектор: доцент Волохов Виктор Николаевич.
Цель: овладение теорией, методиками и получение опыта по проектированию и программированию операционных систем.
Необходимые условия: студент должен знать для изучения курса «Операционные системы» основы теории дискретной математики, теории программирования, знание языков программирования С и C + + а также главы по дисциплине «Системное программирование». Студент должен уметь выполнять доказательство теоретических утверждений (теорем), использовать результаты теории дискретной математики, программировать разноаспектные алгоритмы.

Прикладная логика  (Инф., заочн.)
Включает в себя рассмотрение неоклассических, интуиционистской и модальных логик, изучение базовых понятий и методов поиска доказательств (метод резолюций, секвенциальное исчисление).
Нормативный курс: 4-й семестр ОКР магистр, 2 кредита.
Лектор: доцент Шкильняк Степан Степанович.
Цель: углубленное изучение математической логики. В прикладном аспекте, аппарат математической логики необходим для адекватного моделирования различных предметных областей, создание современных программных и информационных систем.
Предварительные требования: необходимы знания дискретной математики, алгебры, математической логики, теории алгоритмов, теории программирования. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры, основы математической логики и теории алгоритмов.

Теоретические основы программирования  (Инф., заочн.)
Включает в себя изучение основных понятий теории программирования, рассмотрение основных аспектов программ (семантика, вычислимость, генетичность, прагматика), их формализацию и исследования.
Нормативный курс: 3-й семестр ОКР магистр, 3 кредита.
Лектор: профессор Никитченко Николай Степанович.
Цель: усвоение основных концепций, принципов и понятий современного программирования. В общемировоззренческих аспекте, понятия и методы теории программирования необходимые для обоснования и формализации способов разработки правильных и эффективных программ. В прикладном аспекте, такой аппарат необходим для адекватного моделирования языков спецификаций и программирования и использования построенных моделей для создания современных программных и информационных систем высокого качества.
Необходимые условия: необходимы знания основ дискретной математики, алгебры и математической логики. Студент должен знать основы теории множеств, булевы функции, основы общей алгебры, основы математической логики.


Нестандартный конструктивный анализ  (Инф., заочн.)
Включает в себя изучение техники математического анализа путем объединения нестандартного и конструктивного подходов к понятиям функций и операций математического анализа. Аппарат нестандартного конструктивного анализа используется для моделирования предметных областей, создание современных программных и информационных систем.
Нормативный курс: 4-й семестр ОКР магистр, 2 кредита.
Лектор: профессор Дорошенко Анатолий Ефимович.
Цель: усвоение техники математического анализа путем объединения нестандартного и конструктивного подходов к понятиям функций и операций математического анализа. Усвоения понятий нестандартного конструктивного анализа с использованием основ математической логики и теории алгоритмов дает необходимые знания для обоснования правильности прикладных алгоритмов и является теоретическим фундаментом программирования. Аппарат нестандартного конструктивного анализа может быть полезным для адекватного моделирования различных предметных областей, создание современных программных и информационных систем.
Необходимые условия: необходимо знать сведения из математического анализа и алгебры. Базовыми дисциплинами являются: математический анализ, программирование, Теория алгоритмов и математическая логика.

Теория вычислений  (Инф., заочн.)
Включает в себя рассмотрение и исследование базовых теоретико-множественных конструкций с целью применения их в теории табличных баз данных.
Нормативный курс: 2-й семестр ОКР специалист, 4 кредита.
Лектор: профессор Буй Дмитрий Борисович.
Цель: состоит в исследовании теоретико-множественных конструкций полного образа, ограничения, проекции, конфинальности, совместимости, инъективности и операции обобщенного прямого произведения и обобщенного соединения множества функций.
Предварительные требования: необходимы знания основ элементарной математики, основы теории алгебры, теории алгоритмов и теории баз данных. Студент должен уметь выполнять доказательство теоретических утверждений (теорем), использовать результаты теории алгебраических, разрабатывать собственные системы управления базами данных.

Программирование 1к. доц. Зубенко В.В.
Программирование 2к. доц. Бойко Б.И.
Теория алгоритмов 2к. доц. Шкильняк С.С.
Математическая логика 2к. доц. Шкильняк С.С.
Системное программирование 3к. доц. Волохов В.М.
Системное программирование 4к. доц. Волохов В.М.
Системное программирование и операционные системы 3к. доц. Панченко Т.В.
Теория программирования 3к. проф. Никитченко М.С.
ТА и МЛ 3к. доц. Шкильняк С.С.
Теория вычислений 4к. проф. Буй Д.Б.
Информационные технологии 5к. доц. Бойко Б.И., доц. Кузенко В.Ф.
Формальные методы разработки программных систем 1м. проф. Никитченко М.С.
Нестандартный конструктивный анализ 5к. проф. Дорошенко А.Е.
Прикладная логика 6м. проф. Буй Д.Б.
Технология программирования и создания программных продуктов, методы и средства компьютерных информационных технологий 4к. проф. Лаврищева К.М.
Новини
Дошка оголошень
Цікаві факти