специальные курсы


Спецкурсы:


IT-менеджмент (Инф.).
Включает в себя рассмотрение базовых понятий и методов программирования с использованием машино-ориентированных языков, соответствующих инструментов разработки приложений и других языков программирования.
Дисциплина за блоком, 7-й семестр, 2 кредита.
Лектор: доцент Бойко Борис Иванович.
Цель: усвоение базовых знаний по основам программирования, приобретение навыков процедурного программирования и овладения языком Ассемблера.
Предварительные требования: необходимы знания основ программирования, архитектуры ЭВМ и системного программирования.


Формальные методы спецификации программ (Инф.).
Включает в себя изучение понятий: спецификация, методы и языки спецификаций и их классификация (спецификация абстрактной модели, алгебраической спецификации, спецификации переходов состояний, аксиоматические и темпоральные спецификации), предпосылка, постусловием, речь Z и его место в классификации, основные понятие языка Z, спецификация программ на основе композиционно-номинативного подхода.
Дисциплина за блоком,
8-й семестр,
4 кредита.
Лектор: доцент Винник Вадим Юрьевич.
Цель: знакомство с формальными методами спецификаций и усвоения формальных методов спецификаций программ, их практическое применение на примере метода предпосылок и постусловием Хоара, метода слабой предпосылки Дейкстры и языка формальных спецификаций Z.
Необходимые условия: необходимо знать сведения по программированию, теории программирования и математической логики. А именно, по курсу программирования необходимые знания понятие алгоритма, синтаксиса и семантики, основы функционального и логического программирования подобное. Из курса теории программирования необходимые знания по основам композиционного программирования и принципов теории программирования. Из курса математической логики студент должен знать основы исчисления предикатов первого порядка.

Разработка БИ-систем (Инф.).
Включает в себя изучение технологий построения систем бизнес-анализа на базе продуктов Microsoft: Microsoft SQL Server 2008, Microsoft SQL Server Analysis Services, Microsoft SQL Server Reporting Services, Microsoft SQL Server Management Studio и Microsoft Visual Studio 2008 + Business Intelligence.
Дисциплина за блоком, 5-й и 6-й семестры, 4 кредита.
Лектор: доцент Панченко Тарас Владимирович.
Цель: овладение базовых знаний по основам построения и разработки многомерных хранилищ данных и систем бизнес-анализа, построения отчетов и применение Data Mining.
Предварительные требования: необходимы знания основ баз данных, элементарной математики, дискретной математики, основ программирования и математической логики.

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

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

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


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

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

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

Анализ требований (Инф.).
Включает в себя изучение базовых понятий дисциплины, основных ее положений неформального типа. Это функциональные и нефункциональные требования, требования системного типа (защита, безопасность, распределение и т.п.).
Дисциплина за блоком, 8-й семестр, 2 кредита.
Лектор: профессор Лаврищева Екатерина Михайловна.
Цель: усвоение знаний по основам создания больших программных систем с использованием процессов жизненного цикла (ЖЦ), начиная с задания требований и кончая его сопровождением. Анализ требований является первым процессом ЖЦ. Его разработка базируется на современных стандартах, в частности IOSI / IEC 12207, который содержит список процессов, а также на ядре знаний SWEBOK, в ком есть раздел знаний – инженерия требований. Эти главные документы разработаны международными специалистами в составе комитета при ACM и IEEE в области ПО и создают базис программной инженерии.
Предварительные требования: необходимы знания основ программирования, современных МП с объектно-ориентированного типа, условий соответствующих сред и знаний основ тестирования и трассировки на процессах ЖЦ.

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

Корректность программ (Инф.).
Включает в себя рассмотрение и использование формального метода Би для разработки программ, гарантированно удовлетворять предъявляемые к ним требования.
Научный семинар, 7-й семестр, 4 кредита.
Лектор: ассистент Богатырёва Ю.А.
Цель: знакомство с формальными методами разработки программ, в частности с формальным методом Би.
Предварительные требования: необходимы знания основ программирования на некотором структурном языке программирования, например PASCAL, C, а также элементарной математики и математической логики.

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

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

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

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

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

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

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

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

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

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

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

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

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

Основы програмологии 1м. проф. Редько В.Н.
Основы процесологии 5к. проф. Редько В.Н.
Программная инженерия 5к. проф. Лаврищева К.М.
Композиционные логики 2м. проф. Никитченко М.С.
Информационное моделирование систем 5к. доц. Зубенко В.В.
Новини
Дошка оголошень
Цікаві факти